Skip to main content

Conceptual-Model Programming: A Manifesto

  • Chapter
  • First Online:

Abstract

In order to promote conceptual-model programming (CMP), we present these CMP articles. We hold these articles to be the defining principles for model-complete software development.

Essentially, this CMP manifesto asserts that programming activities are to be carried out via conceptual modeling. For applications amenable to conceptual-model designs, software developers should never need to write a line of traditional code. Thus, programming is actually conceptual-model programming.

To accommodate CMP, conceptual-modeling languages must be executable. They must also be capable of completely deploying both databases and user interfaces and conceptually expressing database access and user interaction. To enable CMP, a conceptual-model compiler must exist to generate underlying code, which could be, but is not necessarily, high-level language code that itself needs further compilation. Important, however, is that model-compiled code is beyond the purview of CMP programmers – both for initially creating the application system being developed and for enhancing or evolving the application system. Thus, application-system development becomes entirely model-driven, and CMP constitutes model-complete software development.

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

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   169.99
Price excludes VAT (USA)
  • Durable hardcover 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

Learn about institutional subscriptions

References

  1. Booch G, Brown A, Iyengar S, Rumbaugh J, Selic B (2004) An MDA manifesto. MDA J, May 2004:133–143

    Google Scholar 

  2. Brodie ML, Mylopoulos J, Schmidt JW (eds) (1984) On conceptual modelling: perspectives from artificial intelligence, databases, and programming languages. Springer, Berlin Heidelberg New York

    MATH  Google Scholar 

  3. CARE-technologies (2010) http://www.care-t.com/. Accessed October 2010

  4. Clyde SW, Embley DW, Woodfield SN (1992) Tunable formalism in object-oriented systems analysis: meeting the needs of both theoreticians and practitioners. In: Proceedings of the 1992 Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA’92), pp 452–465, Vancouver, October 1992

    Google Scholar 

  5. Ceri S, Fraternelli P, Bongio A, Brambilla M, Comai S, Matera M (2003) Designing data-intensive web applications. Morgan Kaufmann, San Francisco

    Google Scholar 

  6. Dori D (2009) Object-process methodology: a holistic systems paradigm. Springer, Berlin Heidelberg New York

    Google Scholar 

  7. Embley DW, Jackson RB, Liddle SW, Woodfield SN (1994) A formal modeling approach to seamless object-oriented systems development. In: Proceedings of the Workshop on Formal Methods for Information System Dynamics at CAiSE’94, pp 83–94, The Netherlands, June 1994

    Google Scholar 

  8. Embley DW (1998) Object database development: concepts and principles. Addison-Wesley, Reading

    Google Scholar 

  9. Entity relationship (ER) (2010) http://conceptualmodeling.org/. Accessed October 2010

    Google Scholar 

  10. Embley DW, Thalheim B (eds) (2011) The handbook of conceptual modeling: its usage and its challenges. Springer, Berlin Heidelberg New York

    Google Scholar 

  11. Harel D (2009) Statecharts in the making: a personal account. Comm ACM 52(3):67–75

    Article  MathSciNet  Google Scholar 

  12. Harel D, Gery E (1997) Executable object modeling with statecharts. IEEE Comput 30(7):31–42

    Article  Google Scholar 

  13. Harel D, Politi M (1998) Modeling reactive systems with statecharts: the statemate approach. McGraw-Hill, New York

    Google Scholar 

  14. Jackson RB, Embley DW, Woodfield SN (1995) Developing formal object-oriented requirements specifications: a model, tool and technique. Info Syst 20(4):273–289

    Article  Google Scholar 

  15. Liddle SW, Embley DW, Woodfield SN (1995) Unifying modeling and programming through an active, object-oriented, model-equivalent programming language. In: Proceedings of the 14th International Conference on Object-Oriented and Entity-Relationship Modeling (OOER’95), pp 55–64, Gold Coast, Queensland, December 1995

    Google Scholar 

  16. Liddle SW, Embley DW, Woodfield SN (2000) An active, object-oriented, model-equivalent programming language. In: Papazoglou MP, Spaccapietra S, Tari Z (eds) Advances in object-oriented data modeling, pp 333–361. MIT Press, Cambridge

    Google Scholar 

  17. Mellor SJ, Balcer M (2002) Executable UML: a foundation for model-driven architectures. Addison-Wesley-Longman, Boston

    Google Scholar 

  18. Molina PJ, Meliá S, Pastor O (2002) User interface conceptual patterns. In: Proceedings of the 9th International Workshop on Interactive Systems. Design, Specification, and Verification (DSV-IS’02), Rostock, June 2002

    Google Scholar 

  19. Morgan T (2002) Business rules and information systems: aligning IT with business goals. Addison-Wesley, Reading

    Google Scholar 

  20. Olivè A (2007) Conceptual modeling of information systems. Springer, Berlin Heidelberg New York

    MATH  Google Scholar 

  21. Pastor O, Hayes F, Bear S (1992) OASIS: an object-oriented specification language. In: Proceedings of the 4th International Conference on Advanced Information Systems Engineering (CAiSE’92), pp 348–363, Manchester

    Google Scholar 

  22. Pastor O, Molina JC (2007) Model-driven architecture in practice: a software production environment based on conceptual modeling. Springer, Berlin Heidelberg New York

    Google Scholar 

  23. Papazoglou MP, Spaccapietra S, Tari Z (eds) (2000) Advances in object-oriented data modeling. MIT Press, Cambridge

    Google Scholar 

  24. Pederiva I, Vanderdonckt J, España S, Panach JI, Pastor O (2007) The beautification process in model-driven engineering of user interfaces. In: Proceedings of the 11th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2007), Rio de Janeiro September 2007

    Google Scholar 

  25. Raistrick C, Francis P, Wright J, Carter C, Wilkie I (2004) Model driven architecture with executable UML. Cambridge University Press, Cambridge

    Google Scholar 

  26. Rossi G, Pastor O, Schwabe D, Olsina L (eds) (2008) Web engineering: modelling and implementing web applications. Springer, Berlin Heidelberg New York

    Google Scholar 

  27. Selic B (2008) MDA manifestations. Eur J Info Prof IX(2):12–16

    Google Scholar 

  28. Thalheim B (2000) Entity-relationship modeling: foundations of database technology. Springer, Berlin Heidelberg New York

    MATH  Google Scholar 

  29. Thalheim B (2009) Towards a theory of conceptual modeling. In: Advances in Conceptual Modelling: Challenging Perspectives (ETheCoM 2009 – First International Workshop on Evolving Theories of Conceptual Modeling), pp 45–54, Gramado, November 2009

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding authors

Correspondence to David W. Embley , Stephen W. Liddle or Oscar Pastor .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Embley, D., Liddle, S., Pastor, O. (2011). Conceptual-Model Programming: A Manifesto. In: Embley, D., Thalheim, B. (eds) Handbook of Conceptual Modeling. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15865-0_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-15865-0_1

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-15864-3

  • Online ISBN: 978-3-642-15865-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics