一种基于构件演算的主动构件精化方法-CiteSeerX.PDFVIP

ISSN 1000-9825, CODEN RUXUEW E-mail: jos@ Journal of Software , Vol.19, No.5, May 2008, pp.1134− 1148 DOI: 10.3724/SP.J.1001.2008.01134 Tel/Fax: +86-10 © 2008 by Journal of Software . All rights reserved. ∗ 一种基于构件演算的主动构件精化方法 陈 鑫1,2+ 1(南京大学 计算机科学与技术系,江苏 南京 210093) 2(南京大学 计算机软件新技术国家重点实验室,江苏 南京 210093) An Approach to Refining Active Components Based on Component Calculus CHEN Xin1,2+ 1(Department of Computer Science and Technology, Nanjing University, Nanjing 210093, China) 2(State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093, China) + Corresponding author: E-mail: chenxin@, Chen X. An approach to refining active components based on component calculus. Journal of Software, 2008,19(5):1134−1148. /1000-9825/19/1134.htm Abstract : Modern component-based systems consist of active components that execute in parallel, which brings great difficulties in verifying correctness. By extending component calculus, a theory concerning refinement of active components is proposed. For interfaces, contracts are introduced which give functional specifications for both public methods and active action in terms of guarded designs. Then, a contract’s dynamic behavior is defined by a pair of divergences/failures sets. The refinement relation between contracts is defined as the set inclusion of their divergences/failures sets. The theories applying simulation techniques to assure the refinement relation are proved. By defining the semantics of a component as a mapping from the contract of its required interface to the contract of its provide interface, component refinement can be pro