面向对象范型体系结构中构件行为相容性研究-软件学报.PDFVIP

ISSN 1000-9825, CODEN RUXUEW E-mail: jos@ Journal of Software, Vol.17, No.6, June 2006, pp .1276− 1286 http://www.j DOI: 10. 1360/jos171276 Tel/Fax : +86-10 © 2006 by Journal of Software. All rights reserved. ∗ 面向对象范型体系结构中构件行为相容性研究 1,2+ 1,2 1,2 1,2 胡海洋 , 吕 建 , 马晓星 , 陶先平 1(计算机软件新技术国家重点实验室(南京大学),江苏 南京 210093) 2(南京大学 计算机软件研究所,江苏 南京 210093) Study on Behavioral Compatibility of Components in Software Architecture Using Object-Oriented Paradigm HU Hai-Yang 1,2+, LÜ Jian1,2, MA Xiao-Xing1,2, TAO Xian-Ping 1,2 1(State Key Laboratory for Novel Software Technology (Nanjing U niversity), Nanjing 210093, China) 2(Institute of Computer Software, Nanjing University, Nanjing 210093, China) + Corresponding author: Phn: +86-25 Fax: +86-25 E-mail: hhy@, Hu HY, LüJ, Ma XX, Tao XP. Study on behavioral compatibility of components in software architecture using object-oriented paradigm. Journal of Sof tware, 2006,17(6):1276−1286. http ://www.j /1000-9825/ 17/1276.htm Abstract: Software architecture (SA) provides a high-level abstraction for component-based software development. It ’s important to specify the interaction behavior of the components, verify the compatibility among the components, and ensure the deadlock-freedom of the composition configuration at the architectural level. Many component-based software architectures are using objec t-oriented paradigm, in which component composition is implemented by method invocations over component interfaces. Concent