A Rigorous Model of Service Component Architecture

Electronic Notes in Theoretical Computer Science

Volumn 207, Issue C, 2008, Pages 33-48

  Ding, Zuohua ^a   Chen, Zhenbang ^b,c   Liu, Jing ^d  

^a ZHEJIANG SCI TECH UNIVERSITY   (China)

^b UNITED NATIONS UNIVERSITY   (Macao)

^c NATIONAL UNIVERSITY OF DEFENSE TECHNOLOGY   (China)

^d EAST CHINA NORMAL UNIVERSITY   (China)

Author keywords

Formal Semantics; Petri nets; Service Component Architecture; Service Composition; Verification

Indexed keywords

FORMAL LANGUAGES; MATHEMATICAL MODELS; PETRI NETS; SEMANTICS;

FORMAL SEMANTICS; SERVICE COMPONENT ARCHITECTURE; SERVICE COMPOSITION;

COMPUTER ARCHITECTURE;

EID: 41849097432     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2008.03.084     Document Type: Article

References (28)

1. Arkin F., et al. Web Services Business Process Execution Language Version 2.0 (2005). http://www.oasis-open.org/apps/org/workgroup/wsbpel/
2. Apache TUSCANY (2007). http://cwiki.apache.org/TUSCANY/sca-overview.html
3. Beisiegel M., et al. Service component architecture specification (2007). http://www.osoa.org/display/Main/Home
4. Brogi A., Canal C., Pimentel E., and Vallecillo A. Formalizing web wervice choreographies. Electr. Notes Theor. Comput. Sci. 105 (2004) 73-94
5. Brogi A., Canal C., and Pimentel E. Component adaptation through flexible subservicing. Science of Computer Programming 63 1 (2006) 39-56
6. Design/CPN. http://www.daimi.au.dk/designCPN/
7. Dong W., Chen Z., and Wang J. A contract-based approach to specifying and verifying safety critical systems. Electr. Notes Theor. Comput. Sci. 176 (2007) 89-103
8. Ferrara, A., Web services: a process algebra approach, in Proceedings of 2nd ACM International Conference on Service Oriented Computing, New York, USA, 2004, pp. 242-251
9. Fisteus, J.A., L.S. Fernández and C. D. Kloos, Formal verification of BPEL4WS business collaborations, in Proceedings of the 5th International Conference on Electronic Commerce and Web Technologies (EC-Web'04), 2004
10. Farahbod R., Glässer U., and Vajihollahi M. Specification and validation of the Business Process Execution Language for web services. LNCS vol. 3052 (2004), Springer-Verlag 78-94
11. Chen, Z.B., Z. Liu, V. Stolz, L. Yang and A. Ravn, A Refinement Driven Component-Based Design, in Proc. Of ICECCS 2007, pp. 277-289, IEEE
12. Chen, Z.B., Z. Liu, A. Ravn, V. Stolz and N. Zhan, Refinement and Verification in Component-Based Model Driven Design, Technical report 388, UNU-IIST, Nov. 2007
13. Fiadeiro J.L., Lopes A., and Bocchi L. A formal approach to service component architecture. Proc. of Third International Workshop Web Services and Formal Methods. LNCS vol. 4184 (2006), Springer-Verlag 193-213
14. Foster, H., S. Uchitel, J. Magee and J. Kramer, Model-based verification of web service compositions, in Proc. of ASE'03, Canada, 2003, pp. 152-163
15. Fu, X., T. Bultan and J. Su, Analysis of interacting BPEL web services, in Proc. of WWW'04, USA, 2004, ACM Press
16. Girault C., and Valk V. Petri nets for systems engineering, a guide to modeling, verification and applications (2003), Springer-Verlag, Berlin
17. Ding, Z. and J. Liu, A rigorous model of service component architecture, Technical report, preprint of Institute of Software Engineering, East China Normal University, Dec. 2007, will be available at: http://www.sei.ecnu.edu.cn/jliu/
18. Hinz S., Schmidt K., and Stahl C. Transforming BPEL to Petri nets. LNCS vol. 3649 (2005) 220-235
19. Liu Y., and Smith S. Modules with interfaces for dynamic linking and communication. LNCS vol. 3086 (2004) 414-439
20. McDirmid, S., M. Flatt and W. Hsieh, Jiazzi: new-age components for old-fashioned java, in Proc. Of OOPSLA 2001, pp. 211-222, ACM
21. McDirmid S., and Hsieh W. Superglue: component programming with object-oriented signals. LNCS vol. 4067 (2006) 206-229
22. Open Services Gateway Initiative, OSGi Service Platform Specification, 3rd Release, 2003
23. Pu G., Zhao X., Wang S., and Qiu Z. Towards the semantics and verification of BPEL4WS. Electr. Notes Theor. Comput. Sci. 151 2 (2006) 33-52
24. Tsai J.J.P., and Xu K. An empirical evaluation of deadlock detection in software architecture specifications. Annals of Software Engineering 7 (1999) 95-126
25. W3C World Wide Web Consortium. Web Services Architecture (2004). http://www.w3.org/TR/ws-arch/
26. W3C World Wide Web Consortium. Simple Object Access Protocol (SOAP) 1.1 (2000). http://www.w3.org/TR/soap/
27. Yang, H., X. Zhao, Z. Qiu, G. Pu and S. Wang, A formal model for Web Service Choreography Description Language (WS-CDL), ICWS 2006, pp. 893-894
28. Yeung, W.L., Mapping WS-CDL and BPEL into CSP for Behavioural Specification and Verification of Web Services, ECOWS 2006, pp. 297-305