Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abadi, M., Cardelli, L.: A Theory of Objects. Springer, Heidelberg (1996)
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)
Bourdeau, R.H., Cheng, B.H.C.: A formal semantics for object model diagrams. IEEE Trans. Soft. Eng. 21(10), 799–821 (1995)
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)
Cook, S., Daniels, J.: Designing Object Systems. Prentice-Hall, Englewood Cliffs (1994)
D’Souza, D.F., Wills, A.C.: Objects, Components, and Frameworks with UML: The Catalysis Approach. Addison-Wesley, Reading (1998)
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)
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)
Helm, R., Holland, I.M., Gangopadhay, D.: Contracts — Specifying behavioural compositions in OO systems. Sigplan Notices 25(10) (Proc. ECOOP/OOPSLA 1990)
Küster Filipe, J.: Fundamentals of a module logic for distributed object systems. J. Functional and Logic Programming 2000(3) (2000)
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)
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)
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)
Loogen, R., Goltz, U.: Modelling nondeterministic concurrent processes with event structures. Fundamenta Informaticae XIV(1), 39–73 (1991)
Mauth, R.: A better foundation: development frameworks let you build an application with reusable objects. BYTE 21(9), 10–13 (1996)
Maude home page, http://maude.csl.sri.com/
Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science 96, 73–155 (1992)
Pooley, R., Stevens, P.: Using UML: Software Engineering with Objects and Components. Addison-Wesley, Reading (1999)
Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Sorenson, W.: Object- Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs (1991)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Küster Filipe, J., Lau, KK., Ornaghi, M., Yatsu, H. (2000). On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic. In: Bossi, A. (eds) Logic-Based Program Synthesis and Transformation. LOPSTR 1999. Lecture Notes in Computer Science, vol 1817. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10720327_4
Download citation
DOI: https://doi.org/10.1007/10720327_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67628-7
Online ISBN: 978-3-540-45148-8
eBook Packages: Springer Book Archive