DocumentCode
2439694
Title
A logical framework for design composition
Author
Dong, Jing
Author_Institution
Dept. of Comput. Sci., Waterloo Univ., Ont., Canada
fYear
2000
fDate
2000
Firstpage
698
Lastpage
700
Abstract
The design of a large component based software system typically involves the composition of different components. The lack of rigorous reasoning about the correctness of composition is an important barrier towards the promise of “plug and play”. The author describes a rigorous logic framework to reason about component compositions. We focus our analysis on design components such as design patterns, which have been used by a large number of applications. We also propose methods to verify structural and behavioral composition correctness
Keywords
object-oriented programming; program verification; type theory; behavioral composition correctness; component based software system; component compositions; correctness; design components; design composition; design patterns; logical framework; plug and play; rigorous logic framework; rigorous reasoning; Application software; Assembly systems; Computer science; Logic; Pattern analysis; Permission; Programming; Software engineering; Software reusability; Software systems;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering, 2000. Proceedings of the 2000 International Conference on
Conference_Location
Limerick
ISSN
0270-5257
Print_ISBN
1-58113-206-9
Type
conf
DOI
10.1109/ICSE.2000.870472
Filename
870472
Link To Document