Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings / / Roberto Gorrieri, Heike Wehrheim (eds.)

• Pubblicazione: Berlin ; ; New York, : Springer, c2006
• Edizione: 1st ed. 2006.
• Descrizione fisica: 1 online resource (X, 270 p.)
• Disciplina: 005.1/17
• Soggetto topico: Electronic data processing - Distributed processing; Object-oriented programming (Computer science)
• Altri autori: GorrieriRoberto WehrheimHeike
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Invited 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.
• Altri titoli varianti: FMOODS 2006
• Titolo autorizzato: Formal methods for open object-based distributed systems
• ISBN: 3-540-34895-6
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910483966503321
• Lo trovi qui: Univ. Federico II
• Serie: Lecture notes in computer science ; ; 4037.; LNCS sublibrary. : SL 2, . -Programming and software engineering.