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 BibTeX
Invited Speaker
- Daniel Moldt:
PAOSE: A Way to Develop Distributed Software Systems Based on Petri Nets and Agents.
BibTeX
Full Papers
- Joseph Barjis, Han Reichgelt:
A Petri Net Based Methodology for Business Process Modeling and Simulation.
3-15 BibTeX
- 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 BibTeX
- Razika Driouche, Zizette Boufaïda, Fabrice Kordon:
An Ontology Based Architecture for Integrating Enterprise Applications.
26-37 BibTeX
- Dominik Jungo, David Buchmann, Ulrich Ultes-Nitsche:
Testing of Semantic Properties in XML Documents.
38-46 BibTeX
- Volker Gruhn, Ralf Laue:
How Style Checking Can Improve Business Process Models.
47-56 BibTeX
- 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 BibTeX
- Lotfi Majdoub, Riadh Robbana:
Test Purpose of Duration Systems.
67-75 BibTeX
- Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve:
Modelling History-Dependent Business Processes.
76-85 BibTeX
- Alta van der Merwe, Paula Kotzé, Johannes C. Cronjé:
The Usefulness of a Generic Process Model Structure.
86-96 BibTeX
- Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong:
Model Checking Suspendible Business Processes via Statechart Diagrams and CSP.
97-107 BibTeX
Short Papers
- Ahmed Al-Ghamdi, José Luiz Fiadeiro:
Architectural Handling of Management Concerns in Service-Driven Business Processes.
111-120 BibTeX
- Joseph Barjis, Bryan D. MacDonald:
Animated Simulation for Business Process Improvement.
121-127 BibTeX
- 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 BibTeX
- Vincent Chapurlat, Saber Aloui:
How to Detect Risks with a Formal Approach? From Property Specification to Risk Emergence.
134-146 BibTeX
- José Diego De la Cruz, Lam-Son Lê, Alain Wegmann:
Validation of Visual Contracts for Services.
147-165 BibTeX
- Josko Dvornik, Eno Tireli:
Simulation Modelling Performance Dynamics of Ship Gas Turbine at the Load of the Ship's Synchronous Generator.
157-162 BibTeX
- Aurona Gerber, Andries Barnard, Alta van der Merwe:
Design and Evaluation Criteria for Layered Architectures.
163-172 BibTeX
- Frank Nießner:
Specification of Deterministic Regular Liveness Properties.
173-178 BibTeX
Posters
Copyright © Sat May 16 23:47:03 2009
by Michael Ley (ley@uni-trier.de)
