LEADER 03985nam 2200673 450 001 996465556503316 005 20220814222200.0 010 $a3-540-79230-9 024 7 $a10.1007/978-3-540-79230-7 035 $a(CKB)1000000000491093 035 $a(SSID)ssj0000446875 035 $a(PQKBManifestationID)11297758 035 $a(PQKBTitleCode)TC0000446875 035 $a(PQKBWorkID)10504356 035 $a(PQKB)10537664 035 $a(DE-He213)978-3-540-79230-7 035 $a(MiAaPQ)EBC4975663 035 $a(MiAaPQ)EBC5579468 035 $a(Au-PeEL)EBL4975663 035 $a(CaONFJC)MIL185687 035 $a(OCoLC)1024278062 035 $a(Au-PeEL)EBL5579468 035 $a(OCoLC)233974082 035 $a(MiAaPQ)EBC6806054 035 $a(Au-PeEL)EBL6806054 035 $a(PPN)125218850 035 $a(EXLCZ)991000000000491093 100 $a20220814d2008 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aWeb services and formal methods $e4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, proceedings /$fedited by Marlon Dumas and Reiko Heckel 205 $a1st ed. 2008. 210 1$aBerlin, Germany ;$aNew York, New York :$cSpringer-Verlag,$d[2008] 210 4$d©2008 215 $a1 online resource (IX, 172 p.) 225 1 $aProgramming and Software Engineering ;$v4937 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-79229-5 320 $aIncludes bibliographical references and index. 327 $aTowards a Theory of Web Service Choreographies -- Controlling Petri Net Process Models -- Extending Model Checking to Data-Aware Temporal Properties of Web Services -- Analyzing BPEL4Chor: Verification and Participant Synthesis -- Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers -- A Feature-Complete Petri Net Semantics for WS-BPEL 2.0 -- From BPEL to SRML: A Formal Transformational Approach -- Modeling Web Service Interactions Using the Coordination Language Reo -- Synthesis of Web Services Orchestrators in a Timed Setting -- From Public Views to Private Views ? Correctness-by-Design for Services -- Event Structure Semantics of Orc. 330 $aThis book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Web Services and Formal Methods, WS-FM 2007, held in Brisbane, Australia, in September 2007 in conjunction with the 5th International Conference on Business Process Management, BPM 2007. The 9 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 22 submissions. The papers address the application of formal methods and reasoning techniques to Web service technology, and formal theories inspired by developments in the field of Web services. The papers feature topics such as service-oriented analysis and design, formal approaches to enterprise modeling and business process modeling, model-driven development, testing, and analysis of Web services, Web services for business process management, security, performance and quality of Web services, Web service coordination and transactions, Web service ontologies and semantic description, goal-driven discovery and composition of Web services, complex event processing in service-oriented architectures, as well as semi-structured data management and XML technology. 410 0$aProgramming and Software Engineering ;$v4937 606 $aFormal methods (Computer science)$vCongresses 606 $aWeb services$vCongresses 615 0$aFormal methods (Computer science) 615 0$aWeb services 676 $a004 702 $aDumas$b Marlon 702 $aHeckel$b Reiko 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465556503316 996 $aWeb Services and Formal Methods$9772379 997 $aUNISA