Juan Carlos Augusto, Joseph Barjis, Ulrich Ultes-Nitsche (Eds.):
Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2007, In conjunction with ICEIS 2007, Funchal, Madeira, Portugal, June 2007.
INSTICC PRESS 2007, ISBN 978-972-8865-95-5
Invited Speakers
Srini Ramaswamy: The Pervasive Role of Modeling and Simulation in a Globalized Business Economy.
3-4
Pedro Branco: Network Enterprise Systems Safety and the Market Pressure - The Paradigm.
7-8
Oral Papers
Oana Otilia Prisecaru: Resource Workflow Nets: a Petri Net Formalism for Workflow Modelling.
11-20
Wade M. Poole, Srinivasan Ramaswamy: Business Process Modeling Using an Interactive Framework for Immersive Research, Support and Training (I-FIRST).
21-30
Joseph Barjis: An Innovative Method for Business Process Modeling.
31-42
Irina Rychkova, Alain Wegmann: Formal Semantics for Property-Property Relations in SEAM Visual Language: Towards Simulation and Analysis of Visual Specifications.
138-147
Posters
Bing Li, Junichi Iijima: Bridging the Gap between XPDL and Situation Calculus: A Hybrid Approach for Business Process Verification.
151-156
Luis Fernando Medina Cardona: Using Ethnographic Techniques to Describe Requirements Engineering Processes in Geographic Information Systems Workgroups.
169-174
data released under the ODC-BY 1.0 license
