An Operational Semantics for DFM, a Formal Notation for Modeling Asynchronous Web Services
Yang, Jingtao, Cirstea, Corina and Henderson, Peter (2005) An Operational Semantics for DFM, a Formal Notation for Modeling Asynchronous Web Services. In, The 5th International Conference on Quality Software (QSIC 2005), Melbourne, Australia, IEEE Computer Society, 446-451.
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
Download (130Kb) |
Description/Abstract
This paper presents the DFM notation and its operational semantics. DFM (Document Flow Model) is a message-based workflow notation for modelling asynchronous web services communication, which uses coordination mechanisms to support dynamic configurations and long-running business processes. The operational semantics of a DFM specification describes the possible behaviours of a system of inter-related web services, in terms of the messages that can be exchanged during the execution of one or more business processes, and the effect each message execution has on the business process state.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Additional Information: | Event Dates: Sep 2005 |
| ISBNs: | 0769524729 |
| ISSNs: | 1550-6002 |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Electronic & Software Systems |
| Item ID: | 261267 |
| Date Deposited: | 27 Sep 2005 |
| Last Modified: | 02 Mar 2012 00:38 |
| Contributors: | Yang, Jingtao (Author) Cirstea, Corina (Author) Henderson, Peter (Author) |
| Date: | 2005 |
| Additional Information: | Event Dates: Sep 2005 |
| Status: | Published |
| Publisher: | IEEE Computer Society |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/261267 |
Actions (login required)
 |
View Item |
