Web Services and Formal Methods: 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers
Cosimo Laneve, Jianwen Su
Springer Science & Business Media, Sep 2, 2010 - Computers - 197 pages
This volume contains the papers presented at WS-FM 2009: The 6th Inter- tional Workshop on Web Services and Formal Methods held during September 4–5, 2009 in Bologna, Italy. There were 18 submissions by authors from 12 countries. Each submission was reviewed by at least 3, and on the average 3.9, Program Committee m- bers. The committee decided to accept 10 papers. Most of the selected papers are reports on work in progress on problems related to formal aspects of Web services. This workshop also features three invited talks by Mariangiola Dezani (Sessions and Session Types: An Overview), Robin Milner (Processes, and C- egories of Bigraphs) and Maurizio Lenzerini. Dezani's talk is included in this volume. We thank all authors who submitted papers to this workshop, and the m- bersof the ProgramCommittee for their workin the reviewprocess.We arealso grateful to the CONCUR 2009 organizers who take care of many organizational details for the workshop and, in particular, to Mario Bravetti and Gianluigi - vattaro. We also thank EasyChair that helped us in the management of every step of the workshop.
What people are saying - Write a review
We haven't found any reviews in the usual places.
A Graph Syntax for Processes and Services
A Formalisation of Adaptable Pervasive Flows
Compliance Preorders for Web Services
A Formal Semantics for the WSBPEL Recovery Framework
Realizability Is Controllability
Other editions - View all
activities algebra analysis application arity asynchronous automata automaton available services axioms behavior Blite BPEL choreography client communication compliance component Computer concurrent contracts Control Flow Analysis correctness data box database DDWA deﬁned Deﬁnition denoted diﬀerent encoding event event handler example execution fault handler ﬁnite ﬁrst ﬂow formal formula global graph Heidelberg 2008 identiﬁer implementation inﬁnite input instance interaction JSCL labels language LNCS LTL-FO names node notion oﬀers operation operational semantics orchestrator parallel composition peer Petri nets pi-calculus preorder process calculus queue realizability relation rules satisﬁes schema scope Segment Logic semantics sequence session channel session types speciﬁcation specify Springer structure symbol syntax target service Theorem tion transaction transition transition relation tree context tree segments tree update tuple type system User variables veriﬁcation Web application Web services workﬂow WS-BPEL WS-FM