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

  • Juliana Küster Filipe
  • Kung-Kiu Lau
  • Mario Ornaghi
  • Hirokazu Yatsu
Part of the Lecture Notes in Computer Science book series (LNCS, volume 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.


Dynamic Aspect Temporal Constraint System Language Open Framework Computational Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abadi, M., Cardelli, L.: A Theory of Objects. Springer, Heidelberg (1996)zbMATHGoogle Scholar
  2. 2.
    Bertoni, A., Mauri, G., Miglioli, P.: On the power of model theory in specifying abstract data types and in capturing their recursiveness. Fundamenta Informaticae VI(2), 127–170 (1983)MathSciNetGoogle Scholar
  3. 3.
    Bourdeau, R.H., Cheng, B.H.C.: A formal semantics for object model diagrams. IEEE Trans. Soft. Eng. 21(10), 799–821 (1995)CrossRefGoogle Scholar
  4. 4.
    Coleman, D., Arnold, P., Bodoff, S., Dollin, C., Gilchrist, H., Hayes, F., Jeremaes, P.: Object-Oriented Development: The Fusion Method. Prentice-Hall, Englewood Cliffs (1994)Google Scholar
  5. 5.
    Cook, S., Daniels, J.: Designing Object Systems. Prentice-Hall, Englewood Cliffs (1994)zbMATHGoogle Scholar
  6. 6.
    D’Souza, D.F., Wills, A.C.: Objects, Components, and Frameworks with UML: The Catalysis Approach. Addison-Wesley, Reading (1998)Google Scholar
  7. 7.
    Ehrich, H.-D., Caleiro, C., Sernadas, A., Denker, G.: Logics for specifying concurrent information systems. In: Saake, G., Chomicki, J. (eds.) Logics for Databases and Information Systems, pp. 167–198. Kluwer Academic Publishers, Dordrecht (1998)Google Scholar
  8. 8.
    Grau, A., Küster Filipe, J., Kowsari, M., Eckstein, S., Pinger, R., Ehrich, H.-D.: The troll approach to conceptual modelling: Syntax, semantics, and tools. In: Ling, T.-W., Ram, S., Li Lee, M. (eds.) ER 1998. LNCS, vol. 1507, pp. 277–290. Springer, Heidelberg (1998)Google Scholar
  9. 9.
    Helm, R., Holland, I.M., Gangopadhay, D.: Contracts — Specifying behavioural compositions in OO systems. Sigplan Notices 25(10) (Proc. ECOOP/OOPSLA 1990)Google Scholar
  10. 10.
    Küster Filipe, J.: Fundamentals of a module logic for distributed object systems. J. Functional and Logic Programming 2000(3) (2000)Google Scholar
  11. 11.
    Lau, K.-K., Ornaghi, M.: Isoinitial models for logic programs: A preliminary study. In: Freire-Nistal, J.L., Falaschi, M., Vilares-Ferro, M. (eds.) Proceedings of the 1998 Joint Conference on Declarative Programming, A Coruña, Spain, July 1998, pp. 443–455 (1998)Google Scholar
  12. 12.
    Lau, K.-K., Ornaghi, M.: On specification and correctness of OOD frameworks in computational logic. In: Brogi, A., Hill, P. (eds.) Proc. 1st Int. Workshop on Component-based Software Development in Computational Logic, Pisa, Italy, September 1998, pp. 59–75 (1998)Google Scholar
  13. 13.
    Lau, K.-K., Ornaghi, M.: OOD frameworks in component-based software - development in computational logic. In: Flener, P. (ed.) LOPSTR 1998. LNCS, vol. 1559, pp. 101–123. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  14. 14.
    Loogen, R., Goltz, U.: Modelling nondeterministic concurrent processes with event structures. Fundamenta Informaticae XIV(1), 39–73 (1991)MathSciNetGoogle Scholar
  15. 15.
    Mauth, R.: A better foundation: development frameworks let you build an application with reusable objects. BYTE 21(9), 10–13 (1996)Google Scholar
  16. 16.
    Maude home page,
  17. 17.
    Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science 96, 73–155 (1992)zbMATHCrossRefMathSciNetGoogle Scholar
  18. 18.
    Pooley, R., Stevens, P.: Using UML: Software Engineering with Objects and Components. Addison-Wesley, Reading (1999)Google Scholar
  19. 19.
    Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Sorenson, W.: Object- Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs (1991)Google Scholar
  20. 20.
    Winskel, G.: Event structures. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. Part II, LNCS, vol. 255, pp. 325–392. Springer, Heidelberg (1987)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Juliana Küster Filipe
    • 1
  • Kung-Kiu Lau
    • 2
  • Mario Ornaghi
    • 3
  • Hirokazu Yatsu
    • 4
  1. 1.Abt. Informationssysteme, InformatikTechnische Universität BraunschweigBraunschweigGermany
  2. 2.Department of Computer ScienceUniversity of ManchesterManchesterUnited Kingdom
  3. 3.Dipartimento di Scienze dell’InformazioneUniversita’ degli studi di MilanoMilanoItaly
  4. 4.Information Technologies & Services Division, Technologies Research & Development, Nihon Unisys Ltd.TokyoJapan

Personalised recommendations