| 9:30 |
9:30 - 9:45 - Room
Buzios II
Opening Session |
|
|
9:45 |
9:45 - 10:45 - Room
Buzios II
Process-centric Modelling for Enterprise Information
Systems
Keynote lecturer: Mohan Narasipuram |
|
| 10:45
|
Coffee-break (10:45 - 11:00)
|
|
11:00 |
11:00 - 13:00 - Room
Buzios II
Session 3 |
-
An Interpretation of Behavioural
Consistency of UML-RT Diagrams in Terms of CSP+T
M. Capel Tuñón, K. Benghazi Akhlaki, J. Holgado Terriza
and
L. Mendoza Morales
-
Checking Properties of Business
Process Models with Logic Programming
Volker Gruhn and Ralf Laue
-
Checking Complex Compositions of Web
Services Against Policy Constraints
Andrew Dingwall-Smith and Anthony Finkelstein
-
Extending CADP for analyzing C code
María del Mar Gallardo, P. Merino and David Sanan
|
|
|
13:00
|
Lunch (13:00 - 14:00)
|
| 14:00
|
14:00 - 15:30 - Room
Buzios II
Session 4 |
-
Process-Oriented Organization
Modelling and Analysis
Viara Popova and Alexei Sharpanskykh
-
Transformation of BPMN models for
Behaviour Analysis
Ivo Raedts, Marija Petkovic, Yaroslav S. Usenko, Jan
Martijn van der Werf, Jan Friso Groote and Lou Somers
-
Formal Semantics for Property-Property Relations in SEAM
Visual Language: Towards Simulation and Analysis of Visual
Specifications
Irina Rychkova and Alain Wegmann
|
|
| 15:30
|
Coffee-break (15:30 - 15:45)
|
| 15:45
|
15:45 - 16:45 - Room
Buzios II
Network Enterprise Systems Safety and the Market Pressure
– The Paradigm
Keynote lecturer: Pedro Branco |
|
| 16:45
|
16:45 - 17:15 - Room
Buzios II
Discussion Session |
|
| 17:15
|
17:15 - 17:30 - Room
Buzios II
Closing Session (includes prizes to best presentations for Full
Papers and Posters) |
|