04773nam 22008415 450 991048396650332120251226203333.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(BIP)32374071(BIP)13450496(EXLCZ)99100000000023301320100301d2006 u| 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 /edited by Roberto Gorrieri, Heike Wehrheim1st ed. 2006.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2006.1 online resource (X, 270 p.) Programming and Software Engineering,2945-9168 ;4037Bibliographic 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.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.Programming and Software Engineering,2945-9168 ;4037Computer networksComputer programmingSoftware engineeringOperating systems (Computers)Compilers (Computer programs)Computer scienceComputer Communication NetworksProgramming TechniquesSoftware EngineeringOperating SystemsCompilers and InterpretersComputer Science Logic and Foundations of ProgrammingComputer networks.Computer programming.Software engineering.Operating systems (Computers).Compilers (Computer programs).Computer science.Computer Communication Networks.Programming Techniques.Software Engineering.Operating Systems.Compilers and Interpreters.Computer Science Logic and Foundations of Programming.005.1/17Gorrieri Roberto597785Wehrheim Heike1351239International Conference on Formal Methods for Open Object-Based Distributed SystemsMiAaPQMiAaPQMiAaPQBOOK9910483966503321Formal methods for open object-based distributed systems4191362UNINA