Title :
A logical framework for design composition
Author_Institution :
Dept. of Comput. Sci., Waterloo Univ., Ont., Canada
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;
Conference_Titel :
Software Engineering, 2000. Proceedings of the 2000 International Conference on
Conference_Location :
Limerick
Print_ISBN :
1-58113-206-9
DOI :
10.1109/ICSE.2000.870472
