Abstract
Sessions are a central paradigm in Web services to implement decentralized transactions with multiple participants. Sessions enable the cooperation of workflows while at the same time avoiding the mixing of workflows from distinct transactions. Languages such as BPEL, ORC, AXML that implement Web Services usually realize sessions by attaching unique identifiers to transactions. The expressive power of these languages makes the properties of the implemented services undecidable. In this paper, we propose a new formalism for modelling web services. Our model is session-based, but avoids using session identifiers. The model can be translated to a dialect of Petri nets that allows the verification of important properties of web services. © 2011 Springer-Verlag.
Cite
CITATION STYLE
Darondeau, P., Hélouët, L., & Mukund, M. (2011). Assembling sessions. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6996 LNCS, pp. 259–274). https://doi.org/10.1007/978-3-642-24372-1_19
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
