MSVVEIS 2007:
Funchal,
Madeira,
Portugal
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
- Murali Mohan Narasipuram:
Process-centric Modelling for Enterprise Information Systems.
5
- 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, S. 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
- Paul S. Steyn, John A. van der Poll:
Validating Reasoning Heuristics Using Next-Generation Theorem-Provers.
43-52
- Nirmal Gami, Boleslaw Mikolajczak:
Consistency of Loosely Coupled Inter-organizational Workflows with Multilevel Security Features.
53-62
- Nasreddine Aoumeur, Gunter Saake:
UML-driven Information Systems and their Formal Integration Validation and Distribution.
63-73
- Manuel I. Capel Tuñón, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales:
An Interpretation of Behavioral Consistency of UML-RT Diagrams in Terms of CSP+T.
74-83
- Volker Gruhn, Ralf Laue:
Checking Properties of Business Process Models with Logic Programming.
84-93
- Andrew Dingwall-Smith, Anthony Finkelstein:
Checking Complex Compositions of Web Services Against Policy Constraints.
94-103
- M. Mar Gallardo, Pedro Merino, David Sanán:
Extending CADP for Analyzing C Code.
104-113
- Viara Popova, Alexei Sharpanskykh:
Process-oriented Organization Modeling and Analysis.
114-125
- Ivo Raedts, Marija Petkovic, Yaroslav S. Usenko, Jan Martijn E. M. van der Werf, Jan Friso Groote, Lou J. Somers:
Transformation of BPMN Models for Behaviour Analysis.
126-137
- Irina Rychkova, Alain Wegmann:
Formal Semantics for Property-Property Relations in SEAM Visual Language: Towards Simulation and Analysis of Visual Specifications.
138-147
Posters
Copyright © Tue Nov 10 00:22:53 2009
by Michael Ley (ley@uni-trier.de)
