Nested Web Service Interface Control Flow Automata

Author

Du, Xutao ; Xing, Chunxiao ; Zhou, Lizhu ; Li, Zhoujun

Author_Institution

Dept. of Comput. Sci. & Technol., Tsinghua Univ., Beijing

fYear

2008

Firstpage

129

Lastpage

136

Abstract

The formal definition of NWCFA (nested Web service interface control flow automata) is presented as the model of web service compositions (possibly with recursion). WCFA (Web service interface control flow automata) are used to model individual Web services, which form a composition. WCFA focus on the control flow and service invocation behavior. Then a NWCFA will be constructed to describe the global behavior of the composition. NWCFA use the concept of nested words to deal with recursion. An example is used to illustrate the usage of WCFA and NWCFA. Temporal properties can be verified through an automata-theoretic method.

Keywords

Web services; application program interfaces; automata theory; automata-theoretic method; nested Web service interface control flow automata; nested words; service invocation behavior; temporal properties; Automata; Automatic control; Automatic generation control; Computer science; Information science; Information technology; Laboratories; Roentgenium; Safety; Web services; Control flow; Nested words; Recursion; Web service interface;

fLanguage

English

Publisher

ieee

Conference_Titel

Next Generation Web Services Practices, 2008. NWESP '08. 4th International Conference on

Conference_Location

Seoul

Print_ISBN

978-0-7695-3455-8

Electronic_ISBN

978-0-7695-3455-8

Type

conf

DOI

10.1109/NWeSP.2008.26

Filename

4700394