Darondeau, Philippe ; Hélouët, Loïc ; Mukund, Madhavan (2011) Assembling Sessions In: International Symposium on Automated Technology for Verification and Analysis (ATVA) 2011, 11-14 Oct 2011, Taipei, Taiwan.
Full text not available from this repository.
Official URL: https://link.springer.com/chapter/10.1007/978-3-64...
Related URL: http://dx.doi.org/10.1007/978-3-642-24372-1_19
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.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Source: | Copyright of this article belongs to Springer-Verlag. |
| Keywords: | Shared Action; Business Process Execution Language; Online Sale; Online Payment; Session Scheme |
| ID Code: | 114138 |
| Deposited On: | 25 May 2018 04:55 |
| Last Modified: | 25 May 2018 04:55 |
Repository Staff Only: item control page
