International Workshop on Modelling, Simulation,Verification and Validation of Enterprise Information Systems MSVVEIS-2006

Tuesday May 23rd

Tuesday Wednesday

Chairs: Joseph Barjis, Ulrich Ultes-Nitsche and Juan Carlos Augusto

8:00 - 8:30
Welcome Desk / Registration 
8:30 - 9:00
Welcome & Tech Preparation
9:00 - 10:00
Keynote: Daniel Moldt
PAOSE: A Way to Develop Distributed Software Systems Based on Petri Nets and Agents
10:00 - 10:30
Session 1
  • Modelling History-Dependent Business Processes
    Kees van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova and Marc Voorhoeve
10:30 Coffee-break (10:30 - 11:00)
11:00 - 13:00
Session 2 
  • An Ontology Based Architecture for Integrating Enterprise Applications
    Razika Driouche, Zizette Boufaїda and Fabrice Kordon
  • Test Purpose of Duration Systems
    Lotfi Majdoub and Riadh Robbana
  • Simulation Modelling Performance Dynamics of Ship Gas Turbine at the Load of the Ship’s Synchronous Generator
    Josko Dvornik and Eno Tireli
  • Design and Evaluation Criteria for Layered Architectures
    Aurona Gerber, Andries Barnard and Alta van der Merwe
13:00 Lunch (13:00 - 14:30)
14:30 - 16:30
Session 3 
  • How Style Checking Can Improve Business Process Models
    Volker Gruhn and Ralf Laue
  • A Petri Net Based Methodology for Business Process Modeling and Simulation
    Joseph Barjis and Han Reichgelt
  • Animated Simulation for Business Process Improvement
    Joseph Barjis and Bryan D. MacDonald
  • Specification of Deterministic Regular Liveness Properties
    Frank Nießner
16:30 Coffee-break (16:30 - 17:00)
17:00 - 18:30
Session 4 
  • PiXL: Applying XML Standards to Support the Integration of Analysis Tools for Protocol
    María del Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Nuñez and Ernesto Pimentel
  • The Usefulness of a Generic Process Model Structure
    Alta van der Merwe, Paula Kotzé and Johannes Cronjé
  • Validation of Visual Contracts for Services
    José D. de la Cruz, Lam-Son Lê and Alain Wegmann
19:00 Workshop Banquet