Abstract
Modeling languages such as UML offer a set of basic models to describe a software system from different views and at different levels of abstraction. Tools supporting an unrestricted usage of these UML models cannot guarantee the consistency between multiple models/views, due to the lack of a formal definition of the semantics of UML diagrams. A better alternative that does allow for automatic consistency checking is modeling according to the single model principle. This approach is based on the conception of a single model, for which different views are constructed, and with an automatic or semi-automatic generation or consistency checking among these views. Three basic approaches to consistency checking are consistency by analysis, consistency by monitoring and consistency by construction. In this paper we illustrate the consistency by construction approach by means of the conceptual domain modeling approach MERODE and its associated case-tool MERMAID. We also illustrate how consistency by construction improves the validity and completeness of the conceptual model.
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.
Similar content being viewed by others
References
Lindland, O.I., Sindre, G., Sølvberg, A.: Understanding Quality in Conceptual Modeling. IEEE Software, 42–49 (March 1994)
UML, OMG, http://www.omg.org/UML
Paige, R., Ostrof, J.: The Single Model Principle. Journal of Object Technology 1(5), 63–81 (2002), http://www.jot.fm/issues/issue_2002_11/column6
Snoeck, M., Dedene, G.: Existence Dependency: The key to semantic integrity between structural and behavioral aspects of object types. IEEE Transactions on Software Engineering, 24 (24), 233–251
Snoeck, M., Dedene, G., Verhelst, M., Depuydt, A.M.: Object-oriented Enterprise Modelling with MERODE. Leuven University Press, Leuven (1999)
Jackson, M., Cameron, J.: System Development. Prentice-Hall, Englewood Cliffs (1983)
Chen, P.P.: The Entity Relationship Approach to logical Database Design. QED information sciences, Wellesley, Mass. (1977)
Cook, S., Daniels, J.: Designing object systems: object-oriented modelling with Syntropy. Prentice-Hall, Englewood Cliffs (1994)
Schuette, R., Rotthowe, T.: The Guidelines of Modeling – An Approach to Enhance the Quality in Information Models. In: Ling, T.-W., Ram, S., Li Lee, M. (eds.) ER 1998. LNCS, vol. 1507, pp. 240–254. Springer, Heidelberg (1998)
Moody, D.L., Shanks, G.G., Darke, P.: Improving the Quality of Entity Relationship Models – Experience in Research and Practice. In: Ling, T.-W., Ram, S., Li Lee, M. (eds.) ER 1998. LNCS, vol. 1507, pp. 255–276. Springer, Heidelberg (1998)
pUML. The precise UML group, http://www.cs.york.ac.uk/puml/
Kuzniarz, L., Reggio, G., Sourrouille, J.L., Huzar, Z.: Workshop on Consistency Problems in UML-based software development, Workshop Materials, Research Report 2002:06, Blekinge Institute of Technology, Ronneby, Workshop at the UML, Conference, online (2002), at http://www.ipd.bth.se/consistencyUML/
Evans, R., France, K., Lano, B.: Developping the UML as a Formal Modelling Notation. In: Muller, P.A., Bézivin, J. (eds.) UML 1998 Beyond the notation; International Workshop, Mulhouse, France (1998)
Rumpe: A note on Semantics (with an emphasis on UML). In: Kilov, H., Rumpe, B. (eds.) Second ECOOP Workshop on Precise Behavioural Semantics, Technische Universität München, TUM–I9813 (1998)
Saksena, M., France, R.B., Larrondo-Petrie, M.M.: A characterization of Aggregation. In: Proceedings of the International Conference on Object Oriented Information Systems, Paris, September 9-11 (1998)
Brunet, J.: An enhanced definition of Composition and its use for Abstration. In: Proceedings of the International Conference on Object Oriented Information Systems, Paris, September 9-11 (1998)
Bourdeau, R.H., Cheng, B.H.C.: A formal semantics for object model diagrams. IEEE Transactions on Software Engineering 21(10), 799–821 (1995)
Bruel, J.M., Lilius, J., Moreira, A., France, R.B.: Defining Precise Semantics for UML. In: Malenfant, J., Moisan, S., Moreira, A.M.D. (eds.) ECOOP 2000 Workshops. LNCS, vol. 1964, pp. 113–122. Springer, Heidelberg (2000)
Snoeck, M., Dedene, G.: Generalisation/Specilisation and Role in object-oriented conceptual modelling. Data and Knowledge Engineering 19(2) (1996)
Grand, L.: Specialisation of Object Lifecycles. In: Proceedings of the International Conference on Object Oriented Information Systems, Paris, September 9-11 (1998)
Cheung, K.S., Chow, K.O., Cheung, T.Y.: Consistency analysis on lifecycle model and interaction model. In: Proceedings of the International Conference on Object Oriented Information Systems, Paris, September 9-11 (1998)
OMG. XML Metadata Interchange, http://www.omg.org/technology/documents/formal/xmi.htm
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Snoeck, M., Michiels, C., Dedene, G. (2003). Consistency by Construction: The Case of MERODE. In: Jeusfeld, M.A., Pastor, Ó. (eds) Conceptual Modeling for Novel Application Domains. ER 2003. Lecture Notes in Computer Science, vol 2814. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39597-3_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-39597-3_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20257-8
Online ISBN: 978-3-540-39597-3
eBook Packages: Springer Book Archive