網(wǎng)絡(luò)與分布式系統(tǒng)用形式化技術(shù) - FORTE 2006/會(huì)議錄

內(nèi)容概要

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.

書籍目錄

Invited Talks  Modelling of Complex Software Systems: A Reasoned Overview  The +CAL Algorithm Language  Semantic-Based Development of Service-Oriented SystemsServices  JSCL: A Middleware for Service Coordination  Analysis of Realizability Conditions for Web Service Choreographies   Web Cube  Presence Interaction Management in SIP SOHO ArchitectureMiddleware  Formal Analysis of Dynamic, Distributed File-System Access Controls  Analysing the MUTE Anonymous File-Sharing System Using the Pi-Caleulus  Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures  A LOTOS Framework for Middleware SpecificationComposition and Synthesis  Automatic Synthesis of Assumptions for Compositional Model Checking  Refined Interfaces for Compositional Verification  On Distributed Program Specification and Synthesis in Architectures with Cycles  Generalizing the Submodule Construction Techniques for Extended State Machine ModelsLogics  Decidable Extensions of Hennessy-Milner Logic  Symbolic Verification - Slicing  Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness  A New Approach for Concurrent Program Slicing  Reducing Software Architecture Models Complexity: A Slicing and Abstraction ApproachUnified Modeling Languages  Branching Time Semantics for UML 2.0 Sequence Diagrams  ……Petri NetsParameterized VerificationReal TimeTestingAuthor Index

圖書封面

評(píng)論、評(píng)分、閱讀與下載

---

    網(wǎng)絡(luò)與分布式系統(tǒng)用形式化技術(shù) - FORTE 2006/會(huì)議錄 PDF格式下載

---