SOA 软件开发中的若干开放问题探讨#
 

摘要：近5 年来，面向服务的架构（SOA）正成为Internet 环境下软件开发新范型。Web 服务是SOA 基于Web 的实现，SOA 软件是由多个Web 服务通过组合的方式构建而成。与传统的软件开发范型相比，SOA 软件的开发呈现出“松散耦合”、“服务的定义与实现完全分离”、“服务可以发布、注册与使用”等许多新特点。本文在介绍SOA 软件开发的基本原理的基础上，从软件工程方法学角度分析与归纳了SOA 软件开发范型中若干有待解决的开放问题，这 些问题的解决有助于SOA 的软件开发范型在实践中更广泛应用。最后，介绍我们在服务组装适应性、可靠性方面的一些探索与实践。
 

关键词：面向服务的架构（SOA）；Web 服务；服务组装；基于SOA 的软件开发；软件开发方法学

0 引言
近年来，面向服务的架构（SOA）逐渐成为Internet 环境下的应用程序开发的一种主流范型（或方法学）[1]。基于SOA 的应用程序的基本单元为Web 服务，服务按照一定的方式组装起来，可以构建灵活、复杂的应用程序。与传统的应用程序开发范型（如结构化软件开发、面向对象的软件开发、基于构件的软件开发）相比，基于SOA 的软件开发呈现出若干新特点。这些特点使得基于SOA 的软件开发可以较好地解决分布、动态、异构环境下，数据、应用和系统集成等问题，支持快速的业务重整与优化。IBM、Microsoft 等IT 业界著名的大公司都在积极倡导与推动SOA 的发展，开发了一系列的标准、语言与支持工具。

目前，SOA 相关的理论、方法、实现技术与标准等还处于不断的发展变化之中，SOA的软件开发范型仍不成熟。本文结合SOA 的新特点，从软件工程方法学角度探讨SOA 软件开发面临的挑战，介绍我们的一些探索与实践。

4 结束语
基于 SOA 的软件开发是一种新的软件开发范型。与传统的软件开发范型相比，该范型具有“松散耦合”、“规格说明与实现彻底分离”、“服务可以作为资产注册、发布与使用”等特点。这种新范型的软件开发有助于解决分布、动态、异构环境下，数据、应用和系统集成等问题，同时也提出了若干新的问题与挑战。本文介绍了基于SOA 的软件开发范型的基本原理，分析与归纳了该软件开发范型中若干尚未解决的开放问题，这些问题的解决有助于基于SOA 的软件开发范型在实践中广泛应用。

[参考文献] (References)
[1] Papazoglou M, Traverso P, Dustdar S, Leymann F. Service-oriented computing: a research roadmap[J],
International Journal on Cooperative Information Systems (IJCIS), 2008, 17(2): 223-255.
[2] Peltz C. Web services orchestration: a review of emerging technologies, tools, and standards[R]. Technical
Report, Hewlett-Packard Company, http://devresource.hp.com/drc/ , 2003.
[3] OASIS, OASIS definition of SOA[R], http://en.wikipedia.org/wiki/OASIS_SOA_Reference_Model, 2011.
[4] Wikipedia, Service Oriented Architecture[OL], http://en.wikipedia.org/wiki/Service-oriented_architecture,2011.
[5] 蔡维德, 白晓颖, 陈以农. 浅谈深析面向服务的软件工程[M], 北京：清华大学出版社, 2008.
[6] OASIS. Web Services Business Process Execution Language[OL], http://www.oasis-open.org/committees/tc_home.php? wg_abbrev=wsbpel>, 2006.
[7] 孙昌爱，王冠，赵永梅. Web 服务的开发过程框架及其实例研究[OL]. 中国科技论文在线,
http://www.paper.edu.cn/index.php/default/releasepaper/content/201104-18. 2011.
[8] 白晓颖, 赵冲冲, 戴桂兰. Web 服务测试研究[J]. 计算机科学, 2006, 33(2): 252-256.
[9] De B. Testing Web Services - An Overview WIPRO white paper[OL], http://www.wipro.com, 2003.
[10] Canfora G, Penta M. Service Oriented Architecture Testing : A Survey[J], Lecture Notes in Computer Science,2009, 5413:78-105.
[11] Sun C, Xue T, Aiello M. ValySeC: A Variability Analysis Tool for Adaptive Service Compositions using
VxBPEL[A], Proceedings of IEEE Asia-Pacific Service Computing Conference (APSCC 2010)[C], 2010, IEEE
Computer Society, pp307-314.
12] Sun C, Rossing R, Sinnema M, Bulanov P, Aiello M. Modeling and managing variability of Web
service-based systems[J], Journal of Systems and Software, Elsevier, 2010, 83 (3): 502-516.
[13] Koning M, Sun C, Sinnema M, Avgeriou P. VxBPEL: Supporting Web Service Variability in BPEL[J],
Information and Software Technology, Elsevier, 2009, 51(2): 258-269.
[14] Sun C, Aiello M. Towards Variable Service Compositions using VxBPEL[A], Proceedings of the 10th
 International Conference on Software Reuse (ICSR 2008)[C], Lecture Notes in Computer Science (LNCS) 5030,Springer, 2008, pp257-261.
[15] Sun C, Khoury E, Aiello M. Transaction Management in Service-Oriented Systems: Requirements and a
Proposal[J], IEEE Transactions on Services Computing, 2011,4(2): 167-180.
[16] Sun C. Towards Transaction-based Reliable Service Compositions[A], Proceedings of 33rd Annual IEEE
 International Computer Software and Application Conference (COMPSAC 2009)[C], IEEE Computer Society,2009, pp216-221.
[17] Sun C, Aiello M. Requirements and Evaluation of Protocols and Tools for Transaction Management in
Service Centric Systems[A], Proceedings of REFS 2007 in conjunction with the 31st Annual International
Computer Software and Applications Conference (COMPSAC 2007)[C], IEEE Computer Society, 2007,
 pp461-466.
[18] Sun C, Wang G, Mu B, Liu H, Wang Z, Chen T Y. Metamorphic Testing for Web Services: Framework and a
Case Study[A], Proceedings of the 9th International Conference on Web Services (IEEE ICWS 2011)[C],
Research Track, IEEE Computer Society, Washington DC,2011,pp283-290.
[19] Weyuker E J. On testing non-testable programs[J], The Computer Journal, 1982, 25(4):465-470.