Formal Methods for Open Object-Based Distributed Systems : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings / edited by Roberto Gorrieri, Heike Wehrheim.
Tipo de material:
TextoSeries Lecture Notes in Computer Science ; 4037Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Descripción: x, 267 páginas Also available online. recurso en líneaTipo de contenido: - texto
- computadora
- recurso en línea
- 9783540348955
- TK5105.5-5105.9
Springer eBooks
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.
This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2006, held in Bologna, Italy in June 2006. The 16 revised full papers presented together with an invited paper and abstracts of 2 invited talks were carefully reviewed and selected from 51 submissions. Among the topcis addressed are component- and model-based design, service-oriented computing, software quality, modeling languages implementation, formal specification, verification, validation, testing, and service-oriented systems.
Para consulta fuera de la UANL se requiere clave de acceso remoto.