Guermouche, Nawal and Zilio, Silvano Dal (2012) Towards Timed Requirement Verification for Service Choreographies. In: 8th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing.
![[thumbnail of 18355.pdf]](http://eprints.eai.eu/style/images/fileicons/application_pdf.png "18355.pdf")
PDF
18355.pdf
Download (616kB)
Abstract
In this paper, we propose an approach for analyzing and validating a composition of services with respect to real time properties. We consider services defined using an extension of the Business Process Execution Language (BPEL) where timing constraints can be associated to the execution of an act
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| Date Deposited: | 04 Mar 2026 09:59 |
| Last Modified: | 17 Apr 2026 21:15 |
| URI: | http://eprints.eai.eu/id/eprint/9969 |
Actions (login required)
- View Item