loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fifth International Conference on Quality Software (QSIC'05)
An Operational Semantics for DFM, a Formal Notation for Modelling Asynchronous Web Services Coordination
Melbourne, Australia
September 19-September 20
ISBN: 0-7695-2472-9
ASCII Text
x 
 
Jingtao Yang, Corina Cirstea, Peter Henderson, "An Operational Semantics for DFM, a Formal Notation for Modelling Asynchronous Web Services Coordination," Quality Software, International Conference on, pp. 446-451, Fifth International Conference on Quality Software (QSIC'05), 2005.
 
 
BibTex
x
 
@article{ 10.1109/QSIC.2005.14,
author = {Jingtao Yang and Corina Cirstea and Peter Henderson},
title = {An Operational Semantics for DFM, a Formal Notation for Modelling Asynchronous Web Services Coordination},
journal ={Quality Software, International Conference on},
volume = {0},
year = {2005},
issn = {1550-6002},
pages = {446-451},
doi = {http://doi.ieeecomputersociety.org/10.1109/QSIC.2005.14},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Quality Software, International Conference on
TI - An Operational Semantics for DFM, a Formal Notation for Modelling Asynchronous Web Services Coordination
SN - 1550-6002
SP446
EP451
A1 - Jingtao Yang,
A1 - Corina Cirstea,
A1 - Peter Henderson,
PY - 2005
KW - null
VL - 0
JA - Quality Software, International Conference on
ER -
 
Jingtao Yang, University of Southampton, U.K.
Corina Cirstea, University of Southampton, U.K.
Peter Henderson, University of Southampton, U.K.
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 interrelated 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
Citation:
Jingtao Yang, Corina Cirstea, Peter Henderson, "An Operational Semantics for DFM, a Formal Notation for Modelling Asynchronous Web Services Coordination," qsic, pp.446-451, Fifth International Conference on Quality Software (QSIC'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.