Web Services and Formal Methods: 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers

Gespeichert in:

Personen und Körperschaften:	Laneve, Cosimo (VerfasserIn), Su, Jianwen (Sonstige)
Titel:	Web Services and Formal Methods: 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers/ edited by Cosimo Laneve, Jianwen Su
Format:	E-Book Konferenzbericht
Sprache:	Englisch
veröffentlicht:	Berlin, Heidelberg Springer Berlin Heidelberg 2010
Gesamtaufnahme:	SpringerLink Lecture notes in computer science ; 6194
Schlagwörter:	Computer science Computer Communication Networks Information systems Computer Science Software engineering Information storage and retrieval systems Multimedia systems Computer networks . Application software. Konferenzschrift > 2009 > Bologna
Buchausg. u.d.T.:	Web services and formal methods, Berlin : Springer, 2010, 195 S.
Quelle:	Verbunddaten SWB
Zugangsinformationen:	Elektronischer Volltext - Campuslizenz

Details
Zusammenfassung:	Sessions and Session Types: An Overview -- Choreography Rehearsal -- A Graph Syntax for Processes and Services -- A Formalisation of Adaptable Pervasive Flows -- Compliance Preorders for Web Services -- A Formal Semantics for the WS-BPEL Recovery Framework -- Realizability Is Controllability -- Specification and Verification of Multi-user Data-Driven Web Applications -- Automated Composition of Nondeterministic Stateful Services -- Towards Compensation Correctness in Interactive Systems -- Small Specifications for Tree Update.
Umfang:	Online-Ressource (VII, 197p. 60 illus, digital)
ISBN:	9783642144585
DOI:	10.1007/978-3-642-14458-5