|Title||On Dynamic Aspects of OOD Frameworks in Component-based Software Development in Computational Logic|
|Publication Type||Conference Proceedings|
|Year of Conference||2000|
|Authors||Küster Filipe, J., K. - K. Lau, M. Ornaghi, and H. Yatsu|
|Conference Name||Proceedings of the 9th International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'99), Venice, 22-24 September 1999, Selected papers|
|Publisher||Springer-Verlag, LNCS 1817|
In component-based software development, object-oriented design (OOD) frameworks are increasingly recognised as better units of reuse than objects. This is because OOD frameworks are groups of interacting objects, and as such they can better reflect practical systems in which objects tend to have more than one role in more than one context. In an earlier paper, we described a formal semantics of the static aspects of OOD frameworks in computational logic. In this paper, we make a preliminary attempt to extend this to the dynamic aspects.