03590nam 2200577 a 450 991048318030332120200520144314.010.1007/b136996(CKB)1000000000213035(SSID)ssj0000317719(PQKBManifestationID)11208036(PQKBTitleCode)TC0000317719(PQKBWorkID)10294559(PQKB)11299721(DE-He213)978-3-540-31556-8(MiAaPQ)EBC3068332(PPN)123095220(EXLCZ)99100000000021303520050429d2005 uy 0engurnn|008mamaatxtccrFormal methods for open object-based distributed systems 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings /Martin Steffen, Gianluigi Zavattaro (eds.)1st ed. 2005.Berlin ;New York Springerc20051 online resource (X, 326 p.) Lecture notes in computer science,0302-9743 ;3535"7th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems"--Pref.Printed edition: 9783540261810 Includes bibliographical references and index.Invited Talk -- Pattern Matching over a Dynamic Network of Tuple Spaces -- Models and Calculi -- A Dynamic Class Construct for Asynchronous Concurrent Objects -- An Abstract Machine for the Kell Calculus -- XPi: A Typed Process Calculus for XML Messaging -- UML -- Checking the Validity of Scenarios in UML Models -- An Extended Type System for OCL Supporting Templates and Transformations -- A Semantics for UML-RT Active Classes via Mapping into Circus -- Security -- Towards an Integrated Formal Analysis for Security and Trust -- A Formal Security Analysis of an OSA/Parlay Authentication Interface -- Composition and Verification -- Tracing Integration Analysis in Component-Based Formal Specifications -- CompAr: Ensuring Safe Around Advice Composition -- Guaranteeing Resource Bounds for Component Software -- Analysis of Java Programs -- Specification and Verification of Encapsulation in Java Programs -- Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions -- Web Services -- Transforming Information in RDF to Rewriting Logic -- Modeling- and Analysis Techniques for Web Services and Business Processes -- A Distributed Implementation of Mobile Nets as Mobile Agents -- Specification and Verification -- On Correctness of Dynamic Protocol Update -- Property-Driven Development of a Coordination Model for Distributed Simulations -- A Timing Analysis of AODV.Lecture notes in computer science ;3535.FMOODS 2005Electronic data processingDistributed processingCongressesObject-oriented programming (Computer science)CongressesElectronic data processingDistributed processingObject-oriented programming (Computer science)004.6Steffen Martin1751457Zavattaro Gianluigi1754873IFIP Working Group 6.1.International Conference on Formal Methods for Open Object-Based Distributed SystemsMiAaPQMiAaPQMiAaPQBOOK9910483180303321Formal methods for open object-based distributed systems4191385UNINA