Zobrazeno 1 - 10
of 17
pro vyhledávání: '"Xutao Du"'
Publikováno v:
International Journal of Information Systems in the Service Sector (IJISSS). 3(4):1-21
This paper presents a Chu spaces semantics of typical control flow of WS-BPEL including fault handling and link semantics. BPEL-CF is proposed as a simplification of this subset of WS-BPEL. For the compositional modeling of BPEL, the authors present
Autor:
Xiaowei Lu, Alexander Buyanin, Xianli Liu, Jiahua Duan, Qiang Fu, Fausto D'Apuzzo, Miquel Salmeron, Xutao Du, Wei Wei, Hans A. Bechtel, Markus B. Raschke, Mingtao Yan, Jie Zeng, Peng Jiang, Omar Khatib, Jianing Chen, Xinhe Bao
Publikováno v:
Advanced Electronic Materials. 4:1700377
Author(s): Lu, X; Khatib, O; Du, X; Duan, J; Wei, W; Liu, X; Bechtel, HA; D'Apuzzo, F; Yan, M; Buyanin, A; Fu, Q; Chen, J; Salmeron, M; Zeng, J; Raschke, MB; Jiang, P; Bao, X | Abstract: Topological insulators (TIs) are quantum materials with topolog
This paper presents a Chu spaces semantics of typical control flow of WS-BPEL including fault handling and link semantics. BPEL-CF is proposed as a simplification of this subset of WS-BPEL. For the compositional modeling of BPEL, the authors present
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8b519c3756ea092638d81bbc048e061f
https://doi.org/10.4018/978-1-4666-2649-2.ch012
https://doi.org/10.4018/978-1-4666-2649-2.ch012
Publikováno v:
APSCC
We present a Chu spaces semantics of typical control flow of BPEL including fault handling and link semantics. BPEL cf is proposed as a simplification of this subset of BPEL. For the compositional modeling of BPEL, we present a Chu spaces process alg
Publikováno v:
FCST
We use Chu spaces and an algebra of them to give a denotational semantics of a subset of BPEL. The emphasis is on the scope-based fault handling mechanism. We propose BPEL-F as an abstraction of the subset of BPEL including typical control flow and f
Publikováno v:
2008 Third Asia-Pacific Trusted Infrastructure Technologies Conference.
Timed component interface control flow automata (TCICFA) is presented to specify and verify composite real-time components' invocation behavior and timing constraint information. By analyzing TCICFAs, a component reachability graph (CRG) can be const
Publikováno v:
2008 4th International Conference on Next Generation Web Services Practices.
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 s
Publikováno v:
QSIC
WCFA (Web service interface control flow automata) is enhanced by allowing pre/post-conditions for certain Web service invocations to be declared. The formal definition of WCFA is given. Global behaviors of web service compositions (described by a se
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540680628
ICSR
ICSR
Web Service Interface Control Flow Automata(WCFA) is presented to model web service interfaces. An Abstract Reachability Graph(ARG) is constructed for the composite web service based on available WCFAs. Nodes in ARG are equipped with a state formula
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7f707852ddd84c26dec5da554ba5c92f
https://doi.org/10.1007/978-3-540-68073-4_26
https://doi.org/10.1007/978-3-540-68073-4_26
Publikováno v:
IRI
We use WCFA (Web Service Interface Control Flow Automata) to model web service interfaces. Global behaviors of web service compositions are captured by abstract reachability graph(ARG). A polynomial time algorithm for the construction of ARG is prese