Abstract is missing.
- The Pervasive Role of Modeling and Simulation in a Globalized Business EconomySrini Ramaswamy. 3-4
- Process-centric Modelling for Enterprise Information SystemsMurali Mohan Narasipuram. 5
- Network Enterprise Systems Safety and the Market Pressure - The ParadigmPedro Branco. 7-8
- Resource Workflow Nets: a Petri Net Formalism for Workflow ModellingOana Otilia Prisecaru. 11-20
- Business Process Modeling Using an Interactive Framework for Immersive Research, Support and Training (I-FIRST)Wade M. Poole, S. Ramaswamy. 21-30
- An Innovative Method for Business Process ModelingJoseph Barjis. 31-42
- Validating Reasoning Heuristics Using Next-Generation Theorem-ProversPaul S. Steyn, John A. van der Poll. 43-52
- Consistency of Loosely Coupled Inter-organizational Workflows with Multilevel Security FeaturesNirmal Gami, Boleslaw Mikolajczak. 53-62
- UML-driven Information Systems and their Formal Integration Validation and DistributionNasreddine Aoumeur, Gunter Saake. 63-73
- An Interpretation of Behavioral Consistency of UML-RT Diagrams in Terms of CSP+TManuel I. Capel Tuñón, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales. 74-83
- Checking Properties of Business Process Models with Logic ProgrammingVolker Gruhn, Ralf Laue. 84-93
- Checking Complex Compositions of Web Services Against Policy ConstraintsAndrew Dingwall-Smith, Anthony Finkelstein. 94-103
- Extending CADP for Analyzing C CodeM. Mar Gallardo, Pedro Merino, David Sanán. 104-113
- Process-oriented Organization Modeling and AnalysisViara Popova, Alexei Sharpanskykh. 114-125
- Transformation of BPMN Models for Behaviour AnalysisIvo Raedts, Marija Petkovic, Yaroslav S. Usenko, Jan Martijn E. M. van der Werf, Jan Friso Groote, Lou J. Somers. 126-137
- Formal Semantics for Property-Property Relations in SEAM Visual Language: Towards Simulation and Analysis of Visual SpecificationsIrina Rychkova, Alain Wegmann. 138-147
- Bridging the Gap between XPDL and Situation Calculus: A Hybrid Approach for Business Process VerificationBing Li, Junichi Iijima. 151-156
- Support of Project Planning in Chemical Engineering via Modeling and SimulationBernhard Kausch, Morten Grandt, Christopher M. Schlick. 157-162
- A Specification and Validation Approach for Business Process Integration based on Web Services and AgentsDjamel Benmerzoug, Mahmoud Boufaïda, Fabrice Kordon. 163-168
- Using Ethnographic Techniques to Describe Requirements Engineering Processes in Geographic Information Systems WorkgroupsLuis Fernando Medina Cardona. 169-174
- A Healthcare Center Simulation using ArenaJoseph Barjis, Matt Hall. 175-180