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

Wednesday May 24th

Tuesday Wednesday

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

8:00 - 8:30
Welcome Desk / Registration 
8:30 - 9:30
Keynote: W. L. Yeung
Model Checking for Business Process Modelling: A Case Study
9:30 - 10:30
Session 1
  • Architectural Handling of Management Concerns in Service-Driven Business Processes
    Ahmed Al-Ghamdi and José Luiz Fiadeiro
  • Model Checking Suspendible Business Processes via Statechart Diagrams and CSP
    W. L. Yeung, K. R. P. H. Leung, Ji Wang and Wei Dong
10:30 Coffee-break (10:30 - 11:00)
11:00 - 13:00
Session 2 
  • Testing of Semantic Properties in XML Documents
    Dominik Jungo, David Buchmann and Ulrich Ultes-Nitsche
  • Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models
    Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón,
    Juan A. Holgado Terriza and Luis E. Mendoza Morales
  • CSPJade: Architectural Driven Development of Complex Embedded System Software Using a CSP Paradigm Based Generation Tool Code
    Agustín A. Escámez, Kawthar Bengazhi, Juan A. Holgado
    and Manuel I. Capel
  • How to Detect Risks with a Formal Approach? From Property Specification to Risk Emergence
    Vincent Chapurlat and Saber Aloui
13:00 Lunch (13:00 - 14:30)
14:30 - 16:30
Poster Session
  • The Development of the Precedent Model for the Latvia Forest Management Planning Processes
    Inita Sile and Sergejs Arhipovs
  • The Static Model of Latvian Forest Management Planning and Capital Value Estimation
    Salvis Dagis and Sergejs Arhipovs
  • Efficient Interpretation of Large Quantifications in a Process Algebra
    Benoît Fraikin and Marc Frappier
  • An Observation-based Algorithm for Workflow Matching
    Kais Klai, Samir Tata and Issam Chebbi
  • Towards Model Checking C Code with OPEN/CÆSAR
    María del Mar Gallardo, Pedro Merino and David Sanán
  • Simulator for Real-Time Abstract State Machines
    Pavel Vasilyev
  • A System Dynamics Approach for Airport Terminal Performance Evaluation
    Ioanna E. Manataki and Konstantinos G. Zografos
16:30 Coffee-break (16:30 - 17:00)
17:00 - 18:30
Informal Meeting, Exchange of Ideas, Planning and Closing