Academic Journals Database
Disseminating quality controlled scientific knowledge

Research on Component Composition and Replacement with Formal Semantics

Author(s): Ruzhi Xu | Quansheng Wu | Peiguang Lin

Journal: Journal of Software
ISSN 1796-217X

Volume: 6;
Issue: 9;
Start page: 1640;
Date: 2011;
Original page

Keywords: Component-based Software Engineering (CBSE) | component composition | component replacement | design by contract | Pi-calculus

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.
Affiliate Program      Why do you need a reservation system?