MSVVEIS 2007 Program - Tuesday June 12

Tuesday   Wednesday

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

11:30 - 12:00 - Room Buzios II
Opening Session

12:00 - 13:00 - Room Buzios II
The Pervasive Role of Modelling and Simulation in a Globalized Business Economy
Keynote lecturer: Srini Ramaswamy
13:00 Lunch (13:00 - 14:00)
14:30 - 15:30 - Room Buzios II
Session 1
  • Business Process Modelling Using an Interactive Framework for Immersive Research, Support and Training (I-FIRST)
    Wade Poole and S. Ramaswamy

  • An Innovative Method for Business Process Modelling
    Joseph Barjis

15:30 Coffee-break (15:30 - 15:45)
15:45 - 17:15 - Room Buzios II
Session 2
  • Validating Reasoning Heuristics Using Next-Generation Theorem-Provers
    Paul S. Steyn and John A. van der Poll

  • Consistency of Loosely Coupled Inter-Organizational Workflows with Multilevel Security Features
    Nirmal Gamia and Boleslaw Mikolajczak

  • UML-driven Information Systems and their Formal Integration, Validation and Distribution
    Nasreddine Aoumeur

17:15 - 18:15
  • Bridging the Gap between XPDL and Situation Calculus: A Hybrid Approach for Business Process Verification
    Bing Li and Junichi Iijima

  • A Specification and Validation Approach for Business Process Integration Based on Web Services and Agents
    Djamel Benmerzoug, Mahmoud Boufaida and Fabrice Kordon

  • Support of Project Planning in Chemical Engineering via Modelling and Simulation
    Bernhard Kausch, Morten Grandt and Christopher M. Schlick

  • A Healthcare Center Simulation Using Arena
    Joseph Barjis and Matt Hall

  • Using ethnographic techniques to describe requirements engineering processes in Geographic Information Systems Workgroups
    Luis F. Medina Cardona

19:00 Workshop Banquet