- Joseph Barjis:
An Innovative Method for Business Process Modeling. MSVVEIS 2007: 31-42 - Joseph Barjis, Matt Hall:
A Healthcare Center Simulation using Arena. MSVVEIS 2007: 175-180 - 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 - Pedro Branco:
Network Enterprise Systems Safety and the Market Pressure - The Paradigm. MSVVEIS 2007: 7-8 - Luis Fernando Medina Cardona:
Using Ethnographic Techniques to Describe Requirements Engineering Processes in Geographic Information Systems Workgroups. MSVVEIS 2007: 169-174 - 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 - Nirmal Gami, Boleslaw Mikolajczak:
Consistency of Loosely Coupled Inter-organizational Workflows with Multilevel Security Features. MSVVEIS 2007: 53-62 - Volker Gruhn, Ralf Laue:
Checking Properties of Business Process Models with Logic Programming. MSVVEIS 2007: 84-93 - Bernhard Kausch, Morten Grandt, Christopher M. Schlick:
Support of Project Planning in Chemical Engineering via Modeling and Simulation. MSVVEIS 2007: 157-162 - Bing Li, Junichi Iijima:
Bridging the Gap between XPDL and Situation Calculus: A Hybrid Approach for Business Process Verification. MSVVEIS 2007: 151-156 - Murali Mohan Narasipuram:
Process-centric Modelling for Enterprise Information Systems. MSVVEIS 2007: 5 - Wade M. Poole, Srinivasan Ramaswamy:
Business Process Modeling Using an Interactive Framework for Immersive Research, Support and Training (I-FIRST). MSVVEIS 2007: 21-30 - Viara Popova, Alexei Sharpanskykh:
Process-oriented Organization Modeling and Analysis. MSVVEIS 2007: 114-125 - Oana Otilia Prisecaru:
Resource Workflow Nets: a Petri Net Formalism for Workflow Modelling. MSVVEIS 2007: 11-20 - 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 - Srini Ramaswamy:
The Pervasive Role of Modeling and Simulation in a Globalized Business Economy. MSVVEIS 2007: 3-4 - 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 - Paul S. Steyn, John A. van der Poll:
Validating Reasoning Heuristics Using Next-Generation Theorem-Provers. MSVVEIS 2007: 43-52 - 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 - 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 [contents] - 2006
- 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. MSVVEIS 2006: 16-25 - Ahmed Al-Ghamdi, José Luiz Fiadeiro:
Architectural Handling of Management Concerns in Service-Driven Business Processes. MSVVEIS 2006: 111-120 - Joseph Barjis, Bryan D. MacDonald:
Animated Simulation for Business Process Improvement. MSVVEIS 2006: 121-127 - Joseph Barjis, Han Reichgelt:
A Petri Net Based Methodology for Business Process Modeling and Simulation. MSVVEIS 2006: 3-15 - Vincent Chapurlat, Saber Aloui:
How to Detect Risks with a Formal Approach? From Property Specification to Risk Emergence. MSVVEIS 2006: 134-146 - José Diego De la Cruz, Lam-Son Lê, Alain Wegmann:
Validation of Visual Contracts for Services. MSVVEIS 2006: 147-165 - Salvis Dagis, Sergejs Arhipovs:
The Static Model of Latvian Forest Management Planning and Capital Value Estimation. MSVVEIS 2006: 185-188 - Razika Driouche, Zizette Boufaïda, Fabrice Kordon:
An Ontology Based Architecture for Integrating Enterprise Applications. MSVVEIS 2006: 26-37 - Josko Dvornik, Eno Tireli:
Simulation Modelling Performance Dynamics of Ship Gas Turbine at the Load of the Ship's Synchronous Generator. MSVVEIS 2006: 157-162
