| 08:30-09:00 |
Registration and Welcome |
| 09:00-10:00 |
Keynote Speech |
|
Prof Wolfgang Reisig
Deciding Properties of Services |
| 10:00-10:20 |
Break |
| 10:20-12:00 |
Session 1 |
| 10:20-10:45 |
Gabriele Costa, Pierpaolo Degano, and Fabio Martinelli
Secure Service Composition with Symbolic Effects |
| 10:45-11:10 |
Vitaly Kozyura, Andreas Roth, and Wei Wei
Local Enforceability and Inconsumable Messages in Choreography Models |
| 11:10-11:35 |
Adwoa Donyina and Reiko Heckel
Formal Visual Modeling of Human Agents in Service Oriented Systems |
| 11:35-12:00 |
Mouhamed Redha Bahri, Abdelkamel Hettab, Allaoua Chaoui, and Elhillali Kerkouche
Transforming Mobile UML Statecharts Models to Nested Nets Models Using Graph Grammars: An Approach for Modeling and Analysis of Mobile Agent-Based
Software Systems |
| 12:00-12:20 |
Break |
| 12:20-13:20 |
Keynote Speech |
|
Prof Mike Hinchey
Formally Specifying Autonomous and Agent-Based NASA Space Exploration Missions |
| 13:20-14:10 |
Lunch |
| 14:10-15:50 |
Session 2 |
| 14:10-14:35 |
Catalin Ionescu, Eleni Berki, and Jyrki Nummenmaa
Applying Weighted Finite State Machines to Protocol Performance Analysis |
| 14:35-15:00 |
Katerina Ksystra, Petros Stefaneas, Nikolaos Triantafyllou, and Iakovos Ouranos
An Algebraic Specification for the MPEG-2 Encoding Algorithm |
| 15:00-15:25 |
Tugkan Tuglular and Fevzi Belli
Protocol-Based Testing of Firewalls |
| 15:25-15:50 |
Timo Nummenmaa, Eleni Berki, and Tommi Mikkonen
Exploring Games as Formal Models |
| 15:50-16:10 |
Break |
| 16:10-17:25 |
Session 3 |
| 16:10-16:35 |
Konstantinos Barlas, George Koletsos, Petros Stefaneas, and Iakovos Ouranos
From ASN.1 into CafeOBJ: Some First Steps |
| 16:35-17:00 |
Raida ElMansouri, Allaoua Chaoui, Elhillali Kerkouche, and Khaled Khalfaoui
From UML Statecharts and Collaboration Diagrams to Coloured Petri Nets Models: A Graph Transformation Based Approach for Modelling and Analysis of Business Processes in Virtual Enterprises |
| 17:00-17:25 |
Muhammad Shaban, Gill Dobbie, and Jing Sun
A Framework for Testing Semantic Web Services Using Model Checking |
| 17:25-18:00 |
Discussion and Closing |
