MSVVEIS 2006:
Paphos,
Cyprus
Joseph Barjis, Ulrich Ultes-Nitsche, Juan Carlos Augusto (Eds.):
Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006, In conjunction with ICEIS 2006, Paphos, Cyprus, May 2006.
INSTICC Press 2006, ISBN 978-972-8865-49-8 
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
Copyright © Tue Dec 8 20:21:09 2009
by Michael Ley (ley@uni-trier.de)
