| 8:00
|
8:00 - 8:30
Welcome
Desk / Registration |
|
|
8:30 |
8:30 - 9:30
Keynote: W. L. Yeung
Model Checking for Business Process Modelling: A Case Study |
|
|
9:30 |
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 |
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
|
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
|
17:00 - 18:30
Informal Meeting, Exchange of Ideas, Planning and Closing |
|