Formal Techniques For Networked And Distributed Systems - Forte 2006: 26th Ifip Wg 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings (lecture Notes In Computer Science)

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. 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 -

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.