default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMSVVEIS 2007: Funchal, Madeira, Portugal
- Juan Carlos Augusto, Joseph Barjis, Ulrich Ultes-Nitsche:
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. MSVVEIS 2007: 3-4 - Murali Mohan Narasipuram:
Process-centric Modelling for Enterprise Information Systems. MSVVEIS 2007: 5 - Pedro Branco:
Network Enterprise Systems Safety and the Market Pressure - The Paradigm. MSVVEIS 2007: 7-8
Oral Papers
- Oana Otilia Prisecaru:
Resource Workflow Nets: a Petri Net Formalism for Workflow Modelling. MSVVEIS 2007: 11-20 - Wade M. Poole, Srinivasan Ramaswamy:
Business Process Modeling Using an Interactive Framework for Immersive Research, Support and Training (I-FIRST). MSVVEIS 2007: 21-30 - Joseph Barjis:
An Innovative Method for Business Process Modeling. MSVVEIS 2007: 31-42 - Paul S. Steyn, John A. van der Poll:
Validating Reasoning Heuristics Using Next-Generation Theorem-Provers. MSVVEIS 2007: 43-52 - Nirmal Gami, Boleslaw Mikolajczak:
Consistency of Loosely Coupled Inter-organizational Workflows with Multilevel Security Features. MSVVEIS 2007: 53-62 - Nasreddine Aoumeur, Gunter Saake:
UML-driven Information Systems and their Formal Integration Validation and Distribution. MSVVEIS 2007: 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. MSVVEIS 2007: 74-83 - Volker Gruhn, Ralf Laue:
Checking Properties of Business Process Models with Logic Programming. MSVVEIS 2007: 84-93 - Andrew Dingwall-Smith, Anthony Finkelstein:
Checking Complex Compositions of Web Services Against Policy Constraints. MSVVEIS 2007: 94-103 - María-del-Mar Gallardo, Pedro Merino, David Sanán:
Extending CADP for Analyzing C Code. MSVVEIS 2007: 104-113 - Viara Popova, Alexei Sharpanskykh:
Process-oriented Organization Modeling and Analysis. MSVVEIS 2007: 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. MSVVEIS 2007: 126-137 - Irina Rychkova, Alain Wegmann:
Formal Semantics for Property-Property Relations in SEAM Visual Language: Towards Simulation and Analysis of Visual Specifications. MSVVEIS 2007: 138-147
Posters
- Bing Li, Junichi Iijima:
Bridging the Gap between XPDL and Situation Calculus: A Hybrid Approach for Business Process Verification. MSVVEIS 2007: 151-156 - Bernhard Kausch, Morten Grandt, Christopher M. Schlick:
Support of Project Planning in Chemical Engineering via Modeling and Simulation. MSVVEIS 2007: 157-162 - Djamel Benmerzoug, Mahmoud Boufaïda, Fabrice Kordon:
A Specification and Validation Approach for Business Process Integration based on Web Services and Agents. MSVVEIS 2007: 163-168 - Luis Fernando Medina Cardona:
Using Ethnographic Techniques to Describe Requirements Engineering Processes in Geographic Information Systems Workgroups. MSVVEIS 2007: 169-174 - Joseph Barjis, Matt Hall:
A Healthcare Center Simulation using Arena. MSVVEIS 2007: 175-180
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-30 00:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
