Title :
A strategy for component-based modeling and refinement
Author :
Liu, Jing ; Miao, Huaikou
Author_Institution :
Sch. of Comput. Sci. & Technol., Shanghai Univ., China
Abstract :
We present a formal model for component-based development system that provides precise mathematical definitions for concepts like component, connector, software architecture as well as interface, type and behavior. Based on these concepts, we develop a refinement approach that captures the essential nature and principles of component-based design.
Keywords :
formal specification; object-oriented programming; software architecture; component behavior; component type; component-based design; component-based modeling; component-based refinement; connector; formal model; interface; software architecture; software development; Computer architecture; Computer science; Concrete; Connectors; Formal specifications; Mathematical model; Programming; Software architecture; Software systems; Writing;
Conference_Titel :
Engineering of Complex Computer Systems, 2005. ICECCS 2005. Proceedings. 10th IEEE International Conference on
Print_ISBN :
0-7695-2284-X
DOI :
10.1109/ICECCS.2005.14
