An Operational Semantics for DFM, a Formal Notation for Modeling Asynchronous Web Services
An Operational Semantics for DFM, a Formal Notation for Modeling Asynchronous Web Services
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.
0-7695-2472-9
446-451
Yang, Jingtao
f78936e8-efda-4590-8309-9424e97cceea
Cirstea, Corina
ce5b1cf1-5329-444f-9a76-0abcc47a54ea
Henderson, Peter
bf0a7293-7277-459d-9c3c-67b0a6eabd54
2005
Yang, Jingtao
f78936e8-efda-4590-8309-9424e97cceea
Cirstea, Corina
ce5b1cf1-5329-444f-9a76-0abcc47a54ea
Henderson, Peter
bf0a7293-7277-459d-9c3c-67b0a6eabd54
Yang, Jingtao, Cirstea, Corina and Henderson, Peter
(2005)
An Operational Semantics for DFM, a Formal Notation for Modeling Asynchronous Web Services.
The 5th International Conference on Quality Software (QSIC 2005), Melbourne, Australia.
.
Record type:
Conference or Workshop Item
(Paper)
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.
More information
Published date: 2005
Additional Information:
Event Dates: Sep 2005
Venue - Dates:
The 5th International Conference on Quality Software (QSIC 2005), Melbourne, Australia, 2005-09-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 261267
URI: http://eprints.soton.ac.uk/id/eprint/261267
ISBN: 0-7695-2472-9
PURE UUID: b497e30b-d88f-487e-be8b-590cc4cc902d
Catalogue record
Date deposited: 27 Sep 2005
Last modified: 15 Mar 2024 03:18
Export record
Contributors
Author:
Jingtao Yang
Author:
Corina Cirstea
Author:
Peter Henderson
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics