文章基本信息

标题：Research on Component Composition and Replacement with Formal Semantics
本地全文：下载
作者：Xu, Ruzhi ; Wu, Quansheng ; Lin, Peiguang 等
期刊名称：Journal of Software
印刷版ISSN：1796-217X
出版年度：2011
卷号：6
期号：9
页码：1640-1648
DOI：10.4304/jsw.6.9.1640-1648
语种：English
出版社：Academy Publisher
摘要：Based on the notion of ‘design by contract’, components interaction patterns and process patterns of component composition, formal semantics of components are proposed. With this basis and inspired by typing system and process construction methods in -calculus, in this paper, a formal typing framework for the composition and replacement of components are proposed. Additionally, rules about component composition and replacement are introduced based on component operation semantics and -calculus typing rules, which establish a foundation for rigorously analyzing and reasoning the composed system.
关键词：Component-based Software Engineering (CBSE);component composition;component replacement;design by contract;Pi-calculus