Generalization/specialization and role in object oriented conceptual modeling

Data and Knowledge Engineering

Volumn 19, Issue 1, 1996, Pages 171-195

  Snoeck, Monique ^a   Dedene, Guido ^a  

^a UNIVERSITY OF LEUVEN   (Belgium)

Author keywords

Formal specifications; Generalization specialization; Inheritance; Object oriented modeling methods; Process algebra; Roles

Indexed keywords

BOOLEAN ALGEBRA; COMPUTATIONAL COMPLEXITY; COMPUTER AIDED ANALYSIS; COMPUTER SIMULATION; DATA STRUCTURES; HIERARCHICAL SYSTEMS; OBJECT ORIENTED PROGRAMMING; REDUNDANCY;

ATTRIBUTE SHARING; BEHAVIOR SHARING; DECISION CRITERIA; FORMAL SPECIFICATIONS; FORMAL TAXONOMY; GENERALIZATION SPECIALIZATION HIERARCHY; OBJECT ORIENTED MODELING; PROCESS ALGEBRA; SUBSET HIERARCHY; UNIVERSAL SUBSTITUTABILITY;

DATABASE SYSTEMS;

EID: 0030169742     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/0169-023x(95)00044-s     Document Type: Article

References (25)

1. J.M. Armstrong and R.E. Mitchell, Uses and abuses of inheritance, Software Engineering J. (January 1994) 19-26.
2. J.C.M. Baeten, Procesalgebra (Kluwer programmatuurkunde, 1986).
3. G. Booch, Object Oriented Analysis and Design with Applications, 2nd edition (Benjamin/Cummings, Redwood City, CA, 1994).
4. M.L. Brodie and D. Ridjanovic, On the design and specification of database transactions, in: M.L. Brodie, J. Mylopoulos and J.W. Smith, eds., On Conceptual Modeling (Springer Verlag, New York, 1984) 277-306.
5. P.P. Chen, The Entity Relationship approach to logical database design, QED information sciences Wellesley, Mass, 1977.
6. P. Coad and E. Yourdon, Object-Oriented Analysis (Prentice Hall, Englewood Cliffs, N.J., 1991).
7. G. Dedene and M. Snoeck, Formal deadlock elimination in an object oriented conceptual schema, Data and Knowledge Engrg. 15 (1995) 1-30.
8. D.W. Embley, B.D. Kurtz and S.N. Woodfield, Object-Oriented Systems Analysis: A Model-Driven Approach (Yourdon Press, Prentice Hall, Englewood Cliffs, 1992).
9. L.J.B. Essink and W.J. Erhart, Object modelling and system dynamics in the conceptualization stages of information systems development, in: F. Van Assche, B. Moulin and C. Rolland, eds., Object Oriented Approach in Information Systems, Proc. IFIP TC8/WG8.1 Working Conference on the Object Oriented Approach in Information Systems, Quebec City, Canada, 28-31 October, 1991 (North Holland, 1991) 89-116.
10. M. Hammer and D. McLeod, Database Description with SDM: A Semantic Database Model, ACM Trans. Database Systems 6(3) (September 1981) 351-386.
11. C.A.R. Hoare, Communicating Sequential Processes (Prentice-Hall International, Series in Computer Science, 1985).
12. John E. Hopcroft, Jeffrey D. Ullman, Formal languages and their relation to automata (Addison Wesley Publishing Company, 1969).
13. M.A. Jackson and J.R. Cameron, System Development (Prentice Hall, Englewood Cliffs, NJ, 1983).
14. Ivar Jacobson et al., Object-Oriented Software Engineering: A Use Case Driven Approach (Addison-Wesley Publishing Company, Mass, 1994).
15. B. Meyer, Object Oriented Software Construction (Prentice Hall International, 1988).
16. R. Milner, A Calculus of Communicating Systems (Springer Berlin, Lecture Notes in Computer Science, 1980).
17. T.W. Olle, Comparative review of information systems design methodologies - stage 1: Taking stock, in T.W. Olle, H.G. Sol and A.A. Varrijn-Stuart, eds., Information Systems Design Methodologies: a comparative review, Proc. IFIP WG8.1 Working Conference on Comparative Review of Information Systems Design Methodologies, Noorderwijkhout, The Netherlands, 10-14 May, 1982 (North-Holland, 1983) 1-14.
18. B. Pernici, Objects with roles, Proc. Conf. on Office Information Systems, SIGOIS Bulletin 11 (2/3) (1990) 205-215.
19. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy and W. Lorensen, Object Oriented Modeling and Design (Prentice Hall International, Englewood Cliffs, NJ, 1991).
20. C. Sernadas, P. Resende, P. Gouveia and A. Sernadas, In-the-large object-oriented design of Information Systems, in: F. Van Assche, B. Moulin and C. Rolland, eds., Object Oriented Approach in Information Systems, Proc. IFIP TC8/WG8.1 Working Conference on the Object Oriented Approach in Information Systems, Quebec City, Canada, 28-31 October, 1991 (North Holland, 1991) 209-232.
21. S. Shlaer and S.J. Mellor, Object-Oriented Systems Analysis: Modeling the World in Data (Prentice Hall, Englewood Cliffs, NJ, 1988).
22. S. Shlaer and S.J. Mellor, Object Lifecycles: Modeling the World in States (Prentice Hall, Englewood Cliffs, NJ, 1992).
23. Snoeck Monique, On a process algebra approach to the construction and analysis of M.E.R.O.D.E.-based conceptual models, Ph.D. Dissertation (Katholieke Universiteit Leuven, Faculty of Science & Department of Computer Science, May 1995).
24. ter Hofstede A.H.M., Information modeling in data intensive domains, Ph.D. Dissertation, Katholieke Universiteit Nijmegen, September 1993).
25. Vanthienen Jan, Knowledge Acquisition and validation using a decision table engineering workbench, Proc. World Congress on Expert Systems, Dec. 16-19, Orlando (Florida) (Pergamon Press, 1991) 1861-1868.