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 this paper, we show how to formally specify OOD frameworks, and briefly discuss their implementation and configuration management.
The second author was supported by the DFG under Eh 75/11-2 and partially by the EU under ESPRIT-IV WG 22704 ASPIRE.
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. and Cardelli, L. A Theory of Objects. Springer-Verlag, 1996.
Asklund, U., Bendix, L., Cristensen, H. B., and Magnusson, B. The unified extensional versioning model. In J. Estublier, (ed.), Proc. System Configuration Management SCM-9, Springer, 1999, pp. 17–33.
Bertoni, A., Mauri, G., and Miglioli, P. On the power of model theory in specifying abstract data types and in capturing their recursiveness. Fundamenta Info rmaticae, VI (2), 1983, pp. 127–170.
Bourdeau, R. H. and Cheng, B. H. C. A formal semantics for object model diagrams. IEEE Trans. Soft. Eng., 21 (10), 1995, pp. 799–821.
Box, D. Essential COM. Addison-Wesely, 1998.
Coleman, D., Arnold, P., Bodoff, S., Dollin, C., Gilchrist, H., Hayes, F., and Jeremaes, P. Object-Oriented Development: The Fusion Method. Prentice-Hall, 1994.
Conradi, R. and Westfechtel, B. Version models for software configuration management. ACM Computing Surveys, 30 (2), 1998, pp. 232–282.
Cook, S. and Daniels, J. Designing Object Systems. Prentice-Hall, 1994.
Cmkovic, I. Experience with change oriented SCM Tools. In R. Conradi, (ed.), Proc. Software Configuration Management SCM-7, Springer, 1997, pp. 222–234.
D’Souza, D. F. and Wills, A. C. Objects, Components, and Frameworks with UML• The Catalysis Approach. Addison- Wesley, 1999.
Grau, A., Küster Filipe, J., Kowsari, M., Eckstein, S., Pinger, R. and Ehrich, H.-D. The TROLL approach to conceptual modelling: syntax, semantics and tools. In T.W. Ling, S. Ram and M.L. Leebook, (eds.), Proc. 17th Int. Conference on Conceptual Modeling, LNCS, 1507, Springer, 1998, pp. 277–290.
Helm, R., Holland, I. M., and Gangopadhay, D. Contracts - Specifying behavioural compositions in 00 systems. Sigplan Notices, 25(10) (Proc. ECOOP/OOPSLA 90), 1990.
Küster Filipe, J. Fundamentals of a module logic for distributed object systems. J. Functional and Logic Programming, 2000 (3), 2000.
Larsson, M. and Crnkovic, I. New challenges for configuration management. In J. Estublier, (ed.), Proc. System Configuration Management SCM-9, Springer, 1999, pp. 232–243.
Lau, K.-K., Liu, S., Ornaghi, M., and Wills, A. Interacting frameworks in Catalysis. In J. Staples, M. Hinchey and S. Liu, (eds.), Proc. Second IEEE Int. Conf. on Formal Engineering Methods, IEEE Computer Society Press, 1998, pp. 110–119.
Lau, K-K. and Omaghi, M. Isoinitial models for logic programs: A preliminary study. In J.L. Freire-Nistal, M. Falaschi, and M. Vilares-Ferro, (eds.), Proceedings of the 1998 Joint Conference on Declarative Programming, A Coruna, Spain, 1998, pp. 443–455.
Lau, K.-K. and Ornaghi, M. On specification and correctness of OOD frameworks in computational logic. In A. Brogi and P. Hill, (eds.), Proc. 1st Int. Workshop on Component-based Software Development in Computational Logic, September 1998, Pisa, Italy, pp. 59–75.
Lau, K.-K. and Omaghi, M. OOD frameworks in component-based software development in computational logic. In P. Flener, (ed.), Proc. LOPSTR’98, LNCS, 1559, Springer-Verlag, 1998, pp. 101–123.
Loogen, R. and Goltz, U. Modelling nondeterministic concurrent processes with event structures. Fundamenta Informaticae, XIV (1), 1991, pp. 39–73.
Mauth, R. A better foundation: development frameworks let you build an application with reusable objects. BYTE, 21(9): 401S, 1996.pp. 10–13.
Pooley, R. and Stevens, P. Using UML’ Software Engineering with Objects and Components. Addison-Wesley, 1999.
Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., and Sorenson, W. Object-Oriented Modeling and Design. Prentice-Hall, 1991.
Vaandrager, F. W. A simple definition for parallel composition of prime event structures. Technical Report CS-R8903, Centre for Mathematics and Computer Science, P.O. Box 4079, 1009 AB Amsterdam, The Netherlands, 1989.
Winskel, G. and Nielsen, M. Models for concurrency. In S. Abramsky, D. M. Gabbay, and T.S.E. Maibaum, (eds.), Handbook of Logic in Computer Science, 4, Semantic Modelling, Oxford Science Publications, 1995, pp. 1–148.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Crnkovic, I., Filipe, J.K., Larsson, M., Lau, KK. (2001). Object-Oriented Design Frameworks: Formal Specification and Some Implementation Issues. In: Barzdins, J., Caplinskas, A. (eds) Databases and Information Systems. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-9636-7_19
Download citation
DOI: https://doi.org/10.1007/978-94-015-9636-7_19
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5657-3
Online ISBN: 978-94-015-9636-7
eBook Packages: Springer Book Archive