计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (5): 59-62.DOI: 10.3778/j.issn.1002-8331.2010.05.018

• 研发、设计、测试 • 上一篇    下一篇

基于角色划分的构件组合兼容性检查

张 驰   

  1. 江西财经大学 软件学院,南昌 330013
  • 收稿日期:2009-04-28 修回日期:2009-06-19 出版日期:2010-02-11 发布日期:2010-02-11
  • 通讯作者: 张 驰

Components composition compatibility checking based on roles division

ZHANG Chi   

  1. Software School,Jiangxi University of Finance and Economics,Nanchang 330013,China
  • Received:2009-04-28 Revised:2009-06-19 Online:2010-02-11 Published:2010-02-11
  • Contact: ZHANG Chi

摘要: 基于构件的软件开发是软件工程化和工业化发展的必然趋势,构件间通过接口实现交互。目前主要的接口定义语言是为了满足封闭的C/S应用而设计的,仅描述了构件交互的静态语法层信息,这些信息已不能满足开放环境下对构件理解、使用和推导需要。形式化方法因其描述的准确性和使用自动定理证明机制而受到越来越多的重视,以CORBA构件为例,结合一个电子商务应用实例,给出基于π演算的构件接口动态行为信息描述方法,在此基础上根据构件在交互中的作用进行了角色划分,并基于角色模型研究了构件组合中的兼容性问题,从而保证了开放环境下构件间成功地进行互操作。

关键词: 构件, 接口, 协议, 角色, 兼容性

Abstract: Component-based software development is necessity current of software engineering and industrialization and components achieve interaction by interfaces.At present the main interface definition languages are designed initially for closure environment to satisfy the requirement of C/S application,and only describe static syntax level information of component interaction which can not meet the need of understand,usage and deduce of component in open environment.Formal description methods are being got more and more attention because of their accuracy and the use of automated theorem proving mechanism.This paper proposes the extension approach to component interfaces including dynamic behavior information based on π calculus,then divides roles according to the role component acts in the system and researches the compatibility of component composition based on roles division to ensure the correctness of composition and interaction in open environment.To illustrate what the paper presents,an electronic commerce application system is used as an example.

Key words: component, interface, protocol, role, compatibility

中图分类号: