04871nam 22007695 450 99646606210331620200704120332.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)99100000000021303520100925d2005 u| 0engurnn|008mamaatxtccrFormal Methods for Open Object-Based Distributed Systems[electronic resource] 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /edited by Martin Steffen, Gianluigi Zavattaro1st ed. 2005.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2005.1 online resource (X, 326 p.) Programming and Software Engineering ;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.Programming and Software Engineering ;3535Computer communication systemsComputer programmingSoftware engineeringProgramming languages (Electronic computers)Operating systems (Computers)Computer logicComputer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14045Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XComputer communication systems.Computer programming.Software engineering.Programming languages (Electronic computers).Operating systems (Computers).Computer logic.Computer Communication Networks.Programming Techniques.Software Engineering.Programming Languages, Compilers, Interpreters.Operating Systems.Logics and Meanings of Programs.004.6Steffen Martinedthttp://id.loc.gov/vocabulary/relators/edtZavattaro Gianluigiedthttp://id.loc.gov/vocabulary/relators/edtIFIP Working Group 6.1.International Conference on Formal Methods for Open Object-Based Distributed SystemsBOOK996466062103316Formal Methods for Open Object-Based Distributed Systems772204UNISA