IFIP TC6 Open Digital Library

26. FORTE 2006: Paris, France

Formal Techniques for Networked and Distributed Systems - FORTE 2006, 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006.

Elie Najm, Jean-François Pradat-Peyre, Véronique Donzeau-Gouge

Springer, Lecture Notes in Computer Science 4229, ISBN: 3-540-46219-8



Contents

Invited Talks

Modelling of Complex Software Systems: A Reasoned Overview.

Daniel Krob

 1-22

The +CAL Algorithm Language.

Leslie Lamport

 23

Semantic-Based Development of Service-Oriented Systems.

Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias M. Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder

 24-45

Services

JSCL: A Middleware for Service Coordination.

Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo

 46-60

Analysis of Realizability Conditions for Web Service Choreographies.

Raman Kazhamiakin, Marco Pistore

 61-76

Web Cube.

I. S. W. B. Prasetya, Tanja E. J. Vos, S. Doaitse Swierstra

 77-92

Presence Interaction Management in SIP SOHO Architecture.

Zohair Chentouf, Ahmed Khoumsi

 93-98

Middleware

Formal Analysis of Dynamic, Distributed File-System Access Controls.

Avik Chaudhuri, Martín Abadi

 99-114

Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus.

Tom Chothia

 115-130

Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures.

Luciano Baresi, Carlo Ghezzi, Luca Mottola

 131-135

A LOTOS Framework for Middleware Specification.

Nelson S. Rosa, Paulo Roberto Freire Cunha

 136-142

Composition and Synthesis

Automatic Synthesis of Assumptions for Compositional Model Checking.

Bernd Finkbeiner, Sven Schewe, Matthias Brill

 143-158

Refined Interfaces for Compositional Verification.

Frédéric Lang

 159-174

On Distributed Program Specification and Synthesis in Architectures with Cycles.

Julien Bernet, David Janin

 175-190

Generalizing the Submodule Construction Techniques for Extended State Machine Models.

Bassel Daou, Gregor von Bochmann

 191-195

Logics

Decidable Extensions of Hennessy-Milner Logic.

Radu Mardare, Corrado Priami

 196-211

Symbolic Verification - Slicing

Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness.

Christel Baier, Nathalie Bertrand, Ph. Schnoebelen

 212-227

A New Approach for Concurrent Program Slicing.

Pierre Rousseau

 228-242

Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach.

Daniela Colangelo, Daniele Compare, Paola Inverardi, Patrizio Pelliccione

 243-258

Unified Modeling Languages

Branching Time Semantics for UML 2.0 Sequence Diagrams.

Youcef Hammal

 259-274

Formalizing Collaboration Goal Sequences for Service Choreography.

Humberto Nicolás Castejón Martínez, Rolv Bræk

 275-291

Composition of Use Cases Using Synchronization and Model Checking.

Rabeb Mizouni, Aziz Salah, Siamak Kolahi, Rachida Dssouli

 292-306

Petri Nets

PN Standardisation: A Survey.

Lom Hillah, Fabrice Kordon, Laure Petrucci-Dauchy, Nicolas Trèves

 307-322

Resource Allocation Systems: Some Complexity Results on the S4PR Class.

Juan-Pablo López-Grao, José Manuel Colom

 323-338

Optimized Colored Nets Unfolding.

Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet

 339-355

Parameterized Verification

Liveness by Invisible Invariants.

Yi Fang, Kenneth L. McMillan, Amir Pnueli, Lenore D. Zuck

 356-371

Real Time

Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts.

Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez

 372-387

Scenario-Based Timing Consistency Checking for Time Petri Nets.

Xuandong Li, Lei Bu, Jun Hu, Jianhua Zhao, Tao Zhang, Guoliang Zheng

 388-403

Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets.

Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat

 404-419

Testing

Grey-Box Checking.

Edith Elkind, Blaise Genest, Doron Peled, Hongyang Qu

 420-435

Integration Testing of Distributed Components Based on Learning Parameterized I/O Models.

Keqin Li 0002, Roland Groz, Muzammil Shahbaz

 436-450

Minimizing Coordination Channels in Distributed Testing.

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

 451-466

Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems.

Luis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez

 467-483