书籍详情
网络与分布式系统用形式化技术 - FORTE 2006/会议录（书与在线文件）
作者：Elie Najm，Jean-Francois Pradat-Peyre，Véronique Viguié Donzeau-Gouge 著
出版社：湖南文艺出版社
出版时间：2006-12-01
ISBN：9783540462194
定价：¥937.90
购买这本书可以去
内容简介
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.
作者简介
暂缺《网络与分布式系统用形式化技术 - FORTE 2006/会议录（书与在线文件）》作者简介
目录
Invited Talks
Modelling of Complex Software Systems: A Reasoned Overview
The +CAL Algorithm Language
Semantic-Based Development of Service-Oriented Systems
Services
JSCL: A Middleware for Service Coordination
Analysis of Realizability Conditions for Web Service Choreographies
Web Cube
Presence Interaction Management in SIP SOHO Architecture
Middleware
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 Specification
Composition 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 Models
Logics
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 Approach
Unified Modeling Languages
Branching Time Semantics for UML 2.0 Sequence Diagrams
……
Petri Nets
Parameterized Verification
Real Time
Testing
Author Index
Modelling of Complex Software Systems: A Reasoned Overview
The +CAL Algorithm Language
Semantic-Based Development of Service-Oriented Systems
Services
JSCL: A Middleware for Service Coordination
Analysis of Realizability Conditions for Web Service Choreographies
Web Cube
Presence Interaction Management in SIP SOHO Architecture
Middleware
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 Specification
Composition 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 Models
Logics
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 Approach
Unified Modeling Languages
Branching Time Semantics for UML 2.0 Sequence Diagrams
……
Petri Nets
Parameterized Verification
Real Time
Testing
Author Index
猜您喜欢
