LEADER 00870nam0-22003131i-450- 001 990003739320403321 010 $a88-464-2469-7 035 $a000373932 035 $aFED01000373932 035 $a(Aleph)000373932FED01 035 $a000373932 100 $a20010216d2000----km-y0itay50------ba 101 0 $aita 102 $aIT 200 1 $a<>ricarica delle falde sotterranee$fSalvatore Troisi$gCarmine Fallico 205 $a1 ed 210 $aMilano$cFrancoAngeli$d2000 215 $a226 p.$d21 cm 610 0 $aFalde acquifere 676 $a048.004 700 1$aTroisi,$bSalvatore$0345474 701 1$aFallico,$bCarmine$0345475 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990003739320403321 952 $a048.004.TRO.01$binv 2833$fDECGE 959 $aDECGE 996 $aRicarica delle falde sotterranee$9357626 997 $aUNINA LEADER 04486nam 22007935 450 001 9910483552503321 005 20251226195534.0 010 $a3-540-38865-6 024 7 $a10.1007/11841197 035 $a(CKB)1000000000284057 035 $a(SSID)ssj0000320686 035 $a(PQKBManifestationID)11258733 035 $a(PQKBTitleCode)TC0000320686 035 $a(PQKBWorkID)10249646 035 $a(PQKB)11174432 035 $a(DE-He213)978-3-540-38865-4 035 $a(MiAaPQ)EBC3068068 035 $a(PPN)123137896 035 $a(BIP)34164239 035 $a(BIP)13618387 035 $a(EXLCZ)991000000000284057 100 $a20100301d2006 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aWeb Services and Formal Methods $eThird International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings /$fedited by Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (X, 289 p.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v4184 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-38862-1 320 $aIncludes bibliographical references and index. 327 $aInvitedPapers -- DecSerFlow: Towards a Truly Declarative Service Flow Language -- Service QoS Composition at the Level of Part Names -- SCC: A Service Centered Calculus -- Contributed Papers -- Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool -- Semantic Querying of Mathematical Web Service Descriptions -- Verified Reference Implementations of WS-Security Protocols -- From BPEL Processes to YAWL Workflows -- Translating Orc Features into Petri Nets and the Join Calculus -- Dynamic Constraint-Based Invocation of Web Services -- A Formal Account of Contracts for Web Services -- Execution Semantics for Service Choreographies -- Analysis and Verification of Time Requirements Applied to the Web Services Composition -- A Formal Approach to Service Component Architecture -- Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System -- Choreography Conformance Analysis: Asynchronous Communications and Information Alignment -- Application of Model Checking to AXML System?s Security: A Case Study -- Towards a Unifying Theory for Web Services Composition -- Towards the Formal Model and Verification of Web Service Choreography Description Language. 330 $aHere are the refereed proceedings of the Third International Workshop on Web Services and Formal Methods, WS-FM 2006, held in conjunction with the Fourth International Conference on Business Process Management, BPM 2006. The book presents 15 revised full papers and 3 invited lectures covering such topics as protocols and standards for WS; languages and description methodologies for Coreography/Orchestration/Workflow; coordination techniques for WS; security, performance evaluation and quality of service, and more. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v4184 606 $aComputer science 606 $aSoftware engineering 606 $aComputer networks 606 $aElectronic digital computers$xEvaluation 606 $aTheory of Computation 606 $aComputer Science 606 $aSoftware Engineering 606 $aComputer Communication Networks 606 $aComputer Science Logic and Foundations of Programming 606 $aSystem Performance and Evaluation 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aComputer networks. 615 0$aElectronic digital computers$xEvaluation. 615 14$aTheory of Computation. 615 24$aComputer Science. 615 24$aSoftware Engineering. 615 24$aComputer Communication Networks. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aSystem Performance and Evaluation. 676 $a004.0151 701 $aBravetti$b Mario$01756355 701 $aNunez$b Manuel$cProfesor.$046583 701 $aZavattaro$b Gianluigi$01754873 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483552503321 996 $aWeb services and formal methods$94204802 997 $aUNINA