A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems-Reference-Cited by-同舟云学术

A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems

Published:2009 Issue: Volume: Page:16-32
ISSN:0302-9743
Container-title:Testing of Software and Communication Systems
language:
Short-container-title:

Author:

Bentakouk Lina,Poizat Pascal,Zaïdi Fatiha

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-05031-2_2

Reference28 articles.

1. OASIS: Web Services Business Process Execution Language (WSBPEL) Version 2.0. Technical report, OASIS (April 2007)

2. Lecture Notes in Computer Science;J. Rao,2005

3. Dumas, M., Benatallah, B., Motahari Nezhad, H.R.: Web Service Protocols: Compatibility and Adaptation. IEEE Data Eng. Bull. 31(3), 40–44 (2008)

4. ter Beek, M.H., Bucchiarone, A., Gnesi, S.: Formal Methods for Service Composition. Annals of Mathematics, Computing & Teleinformatics 1(5), 1–10 (2007)

5. Poizat, P., Royer, J.C.: A Formal Architectural Description Language based on Symbolic Transition Systems and Modal Logic. Journal of Universal Computer Science 12(12), 1741–1782 (2006)

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

1. The DSW Model: An Efficient Approach for Single Web Services Modeling;2021 Tenth International Conference on Intelligent Computing and Information Systems (ICICIS);2021-12-05

2. Using Metamodels to Improve Model-Based Testing of Service Orchestrations;2020 IEEE 25th Pacific Rim International Symposium on Dependable Computing (PRDC);2020-12

3. Exploiting MDE for Platform-Independent Testing of Service Orchestrations;2019 15th European Dependable Computing Conference (EDCC);2019-09

4. The SAMBA Approach for Self-Adaptive Model-Based Online Testing of Services Orchestrations;2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC);2019-07

5. Test-Based Security Certification of Composite Services;ACM Transactions on the Web;2019-02-28