Formal Methods for Open Object-Based Distributed Systems - Gorrieri, Roberto / Wehrheim, Heike (eds.)
Bisher 57,99 €**
56,99 €
versandkostenfrei*

inkl. MwSt.
**Früherer Preis
Versandfertig in 2-4 Wochen
28 °P sammeln
    Broschiertes Buch

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, June 2006. The book presents 16 revised full papers together with an invited paper and abstracts of 2 invited talks. Coverage includes component- and model-based design, service-oriented computing, software quality, modeling languages implementation, formal specification, verification, validation, testing, and service-oriented systems. …mehr

Produktbeschreibung
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, June 2006. The book presents 16 revised full papers together with an invited paper and abstracts of 2 invited talks. Coverage includes component- and model-based design, service-oriented computing, software quality, modeling languages implementation, formal specification, verification, validation, testing, and service-oriented systems.
  • Produktdetails
  • Lecture Notes in Computer Science Vol.4037
  • Verlag: Springer, Berlin
  • Artikelnr. des Verlages: 11768869
  • 2006
  • Seitenzahl: 280
  • Erscheinungstermin: 9. Juni 2006
  • Englisch
  • Abmessung: 235mm x 155mm x 15mm
  • Gewicht: 404g
  • ISBN-13: 9783540348931
  • ISBN-10: 354034893X
  • Artikelnr.: 20946853
Autorenporträt
Roberto Gorrieri, Universitá di Bologna, Italy / Heike Wehrheim, Universtät Paderborn, Germany
Inhaltsangabe
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.