Title :
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
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;
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
DOI :
10.1109/NWeSP.2008.26
