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 BibTeX
Invited Speakers
Oral Papers
- Oana Otilia Prisecaru:
Resource Workflow Nets: a Petri Net Formalism for Workflow Modelling.
11-20 BibTeX
- Wade M. Poole, S. Ramaswamy:
Business Process Modeling Using an Interactive Framework for Immersive Research, Support and Training (I-FIRST).
21-30 BibTeX
- Joseph Barjis:
An Innovative Method for Business Process Modeling.
31-42 BibTeX
- Paul S. Steyn, John A. van der Poll:
Validating Reasoning Heuristics Using Next-Generation Theorem-Provers.
43-52 BibTeX
- Nirmal Gami, Boleslaw Mikolajczak:
Consistency of Loosely Coupled Inter-organizational Workflows with Multilevel Security Features.
53-62 BibTeX
- Nasreddine Aoumeur, Gunter Saake:
UML-driven Information Systems and their Formal Integration Validation and Distribution.
63-73 BibTeX
- 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 BibTeX
- Volker Gruhn, Ralf Laue:
Checking Properties of Business Process Models with Logic Programming.
84-93 BibTeX
- Andrew Dingwall-Smith, Anthony Finkelstein:
Checking Complex Compositions of Web Services Against Policy Constraints.
94-103 BibTeX
- M. Mar Gallardo, Pedro Merino, David Sanán:
Extending CADP for Analyzing C Code.
104-113 BibTeX
- Viara Popova, Alexei Sharpanskykh:
Process-oriented Organization Modeling and Analysis.
114-125 BibTeX
- 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 BibTeX
- Irina Rychkova, Alain Wegmann:
Formal Semantics for Property-Property Relations in SEAM Visual Language: Towards Simulation and Analysis of Visual Specifications.
138-147 BibTeX
Posters
Copyright © Sat May 16 23:47:03 2009
by Michael Ley (ley@uni-trier.de)
