On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic

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.

[1]  Chris Dollin,et al.  Object-oriented development: the fusion method , 1994 .

[2]  Juliana Küster Filipe.  Fundamentals of Module Logic for Distributed Object Systems. , 2000 .

[3]  Betty H. C. Cheng,et al.  A Formal Semantics for Object Model Diagrams , 1995, IEEE Trans. Software Eng..

[4]  Juliana Küster Filipe Bowles,et al.  The TROLL Approach to Conceptual Modeling: Syntax, Semantics and Tools , 1998, ER.

[5]  Rita Loogen,et al.  Modelling nondeterministic concurrent processes with event structures , 1991, Fundam. Informaticae.

[6]  Martín Abadi,et al.  A Theory of Objects , 1996, Monographs in Computer Science.

[7]  Kung-Kiu Lau,et al.  Isoinitial Models for Logic Programs: A Preliminary Study , 1998, APPIA-GULP-PRODE.

[8]  Glynn Winskel,et al.  Event Structures , 1986, Advances in Petri Nets.

[9]  Kung-Kiu Lau,et al.  OOD Frameworks in Component-Based Software - Development in Computational Logic , 1998, LOPSTR.

[10]  Desmond D'Souza,et al.  Objects, Components, and Frameworks with UML: The Catalysis Approach , 1998 .

[11]  Kung-Kiu Lau,et al.  Frameworks in Catalysis: pictorial notation and formal semantics , 1997, First IEEE International Conference on Formal Engineering Methods.

[12]  Amílcar Sernadas,et al.  Logics for Specifying Concurrent Information Systems , 1998, Logics for Databases and Information Systems.

[13]  Alberto Bertoni,et al.  On the power of model theory in specifying abstract data types and in capturing their recursiveness , 1983 .

[14]  John Daniels,et al.  Designing Object Systems , 1994 .

[15]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[16]  Mogens Nielsen,et al.  Models for Concurrency , 1992 .

[17]  Shaoying Liu,et al.  Interacting frameworks in Catalysis , 1998, Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241).

[18]  José Meseguer,et al.  Conditioned Rewriting Logic as a United Model of Concurrency , 1992, Theor. Comput. Sci..