DocumentCode
3549511
Title
A strategy for component-based modeling and refinement
Author
Liu, Jing ; Miao, Huaikou
Author_Institution
Sch. of Comput. Sci. & Technol., Shanghai Univ., China
fYear
2005
fDate
16-20 June 2005
Firstpage
26
Lastpage
27
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Engineering of Complex Computer Systems, 2005. ICECCS 2005. Proceedings. 10th IEEE International Conference on
Print_ISBN
0-7695-2284-X
Type
conf
DOI
10.1109/ICECCS.2005.14
Filename
1467880
Link To Document