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
- 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
- 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
- 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team