Formal techniques for networked and distributed systems

Más información sobre el libro

The content covers a range of topics related to software systems and their complexities. It begins with invited talks that provide a reasoned overview of modeling complex software systems and introduces the ?+? CAL algorithm language. The discussion on service-oriented systems includes semantic-based development and middleware for service coordination. It also analyzes realizability conditions for web service choreographies and presents concepts like the Web Cube and presence interaction management in SIP SOHO architecture. The formal analysis of dynamic, distributed file-system access controls is explored, along with an examination of the MUTE anonymous file-sharing system using the Pi-calculus. The text delves into automated verification of publish-subscribe architectures and introduces a LOTOS framework for middleware specification. Composition and synthesis topics include automatic synthesis of assumptions for compositional model checking and refined interfaces for verification. Logics are addressed through decidable extensions of Hennessy-Milner logic and symbolic verification techniques, including concurrent program slicing. The annotation also discusses reducing software architecture model complexity and presents unified modeling languages, branching time semantics for UML 2.0, and formalizing collaboration goal sequences. Petri nets are examined, focusing on standardization, resource allocation systems, and optimize