M.E.R.O.DE.: a model-driven entity-relationship object-oriented Development method

ABSTRACT

Object Orientation has as primary goal to improve the software construction process. Object Oriented analysis, design and software construction should yield software of a high quality: software that is reliable, maintainable, extensible, adaptable. However, delivering large OO software systems in a qualitative way is a significant challenge. Scaling up requires formal precision of the semantics of the modelling techniques and languages used by the development team. And when the target system contains an abundance of parallelism, the problem of validation becomes unfeasible if it is not supported by formal techniques. With the incorporation of formal techniques in the development process, we can expect significant benefits in terms of software quality.For this reason, one might expect a high level of formality in current OOAD methods [9]. Unfortunately, most current OOAD methods are characterised by a low level of formality. The M.E.R.O.DE. methodology addresses this void. By making use of algebra, the methodology has been provided with a formal basis at several levels with a significant improvement of the quality of the software development process as a result.Before presenting M.E.R.O.DE. to the reader in the second section, the first section motivates the development of still another OOA method. The final section demonstrates how exactly the formal definition of M.E.R.O.DE. results in a gain of quality at the software specification level.

REFERENCES

• 1: Alfred V. Aho , Jeffrey D. Ullman, The theory of parsing, translation, and compiling, Prentice-Hall, Inc., Upper Saddle River, NJ, 1972
• 2: G Booch, Object-oriented development, IEEE Transactions on Software Engineering, v.12 n.2, p.211-221, Feb. 1986
• 3: Grady Booch, Object oriented design with applications, Benjamin-Cummings Publishing Co., Inc., Redwood City, CA, 1990
• 4: Peter Pin-Shan Chen, The entity-relationship model—toward a unified view of data, ACM Transactions on Database Systems (TODS), v.1 n.1, p.9-36, March 1976 [doi>10.1145/320434.320440]
• 5: Peter P. S. Chen , Robert M. Curtice , Lyrl Ahern, Entity-Relationship Approach to Logical Data Base Design, John Wiley & Sons, Inc., New York, NY, 1991
• 6: Peter Coad , Edward Yourdon, Object-oriented analysis (2nd ed.), Yourdon Press, Upper Saddle River, NJ, 1991
• 7: Derek Coleman , Fiona Hayes , Stephen Bear, Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design, IEEE Transactions on Software Engineering, v.18 n.1, p.9-18, January 1992 [doi>10.1109/32.163607]
• 8: Alan M. Davis, A comparison of techniques for the specification of external system behavior, Communications of the ACM, v.31 n.9, p.1098-1115, Sept. 1988 [doi>10.1145/48529.48534]
• 9: Pierre America , Derek Coleman , Roger Duke , Doug Lea , Gary Leavens, Formal techniques for OO software development, Conference proceedings on Object-oriented programming systems, languages, and applications, p.166-170, October 06-11, 1991, Phoenix, Arizona, United States
• 10: [10] G. Dedene, A practical approach to Consistent Object Oriented Business Modeling, in Habrias H. (ed.), 5th Internationl Conference on: Putting into Practice Methods and Tools for Information System Design, Nantes, September 1992, pp. 175-186.
• 11: [11] G. Dedene, Model-driven object-oriented development by examples (M.E.R.O.DE.), Object technology '93 conference, Cambridge (Uk), 30 march-1 april, 1993.
• 12: David W. Embley , Barry D. Kurtz , Scott N. Woodfield, Object-oriented systems analysis: a model-driven approach, Yourdon Press, Upper Saddle River, NJ, 1991
• 13: David Harel, On visual formalisms, Communications of the ACM, v.31 n.5, p.514-530, May 1988 [doi>10.1145/42411.42414]
• 14: Fiona Hayes , Derek Coleman, Coherent models for object-oriented analysis, Conference proceedings on Object-oriented programming systems, languages, and applications, p.171-183, October 06-11, 1991, Phoenix, Arizona, United States
• 15: M. A Jackson, System development (Prentice-Hall International series in computer science), Prentice-Hall, Inc., Upper Saddle River, NJ, 1983
• 16: [16] G. Kappel, M. Schrefl, Using an object-oriented diagram technique for the design of information systems, in H.G. Sol and K.M. van Hee (eds.), Dynamic Modeling of Information Systems, Eslevier Science Publishers B.V., North Holland, 1991, pp. 121-164.
• 17: Neil Lang, Schlaer-Mellor object-oriented analysis rules, ACM SIGSOFT Software Engineering Notes, v.18 n.1, p.54-58, Jan. 1993 [doi>10.1145/157397.157404]
• 18: Bertrand Meyer, Object-Oriented Software Construction, Prentice-Hall, Inc., Upper Saddle River, NJ, 1988
• 19: David E. Monarchi , Gretchen I. Puhr, A research typology for object-oriented analysis and design, Communications of the ACM, v.35 n.9, p.35-47, Sept. 1992 [doi>10.1145/130994.130995]
• 20: Peter A. Ng , J. F. Paul, A Formal Definition of Entity-Relationship Models, Proceedings of the 1st International Conference on the Entity-Relationship Approach to Systems Analysis and Design, p.211-230, January 1980
• 21: James Lyle Peterson, Petri Net Theory and the Modeling of Systems, Prentice Hall PTR, Upper Saddle River, NJ, 1981
• 22: James Rumbaugh , Michael Blaha , William Premerlani , Frederick Eddy , William Lorensen, Object-oriented modeling and design, Prentice-Hall, Inc., Upper Saddle River, NJ, 1991
• 23: Sally Shlaer , Stephen J. Mellor, Object-oriented systems analysis: modeling the world in data, Yourdon Press, Upper Saddle River, NJ, 1988
• 24: Sally Shlaer , Stephen J. Mellor, Object lifecycles: modeling the world in states, Yourdon Press, Upper Saddle River, NJ, 1992
• 25: [25] M. Snoeck Defining a Process Algebra for detecting deadlocks in M.E.R.O.DE. specifications, Department of Applied Economic Sciences, Katholieke Universiteit Leuven, research report 9303, 1993 (in Dutch).
• 26: [26] M. Snoeck, A Formalism for Object Behaviour, Department of Applied Economic Sciences, K.U. Leuven, research report 9321, 1993.
• 27: J. F. Sowa , J. A. Zachman, Extending and formalizing the framework for information systems architecture, IBM Systems Journal, v.31 n.3, p.590-616, 1992
• 28: [28] M. Verhelst, Objectgerichte Systeemontwikkeling: een Praktische aanpak met JSD en M.E.R.O.DE., Kluwer, Deventer, 1992, 334 pp. (an English version from the same author is to be published).
• 29: Rebecca Wirfs-Brock , Brian Wilkerson , Lauren Wiener, Designing object-oriented software, Prentice-Hall, Inc., Upper Saddle River, NJ, 1990
• 30: John A. Zachman, A framework for information systems architecture, IBM Systems Journal, v.26 n.3, p.276-292, 1987

INDEX TERMS

Primary Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES

Additional Classification:
  K. Computing Milieux
  K.6 MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS
      K.6.3 Software Management
          Subjects: Software development

General Terms:
Design, Management, Performance, Theory