doi: 10.4304/jsw.6.9.1640-1648
Research on Component Composition and Replacement with Formal Semantics
- School of Information Engineering, Shandong University of Finance, Jinan, China
Abstract
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.
Keywords
- Component-based
- Software
- Engineering
- (CB
How to Cite
Ruzhi Xu, Quansheng Wu, and Peiguang Lin, "Research on Component Composition and Replacement with Formal Semantics," Journal of Software, vol. 6, no. 9, pp. 1640-1648, 2011. https://doi.org/ 10.4304/jsw.6.9.1640-1648
Copyright & License
Copyright © 2011 by the authors. This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited (CC BY 4.0).