Format:
Online-Ressource (X, 267 p. Also available online, digital)
ISBN:
9783540348955
Series Statement:
Lecture Notes in Computer Science 4037
Content:
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.
Note:
Lizenzpflichtig
Additional Edition:
ISBN 9783540348931
Additional Edition:
Buchausg. u.d.T. Formal methods for open object-based distributed systems Berlin : Springer, 2006 ISBN 354034893X
Additional Edition:
ISBN 9783540348931
Language:
English
Subjects:
Computer Science
Keywords:
Verteiltes System
;
Offenes Kommunikationssystem
;
Objektorientierung
;
Formale Methode
;
Verteiltes System
;
Offenes Kommunikationssystem
;
Objektorientierung
;
Formale Methode
;
Konferenzschrift
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
Bookmarklink