Formal Modeling and Discrete-Time Analysis of BPEL Web Services-Reference-Cited by-同舟云学术

Formal Modeling and Discrete-Time Analysis of BPEL Web Services

Published:2008 Issue: Volume: Page:179-193
ISSN:1865-1348
Container-title:Lecture Notes in Business Information Processing
language:
Short-container-title:

Author:

Mateescu Radu,Rampacek Sylvain

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-68644-6_13

Reference28 articles.

1. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994)

2. Chirichiello, A., Salaün, G.: Encoding abstract descriptions into executable web services: Towards a formal development. In: Proc. of WI 2005, pp. 457–463. IEEE Computer Society, Los Alamitos (2005)

3. Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000)

4. Ferrara, A.: Web services: a process algebra approach. In: ICSOC, pp. 242–251 (2004)

5. Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL web services. In: Proc. of the 13th International World Wide Web Conference (WWW 2004), USA, ACM Press, New York (2004)

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. SDTIOA: Modeling the Timed Privacy Requirements of IoT Service Composition: A User Interaction Perspective for Automatic Transformation from BPEL to Timed Automata;Mobile Networks and Applications;2021-11-10

2. Formal Modeling and Analysis of Business Process Timed Constraints;Formalisms for Reuse and Systems Integration;2015

3. Formalizing Timed BPEL by D-LOTOS;International Journal of Embedded and Real-Time Communication Systems;2014-04

4. FMEBP: A Formal Modeling Environment of Business Process;Communications in Computer and Information Science;2014

5. Dependability certification of services: a model-based approach;Computing;2013-10-02