构件组装与其形式化推导研究.pdfVIP

1000-9825/2003/14(06)1066 ©2003 Journal of Software 软 件 学 报 Vol.14, No.6 构件组装及其形式化推导研究 + 任洪敏, 钱乐秋 (复旦大学 计算机科学与技术系,上海 200433) Research on Component Composition and Its Formal Reasoning + REN Hong-Min , QIAN Le-Qiu (Department of Computer Science and Technology, Fudan University, Shanghai 200433, China) + Corresponding author: Phn: 86-21 E-mail: HongminRen@163.com; HongminRen@ Received 2002-07-04; Accepted 2002-12-23 Ren HM, Qian LQ. Research on component composition and its formal reasoning. Journal of Software, 2003,14(6):1066~1074. /1000-9825/14/1066.htm Abstract : Component based software engineering (CBSE) is one of the most effective solutions to improve software development quality and productivity. Component composition and compositional reasoning are the core technologies and frontier research areas in CBSE. Based on the characteristics of software components and inspired by process construction methods in process algebra, in this paper, six component composition mechanisms are proposed to integrate software components simply and conveniently. And it is argued to compose interfaces at the same time of component composition, consequently to generate more powerful and more abstract interfaces to support integration of coarse-grained components and raise the abstract level of component composition. Moreover, based on the Wright’s research on formal specification of software architecture, compositional reasoning algorithms about the behaviors of composite component as well as the protocols of composite interfaces are developed in this paper, which establish a foundation to analyze, validate, simulate composite systems. Key words : component based software engineering; component composition; compositional reasoning; software architecture;