IFIP TC6 Open Digital Library

27. FORTE 2007: Tallinn, Estonia

Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings

John Derrick, Jüri Vain

Springer, Lecture Notes in Computer Science 4574, ISBN: 978-3-540-73195-5


Invited Talk

Contracts for BIP: Hierarchical Interaction Models for Compositional Verification.

Susanne Graf, Sophie Quinton


Technical Session 1. Message Sequence Charts and SDL

Thread-Based Analysis of Sequence Diagrams.

Haitao Dan, Robert M. Hierons, Steve Counsell


Recovering Repetitive Sub-functions from Observations.

Guy-Vincent Jourdan, Hasan Ural, Shen Wang, Hüsnü Yenigün


Specification of Timed EFSM Fault Models in SDL.

Samrat S. Batth, Elisangela Rodrigues Vieira, Ana R. Cavalli, M. Ümit Uyar


Technical Session 2. Concurrency

Coordination Via Types in an Event-Based Framework.

GianLuigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto


Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation.

Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu


Towards Modal Logic Formalization of Role-Based Access Control with Object Classes.

Junghwa Chae


Technical Session 3. Model Programs

State Isomorphism in Model Programs with Abstract Data Structures.

Margus Veanes, Juhan P. Ernits, Colin Campbell


Composition of Model Programs.

Margus Veanes, Colin Campbell, Wolfram Schulte


Technical Session 4. Theory

New Bisimulation Semantics for Distributed Systems.

David de Frutos-Escrig, Fernando Rosa-Velardo, Carlos Gregorio-Rodríguez


Event Correlation with Boxed Pomsets.

Thomas Gazagnaire, Loïc Hélouët


A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets.

Sami Evangelista, Christophe Pajault, Jean-François Pradat-Peyre


Technical Session 5. Verification

Improvements for the Symbolic Verification of Timed Automata.

Rongjie Yan, Guangyuan Li, Wenliang Zhang, Yunquan Peng


The DHCP Failover Protocol: A Formal Perspective.

Rui Fan, Ralph E. Droms, Nancy D. Griffeth, Nancy A. Lynch


Verifying Erlang/OTP Components in mu CRL.

Qiang Guo


Technical Session 6. Model Checking

Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata.

Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini


Testing Distributed Systems Through Symbolic Model Checking.

Gabriel Kalyon, Thierry Massart, Cédric Meuter, Laurent Van Begin


An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets.

Kais Klai, Laure Petrucci, Michel A. Reniers


Technical Session 7. Requirements and QoS

Identifying Acceptable Common Proposals for Handling Inconsistent Software Requirements.

Kedian Mu, Zhi Jin


Formalization of Network Quality-of-Service Requirements.

Christian Webel, Reinhard Gotzhein


Technical Session 8. Components

Robustness in Interaction Systems.

Mila E. Majster-Cederbaum, Moritz Martens


Transactional Reduction of Component Compositions.

Serge Haddad, Pascal Poizat


Specifying and Composing Interaction Protocols for Service-Oriented System Modelling.

João Abreu, Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes