Invited Speaker

• 
  Daniel Moldt: PAOSE: A Way to Develop Distributed Software Systems Based on Petri Nets and Agents.

Full Papers

• 
  Joseph Barjis, Han Reichgelt: A Petri Net Based Methodology for Business Process Modeling and Simulation. 3-15
• 
  Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales: Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models. 16-25
• 
  Razika Driouche, Zizette Boufaïda, Fabrice Kordon: An Ontology Based Architecture for Integrating Enterprise Applications. 26-37
• 
  Dominik Jungo, David Buchmann, Ulrich Ultes-Nitsche: Testing of Semantic Properties in XML Documents. 38-46
• 
  Volker Gruhn, Ralf Laue: How Style Checking Can Improve Business Process Models. 47-56
• 
  María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Nuñez, Ernesto Pimentel: PiXL: Applying XML Standards to Support the Integration of Analysis Tools for Protocols. 57-66
• 
  Lotfi Majdoub, Riadh Robbana: Test Purpose of Duration Systems. 67-75
• 
  Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: Modelling History-Dependent Business Processes. 76-85
• 
  Alta van der Merwe, Paula Kotzé, Johannes C. Cronjé: The Usefulness of a Generic Process Model Structure. 86-96
• 
  Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong: Model Checking Suspendible Business Processes via Statechart Diagrams and CSP. 97-107

Short Papers

• 
  Ahmed Al-Ghamdi, José Luiz Fiadeiro: Architectural Handling of Management Concerns in Service-Driven Business Processes. 111-120
• 
  Joseph Barjis, Bryan D. MacDonald: Animated Simulation for Business Process Improvement. 121-127
• 
  Agustín Escámez, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza, Manuel I. Capel: CSPJade: Architectural Driven Development of Complex Embedded System Software Using a CSP Paradigm Based Generation Tool Code. 128-133
• 
  Vincent Chapurlat, Saber Aloui: How to Detect Risks with a Formal Approach? From Property Specification to Risk Emergence. 134-146
• 
  José Diego De la Cruz, Lam-Son Lê, Alain Wegmann: Validation of Visual Contracts for Services. 147-165
• 
  Josko Dvornik, Eno Tireli: Simulation Modelling Performance Dynamics of Ship Gas Turbine at the Load of the Ship's Synchronous Generator. 157-162
• 
  Aurona Gerber, Andries Barnard, Alta van der Merwe: Design and Evaluation Criteria for Layered Architectures. 163-172
• 
  Frank Nießner: Specification of Deterministic Regular Liveness Properties. 173-178

Posters

• 
  Inita Sile, Sergejs Arhipovs: The Development of the Precedent Model for the Latvia Forest Management Planning Processes. 181-184
• 
  Salvis Dagis, Sergejs Arhipovs: The Static Model of Latvian Forest Management Planning and Capital Value Estimation. 185-188
• 
  Benoît Fraikin, Marc Frappier: Efficient Interpretation of Large Quantifications in a Process Algebra. 189-192
• 
  Kais Klai, Samir Tata, Issam Chebbi: An Observation-based Algorithm for Workflow Matching. 193-197
• 
  María-del-Mar Gallardo, Pedro Merino, David Sanán: Towards Model Checking C Code with OPEN/CÆSAR. 198-201
• 
  Pavel Vasilyev: Simulator for Real-Time Abstract State Machines. 202-205
• 
  Ioanna E. Manataki, Kostas Zografos: A System Dynamics Approach for Airport Terminal Performance Evaluation. 206-209

last updated on Sat May 25 03:35:11 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page