An operational semantics for DFM, a formal notation for modelling asynchronous Web services coordination

Author

Yang, Jingtao ; Cîrstea, Corina ; Henderson, Peter

Author_Institution

Sch. of Electron. & Comput. Sci., Southampton Univ., UK

fYear

2005

fDate

19-20 Sept. 2005

Firstpage

446

Lastpage

451

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 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.

Keywords

Internet; business data processing; document handling; formal specification; programming language semantics; DFM specification; asynchronous Web services communication; business processes; document flow model; message-based workflow notation; operational semantics; Automation; Business communication; Computer science; Context; Design for manufacture; Lab-on-a-chip; Simple object access protocol; Tree data structures; Web services; XML;

fLanguage

English

Publisher

ieee

Conference_Titel

Quality Software, 2005. (QSIC 2005). Fifth International Conference on

ISSN

1550-6002

Print_ISBN

0-7695-2472-9

Type

conf

DOI

10.1109/QSIC.2005.14

Filename

1579170