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

✍ Scribed by Daniel Krob (auth.), Elie Najm, Jean-François Pradat-Peyre, Véronique Viguié Donzeau-Gouge (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2006
• Tongue: English
• Leaves: 496
• Series: Lecture Notes in Computer Science 4229 : Programming and Software Engineering
• Edition: 1
• Category: Library

✦ Synopsis

This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2006, held in Paris, France, in September 2006.

The 26 revised full papers and 4 short papers presented together with 3 invited lectures were carefully reviewed and selected from 177 submissions. The papers focus on the construction of middleware and services using formalised and verified approaches, and address - in addition to the classical protocol specification, verification and testing problems - the issues of composition of protocol functions and of algorithms for distributed systems.

The papers are organized in topical sections on services, middleware, composition and synthesis, logics, symbolic verification/slicing, unified modeling languages, petri nets, parameterized verification, real time, and testing.

✦ Table of Contents

Front Matter....Pages -
Modelling of Complex Software Systems: A Reasoned Overview....Pages 1-22
The  +  CAL Algorithm Language....Pages 23-23
Semantic-Based Development of Service-Oriented Systems....Pages 24-45
JSCL: A Middleware for Service Coordination....Pages 46-60
Analysis of Realizability Conditions for Web Service Choreographies....Pages 61-76
Web Cube....Pages 77-92
Presence Interaction Management in SIP SOHO Architecture....Pages 93-98
Formal Analysis of Dynamic, Distributed File-System Access Controls....Pages 99-114
Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus....Pages 115-130
Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures....Pages 131-135
A LOTOS Framework for Middleware Specification....Pages 136-142
Automatic Synthesis of Assumptions for Compositional Model Checking....Pages 143-158
Refined Interfaces for Compositional Verification....Pages 159-174
On Distributed Program Specification and Synthesis in Architectures with Cycles....Pages 175-190
Generalizing the Submodule Construction Techniques for Extended State Machine Models....Pages 191-195
Decidable Extensions of Hennessy-Milner Logic....Pages 196-211
Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness....Pages 212-227
A New Approach for Concurrent Program Slicing....Pages 228-242
Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach....Pages 243-258
Branching Time Semantics for UML 2.0 Sequence Diagrams....Pages 259-274
Formalizing Collaboration Goal Sequences for Service Choreography....Pages 275-291
Composition of Use Cases Using Synchronization and Model Checking....Pages 292-306
PN Standardisation: A Survey....Pages 307-322
Resource Allocation Systems: Some Complexity Results on the S 4 PR Class....Pages 323-338
Optimized Colored Nets Unfolding....Pages 339-355
Liveness by Invisible Invariants....Pages 356-371
Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts....Pages 372-387
Scenario-Based Timing Consistency Checking for Time Petri Nets....Pages 388-403
Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets....Pages 404-419
Grey-Box Checking....Pages 420-435
Integration Testing of Distributed Components Based on Learning Parameterized I/O Models....Pages 436-450
Minimizing Coordination Channels in Distributed Testing....Pages 451-466
Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems....Pages 467-483
Back Matter....Pages -

✦ Subjects

Computer Communication Networks; Software Engineering; Logics and Meanings of Programs; Operating Systems