Abstract is missing.
- PAOSE: A Way to Develop Distributed Software Systems Based on Petri Nets and AgentsDaniel Moldt.
- A Petri Net Based Methodology for Business Process Modeling and SimulationJoseph Barjis, Han Reichgelt. 3-15
- Formal Specification of Real-Time Systems by Transformation of UML-RT Design ModelsKawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales. 16-25
- An Ontology Based Architecture for Integrating Enterprise ApplicationsRazika Driouche, Zizette Boufaïda, Fabrice Kordon. 26-37
- Testing of Semantic Properties in XML DocumentsDominik Jungo, David Buchmann, Ulrich Ultes-Nitsche. 38-46
- How Style Checking Can Improve Business Process ModelsVolker Gruhn, Ralf Laue. 47-56
- PiXL: Applying XML Standards to Support the Integration of Analysis Tools for ProtocolsMaría-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Nuñez, Ernesto Pimentel. 57-66
- Test Purpose of Duration SystemsLotfi Majdoub, Riadh Robbana. 67-75
- Modelling History-Dependent Business ProcessesKees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve. 76-85
- The Usefulness of a Generic Process Model StructureAlta van der Merwe, Paula Kotzé, Johannes C. Cronjé. 86-96
- Model Checking Suspendible Business Processes via Statechart Diagrams and CSPWing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong. 97-107
- Architectural Handling of Management Concerns in Service-Driven Business ProcessesAhmed Al-Ghamdi, José Luiz Fiadeiro. 111-120
- Animated Simulation for Business Process ImprovementJoseph Barjis, Bryan D. MacDonald. 121-127
- CSPJade: Architectural Driven Development of Complex Embedded System Software Using a CSP Paradigm Based Generation Tool CodeAgustín Escámez, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza, Manuel I. Capel. 128-133
- How to Detect Risks with a Formal Approach? From Property Specification to Risk EmergenceVincent Chapurlat, Saber Aloui. 134-146
- Validation of Visual Contracts for ServicesJosé Diego De la Cruz, Lam-Son Lê, Alain Wegmann. 147-165
- Simulation Modelling Performance Dynamics of Ship Gas Turbine at the Load of the Ship s Synchronous GeneratorJosko Dvornik, Eno Tireli. 157-162
- Design and Evaluation Criteria for Layered ArchitecturesAurona Gerber, Andries Barnard, Alta van der Merwe. 163-172
- Specification of Deterministic Regular Liveness PropertiesFrank Nießner. 173-178
- The Development of the Precedent Model for the Latvia Forest Management Planning ProcessesInita Sile, Sergejs Arhipovs. 181-184
- The Static Model of Latvian Forest Management Planning and Capital Value EstimationSalvis Dagis, Sergejs Arhipovs. 185-188
- Efficient Interpretation of Large Quantifications in a Process AlgebraBenoît Fraikin, Marc Frappier. 189-192
- An Observation-based Algorithm for Workflow MatchingKais Klai, Samir Tata, Issam Chebbi. 193-197
- Towards Model Checking C Code with OPEN/CÆSARMaría-del-Mar Gallardo, Pedro Merino, David Sanán. 198-201
- Simulator for Real-Time Abstract State MachinesPavel Vasilyev. 202-205
- A System Dynamics Approach for Airport Terminal Performance EvaluationIoanna E. Manataki, Kostas Zografos. 206-209