| 11:30 |
11:30 - 12:00 - Room
Buzios II
Opening Session |
|
|
12:00 |
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: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
|
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
|
17:15 - 18:15
Posters |
-
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 |