Roberto Gorrieri Livres

This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepted model for distributed systems. Hence, the contribution of this book amounts to the alphabetization of some classes of distributed systems. The book also suggests the need for a generalization of Turing computability theory. It is important for graduate students and researchers engaged with the concurrent semantics of distributed communicating systems. The author assumes some prior knowledge of formal languages and theoretical computer science.

This book presents the fundamentals of concurrency theory with clarity and rigor. The authors start with the semantic structure, namely labelled transition systems, which provides us with the means and the tools to express processes, to compose them, and to prove properties they enjoy. The rest of the book relies on Milner's Calculus of Communicating Systems, tailored versions of which are used to study various notions of equality between systems, and to investigate in detail the expressive power of the models considered. The authors proceed from very basic results to increasingly complex issues, with many examples and exercises that help to reveal the many subtleties of the topic. The book is suitable for advanced undergraduate and graduate students in computer science and engineering, and scientists engaged with theories of concurrency.

InhaltsverzeichnisInvited Speakers.Security Issues in Service Composition.Separating Distribution from Coordination and Computation as Architectural Dimensions.The Bisimulation Proof Method: Enhancements and Open Problems.Regular Papers.An Approach to Quality Achievement at the Architectural Level: AQUA.Bounded Analysis and Decomposition for Behavioural Descriptions of Components.Modeling and Validation of a Software Architecture for the Ariane-5 Launcher.Synchronizing Behavioural Mismatch in Software Composition.Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation.Temporal Superimposition of Aspects for Dynamic Software Architecture.Modeling Long–Running Transactions with Communicating Hierarchical Timed Automata.Transformation Laws for UML-RT.Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams.Generating Instance Models from Meta Models.KM3: A DSL for Metamodel Specification.Defining Object-Oriented Execution Semantics Using Graph Transformations.Type-Safe Runtime Class Upgrades in Creol.Abstract Interface Behavior of Object-Oriented Languages with Monitors.Mobility Mechanisms in Service Oriented Computing.Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service.