LEADER 06311nam 22008295 450 001 9910483180303321 005 20251226203642.0 024 7 $a10.1007/b136996 035 $a(CKB)1000000000213035 035 $a(SSID)ssj0000317719 035 $a(PQKBManifestationID)11208036 035 $a(PQKBTitleCode)TC0000317719 035 $a(PQKBWorkID)10294559 035 $a(PQKB)11299721 035 $a(DE-He213)978-3-540-31556-8 035 $a(MiAaPQ)EBC3068332 035 $a(PPN)123095220 035 $a(BIP)12317591 035 $a(EXLCZ)991000000000213035 100 $a20100925d2005 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Methods for Open Object-Based Distributed Systems $e7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /$fedited by Martin Steffen, Gianluigi Zavattaro 205 $a1st ed. 2005. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005. 215 $a1 online resource (X, 326 p.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v3535 300 $a"7th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems"--Pref. 311 08$aPrinted edition: 9783540261810 320 $aIncludes bibliographical references and index. 327 $aInvited 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. 330 $aThis volume contains the proceedings of FMOODS2005, the 7th IFIPWG6. 1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Athens, Greece on June 15-17, 2005. The eventwasthe seventhmeeting ofthis conferenceseries,whichis held roughly- eryyearandahalf,withtheearliereventsheldrespectivelyinParis,Canterbury, Florence, Stanford, Twente, and Paris. ThegoaloftheFMOODSseriesofconferencesistobringtogetherresearchers whose work encompasses three important and related ?elds: - formal methods; - distributed systems; - object-based technology. Sucha convergenceis representativeofrecentadvancesin the'eld ofdistributed systems, and provides links between several scienti'c and technological com- nities, as represented by the conferences FORTE, CONCUR, and ECOOP. The objective of FMOODS is to provide an integrated forum for the pres- tation of research in the above-mentioned ?elds, and the exchange of ideas and experiences in the topics concerned with the formal methods support for open object-based distributed systems. For the call for papers, aspects of interest - cluded, but were not limited to: formal models; formal techniques for speci?- tion, design, or analysis; veri'cation, testing, and validation; component-based design; formal aspects of service-oriented computing; semantics and type s- tems for programming, coordination, or modelling languages; behavioraltyping; multiple viewpoint modelling and consistency between di'erent models; tra- formations of models; integration of quality-of-service requirements into formal models; formal models for security; formal approachesto distributed component frameworks;andapplications andexperience,carefullydescribed. Work onthese aspects of (o'cial and de facto) standardnotation and languagesfor serviceo- ented design, e. g. web services orchestration languages, was explicitly welcome. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v3535 606 $aComputer networks 606 $aComputer programming 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aOperating systems (Computers) 606 $aComputer science 606 $aComputer Communication Networks 606 $aProgramming Techniques 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aOperating Systems 606 $aComputer Science Logic and Foundations of Programming 615 0$aComputer networks. 615 0$aComputer programming. 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs) 615 0$aOperating systems (Computers) 615 0$aComputer science. 615 14$aComputer Communication Networks. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aOperating Systems. 615 24$aComputer Science Logic and Foundations of Programming. 676 $a004.6 701 $aSteffen$b Martin$01751457 701 $aZavattaro$b Gianluigi$01754873 712 02$aIFIP Working Group 6.1. 712 12$aInternational Conference on Formal Methods for Open Object-Based Distributed Systems 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483180303321 996 $aFormal methods for open object-based distributed systems$94191385 997 $aUNINA