03553nam 2200601 a 450 991048396650332120200520144314.03-540-34895-610.1007/11768869(CKB)1000000000233013(SSID)ssj0000317720(PQKBManifestationID)11248912(PQKBTitleCode)TC0000317720(PQKBWorkID)10294560(PQKB)11106954(DE-He213)978-3-540-34895-5(MiAaPQ)EBC3068150(PPN)123135788(EXLCZ)99100000000023301320060502d2006 uy 0engurnn|008mamaatxtccrFormal 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.)1st ed. 2006.Berlin ;New York Springerc20061 online resource (X, 270 p.) Lecture notes in computer science,0302-9743 ;4037LNCS sublibrary. SL 2, Programming and software engineeringBibliographic Level Mode of Issuance: Monograph3-540-34893-X Includes bibliographical references and index.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.Lecture notes in computer science ;4037.LNCS sublibrary.SL 2,Programming and software engineering.FMOODS 2006Electronic data processingDistributed processingCongressesObject-oriented programming (Computer science)CongressesElectronic data processingDistributed processingObject-oriented programming (Computer science)005.1/17Gorrieri Roberto597785Wehrheim Heike1351239International Conference on Formal Methods for Open Object-Based Distributed SystemsMiAaPQMiAaPQMiAaPQBOOK9910483966503321Formal methods for open object-based distributed systems4191362UNINA