03295nam 2200601 a 450 991048355250332120200520144314.03-540-38865-610.1007/11841197(CKB)1000000000284057(SSID)ssj0000320686(PQKBManifestationID)11258733(PQKBTitleCode)TC0000320686(PQKBWorkID)10249646(PQKB)11174432(DE-He213)978-3-540-38865-4(MiAaPQ)EBC3068068(PPN)123137896(EXLCZ)99100000000028405720060725d2006 uy 0engurnn|008mamaatxtccrWeb services and formal methods third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings /Mario Bravetti, Manuel Nunez, Gianluigi Zavattaro (eds.)1st ed. 2006.Berlin Springer20061 online resource (X, 289 p.) Lecture notes in computer science,0302-9743 ;4184LNCS sublibrary. SL 2, Programming and software engineeringBibliographic Level Mode of Issuance: Monograph3-540-38862-1 Includes bibliographical references and index.InvitedPapers -- 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.Lecture notes in computer science ;4184.LNCS sublibrary.SL 2,Programming and software engineering.WS-FM 2006Web servicesCongressesFormal methods (Computer science)CongressesWeb servicesFormal methods (Computer science)004.0151Bravetti Mario1756355Nunez ManuelProfesor.46583Zavattaro Gianluigi1754873MiAaPQMiAaPQMiAaPQBOOK9910483552503321Web services and formal methods4204802UNINA