Nested Web Service Interface Control Flow Automata

Autor:	Lizhu Zhou, Zhoujun Li, Chunxiao Xing, Xutao Du
Rok vydání:	2008
Předmět:	Service (systems architecture) Theoretical computer science Nested word Recursion Control flow Computer science Interface (Java) Automata theory Web service computer.software_genre computer Automaton
Zdroj:	2008 4th International Conference on Next Generation Web Services Practices.
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::b31c138e6ea023088fff125e6eaa580e https://doi.org/10.1109/nwesp.2008.26 Zobrazit plný text záznamu