Skip to main content
SpringerLink
Log in

Conceptual Normalisation in Software Engineering

  • Conference paper
  • First Online:
Enterprise and Organizational Modeling and Simulation (EOMAS 2019)

Part of the book series: Lecture Notes in Business Information Processing ((LNBIP,volume 366))

Included in the following conference series:

Abstract

This article argues the necessity of conceptual normalisation in software engineering and data development. Moreover, it aims to put a basis for formal definitions of conceptual normal forms. The Author’s approach is ontologically based exploiting an axiom of non-redundancy of the Real World. Further, the Author also shows how relational and object normalisation are connected with a conceptual one. In the end, the Author argues for herein proposed ideas and definitions.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Molhanec, M.: A contribution to user interface modelling based on graph transformations approach. In: Proceedings of the International Workshop on Enterprises & Organizational Modeling and Simulation, p. 14 (2009)

    Google Scholar 

  2. Molhanec, M.: Towards the conceptual normalisation. In: Proceedings of the 6th International Workshop on Enterprise & Organizational Modeling and Simulation, pp. 133–141 (2010)

    Google Scholar 

  3. Molhanec, M.: Conceptual normalisation formalised. In: Barjis, J., Eldabi, T., Gupta, A. (eds.) EOMAS 2011. LNBIP, vol. 88, pp. 159–172. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-24175-8_12

    Chapter  Google Scholar 

  4. Molhanec, M.: Some reasoning behind conceptual normalisation. In: Pokorny, J., Repa, V., Richta, K., Wojtkowski, W., Linger, H., Barry, C., Lang, M. (eds.) Information Systems Development, pp. 517–525. Springer, New York (2011). https://doi.org/10.1007/978-1-4419-9790-6_41

    Chapter  Google Scholar 

  5. Molhanec, M.: Úvod do konceptuální normalizace. In: Tvorba softvare 2010, Ostrava, pp. 141–149 (2010)

    Google Scholar 

  6. Molhanec, M.: Krátká úvaha o normalizaci. In: Objekty 2009, Hradec Králové, pp. 149–160 (2009)

    Google Scholar 

  7. Molhanec, M.: Ontologické základy konceptuální normalizace. In: Objekty 2006, Ostrava, pp. 81–90 (2006)

    Google Scholar 

  8. Codd, E.F.: A relational model of data for large shared data banks. Commun. ACM 13(6), 377–387 (1970)

    Article  Google Scholar 

  9. Codd, E.F.: Further normalization of the data base relational model. Data Base Syst. 33–64 (1972)

    Google Scholar 

  10. Codd, E.F.: Recent investigations into relational data base systems, IBM Research Report RJ1385, 23rd April 1974

    Google Scholar 

  11. Chen, P.P.-S.: The entity-relationship model—toward a unified view of data. ACM Trans. Database Syst. TODS 1(1), 9–36 (1976)

    Article  MathSciNet  Google Scholar 

  12. Benci, E., Bodart, F., Bogaert, H., Cabanes, A.: Concepts for the design of a conceptual schema. In: IFIP Working Conference on Modelling in Data Base Management Systems, pp. 181–200 (1976)

    Google Scholar 

  13. Halpin, T.A.: What is an elementary fact? In: Proceedings of First NIAM-ISDM Conference (1993)

    Google Scholar 

  14. Pícka, M., Pergl, R.: Gradual Modeling of Information System

    Google Scholar 

  15. Ambler, S.W.: Building Object Applications that Work. Cambridge University Press, New York (1997)

    Book  Google Scholar 

  16. Nootenboom, H.J.: Nuts - an online column about software design

    Google Scholar 

  17. Yonghui, W.: Research on normalization design for complex object schemes. In: 2001 International Conferences on Info-Tech and Info-Net. Proceedings (Cat. No. 01EX479), vol. 3, pp. 355–360 (2001)

    Google Scholar 

  18. Tari, Z., Stokes, J., Spaccapietra, S.: Object normal forms and dependency constraints for object-oriented schemata. ACM Trans. Database Syst. TODS 22(4), 513–569 (1997)

    Article  Google Scholar 

  19. Khodorkovsky, V.V.: On normalization of relations in databases. Program. Comput. Softw. 28(1), 41–52 (2002)

    Article  MathSciNet  Google Scholar 

  20. Molhanec, M., Merunka, V.: Object normalization as the contribution to the area of formal methods of object-oriented database design. In: Sobh, T. (ed.) Advances in Computer and Information Sciences and Engineering, pp. 100–104. Springer, Dordrecht (2007). https://doi.org/10.1007/978-1-4020-8741-7_55

    Chapter  Google Scholar 

  21. de Carvalho, V.A., Almeida, J.P.A., Guizzardi, G.: Using reference domain ontologies to define the real-world semantics of domain-specific languages. In: Jarke, M., Mylopoulos, J., Quix, C., Rolland, C., Manolopoulos, Y., Mouratidis, H., Horkoff, J. (eds.) CAiSE 2014. LNCS, vol. 8484, pp. 488–502. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-07881-6_33

    Chapter  Google Scholar 

  22. van Orman Quine, W.: Ontological Relativity and Other Essays. Columbia University Press, New York (1969)

    Book  Google Scholar 

  23. Guizzardi, G.: Ontological foundations for structural conceptual models (2005)

    Google Scholar 

  24. Heller, B., Herre, H.: Ontological categories in GOL. Axiomathes 14(1), 57–76 (2004)

    Article  Google Scholar 

  25. Guizzardi, G., Wagner, G., Guarino, N., van Sinderen, M.: An ontologically well-founded profile for UML conceptual models. In: Persson, A., Stirna, J. (eds.) CAiSE 2004. LNCS, vol. 3084, pp. 112–126. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-25975-6_10

    Chapter  Google Scholar 

  26. Guizzardi, G., Wagner, G.: Some applications of a unified foundational ontology in business modeling. In: Business Systems Analysis with Ontologies, pp. 345–367. IGI Global (2005)

    Google Scholar 

  27. Knott, R., Merunka, V., Polak, J.: The BORM methodology: a third-generation fully object-oriented methodology. Knowl. Based Syst. 16(2), 77–89 (2003)

    Article  Google Scholar 

  28. The Elements of UMLâ„¢ Style (Sigs Reference Library): Scott W. Ambler: 9780521525473: Amazon.com: Books. https://www.amazon.com/Elements-UML%C2%99-Style-Reference-Library/dp/0521525470. Accessed 23 May 2019

  29. Knott, R.P., Merunka, V., Polak, J.: The BORM methodology: a third-generation fully object-oriented methodology. Knowl. Based Syst. 16, 77–89 (2003)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Electrical Engineering, Department of Electrotechnology, Czech Technical University, Prague, Czech Republic

    Martin Molhanec

Authors
  1. Martin Molhanec
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Martin Molhanec .

Editor information

Editors and Affiliations

  1. Czech Technical University in Prague, Prague 6, Czech Republic

    Robert Pergl

  2. Higher School of Economics, National Research University, Nizhny Novgorod, Russia

    Eduard Babkin

  3. Loughborough University, Loughborough, UK

    Russell Lock

  4. Higher School of Economics, National Research University, Nizhny Novgorod, Russia

    Pavel Malyzhenkov

  5. Czech Technical University in Prague, Prague 1, Czech Republic

    Vojtěch Merunka

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Molhanec, M. (2019). Conceptual Normalisation in Software Engineering. In: Pergl, R., Babkin, E., Lock, R., Malyzhenkov, P., Merunka, V. (eds) Enterprise and Organizational Modeling and Simulation. EOMAS 2019. Lecture Notes in Business Information Processing, vol 366. Springer, Cham. https://doi.org/10.1007/978-3-030-35646-0_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-35646-0_2

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-35645-3

  • Online ISBN: 978-3-030-35646-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation