27. FORTE 2007: Tallinn, Estonia

John Derrick, Jüri Vain (Eds.): Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings. Lecture Notes in Computer Science 4574 Springer 2007, ISBN 978-3-540-73195-5 BibTeX

Invited Talk

Susanne Graf, Sophie Quinton:
Contracts for BIP: Hierarchical Interaction Models for Compositional Verification. 1-18
Electronic Edition (link) BibTeX

Technical Session 1. Message Sequence Charts and SDL

Haitao Dan, Robert M. Hierons, Steve Counsell:
Thread-Based Analysis of Sequence Diagrams. 19-34
Electronic Edition (link) BibTeX
Guy-Vincent Jourdan, Hasan Ural, Shen Wang, Hüsnü Yenigün:
Recovering Repetitive Sub-functions from Observations. 35-49
Electronic Edition (link) BibTeX
Samrat S. Batth, Elisangela Rodrigues Vieira, Ana R. Cavalli, M. Ümit Uyar:
Specification of Timed EFSM Fault Models in SDL. 50-65
Electronic Edition (link) BibTeX

Technical Session 2. Concurrency

GianLuigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto:
Coordination Via Types in an Event-Based Framework. 66-80
Electronic Edition (link) BibTeX
Yang Hongli, Zhao Xiangpeng, Cai Chao, Qiu Zongyan:
Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation. 81-96
Electronic Edition (link) BibTeX
Junghwa Chae:
Towards Modal Logic Formalization of Role-Based Access Control with Object Classes. 97-111
Electronic Edition (link) BibTeX

Technical Session 3. Model Programs

Margus Veanes, Juhan P. Ernits, Colin Campbell:
State Isomorphism in Model Programs with Abstract Data Structures. 112-127
Electronic Edition (link) BibTeX
Margus Veanes, Colin Campbell, Wolfram Schulte:
Composition of Model Programs. 128-142
Electronic Edition (link) BibTeX

Technical Session 4. Theory

David de Frutos-Escrig, Fernando Rosa Velardo, Carlos Gregorio-Rodríguez:
New Bisimulation Semantics for Distributed Systems. 143-159
Electronic Edition (link) BibTeX
Thomas Gazagnaire, Loïc Hélouët:
Event Correlation with Boxed Pomsets. 160-176
Electronic Edition (link) BibTeX
Sami Evangelista, Christophe Pajault, Jean-François Pradat-Peyre:
A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets. 177-195
Electronic Edition (link) BibTeX

Technical Session 5. Verification

Rongjie Yan, Guangyuan Li, Wenliang Zhang, Yunquan Peng:
Improvements for the Symbolic Verification of Timed Automata. 196-210
Electronic Edition (link) BibTeX
Rui Fan, Ralph E. Droms, Nancy D. Griffeth, Nancy A. Lynch:
The DHCP Failover Protocol: A Formal Perspective. 211-226
Electronic Edition (link) BibTeX
Qiang Guo:
Verifying Erlang/OTP Components in mu CRL. 227-246
Electronic Edition (link) BibTeX

Technical Session 6. Model Checking

Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini:
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. 247-262
Electronic Edition (link) BibTeX
Gabriel Kalyon, Thierry Massart, Cédric Meuter, Laurent Van Begin:
Testing Distributed Systems Through Symbolic Model Checking. 263-279
Electronic Edition (link) BibTeX
Kais Klai, Laure Petrucci, Michel A. Reniers:
An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets. 280-295
Electronic Edition (link) BibTeX

Technical Session 7. Requirements and QoS

Kedian Mu, Zhi Jin:
Identifying Acceptable Common Proposals for Handling Inconsistent Software Requirements. 296-308
Electronic Edition (link) BibTeX
Christian Webel, Reinhard Gotzhein:
Formalization of Network Quality-of-Service Requirements. 309-324
Electronic Edition (link) BibTeX

Technical Session 8. Components

Mila E. Majster-Cederbaum, Moritz Martens:
Robustness in Interaction Systems. 325-340
Electronic Edition (link) BibTeX
Serge Haddad, Pascal Poizat:
Transactional Reduction of Component Compositions. 341-357
Electronic Edition (link) BibTeX
João Abreu, Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes:
Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. 358-373
Electronic Edition (link) BibTeX