Skip to main content
SpringerLink
Log in

Fact-Oriented Modeling from a Programming Language Designer’s Perspective

  • Conference paper
On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops (OTM 2006)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 4278))

Abstract

We investigate how achievements of programming languages research can be used for designing and extending fact oriented modeling languages. Our core contribution is that we show how extending fact oriented modeling languages with the single concept of algebraic data types leads to a natural and straightforward modeling of complex information structures like unnamed collection types and higher order types.

An erratum to this chapter can be found at http://dx.doi.org/10.1007/11915072_109.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Halpin, T.A., Orlowska, M.E.: Fact–oriented modelling for data analysis. Journal of Information Systems 2(2), 97–119 (1992)

    Article  Google Scholar 

  2. Halpin, T.: Object-role modeling (ORM/NIAM). In: Bernus, P., Mertins, K., Schmidt, G. (eds.) Handbook on Architectures of Information Systems. Springer, Heidelberg (1998)

    Google Scholar 

  3. Halpin, T.: ORM 2. In: Meersman, R., Tari, Z., Herrero, P. (eds.) OTM-WS 2005. LNCS, vol. 3762, pp. 676–687. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  4. Nijssen, G.M., Halpin, T.: Conceptual Schema and Relational Database Design. Prentice Hall, Englewood Cliffs (1989)

    Google Scholar 

  5. Bakema, G.P., Zwart, J.P.C., van der Lek, H.: Fully communication oriented NIAM. In: NIAM-ISDM 1994 Conference, Working Papers, pp. L1–L35 (1994)

    Google Scholar 

  6. ter Hofstede, A.H.M., van der Weide, T.P.: Expressiveness in conceptual data modelling. Data & Knowledge Engineering 10(1), 65–100 (1993)

    Article  MATH  Google Scholar 

  7. Halpin, T.A.: Information modeling and higher-order types. In: CAiSE Workshops (1), pp. 233–248 (2004)

    Google Scholar 

  8. Bakema, G., Zwart, J.P., van der Lek, H.: Volledig Communicatiegeoriënteerde Informatiemodellering FCO-IM. Academic Service, The Netherlands (2005), Textbook in Dutch. The English version can be downloaded via: http://www.casetalk.com/php/index.php?FCO-IM%20English%20Book

  9. Pierce, B.C.: Types and programming languages. MIT Press, Cambridge (2002)

    Google Scholar 

  10. van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: yet another workflow language. Information Systems 30(4), 245–275 (2005)

    Article  Google Scholar 

  11. Jones, S.P., et al.: Haskell 98 Language and Libraries: the Revised Report. Cambridge University Press, Cambridge (2003)

    Google Scholar 

  12. Plasmeijer, R., van Eekelen, M.: Concurrent CLEAN Language Report (version 2.0) (December 2001), http://www.cs.ru.nl/~clean/

  13. The .NET website, http://www.microsoft.com/net/default.mspx

  14. ter Hofstede, A.H.M.: Information Modelling in Data Intensive Domains. PhD thesis, University of Nijmegen, The Netherlands (1993)

    Google Scholar 

  15. Halpin, T.: Modeling collections in UML and ORM

    Google Scholar 

  16. ter Hofstede, A.H.M., van der Weide, T.P.: Deriving Identity from Extensionality. International Journal of Software Engineering and Knowledge Engineering 8(2), 189–221 (1997)

    Article  Google Scholar 

  17. Fitting, M.: Databases and higher types. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol. 1861, pp. 41–52. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  18. Russell, B., Whitehead, A.N.: Principia Mathematica, pp. 1910–1913. Cambridge University Press, Cambridge

    Google Scholar 

  19. Campbell, L.J., Halpin, T.A., Proper, H.A(E.): Conceptual Schemas with Abstractions – Making flat conceptual schemas more comprehensible. Data & Knowledge Engineering 20(1), 39–85 (1996)

    Article  MATH  Google Scholar 

  20. Creasy, P.N., Proper, H.A(E.): A Generic Model for 3–Dimensional Conceptual Modelling. Data & Knowledge Engineering 20(2), 119–162 (1996)

    Article  MATH  Google Scholar 

  21. Jarrar, M.: Modularization and automatic composition of object-role modeling (ORM) schemes. In: OTM Workshops, pp. 613–625 (2005)

    Google Scholar 

  22. Maria Keet, C.: Using abstractions to facilitate management of large ORM models and ontologies. In: OTM Workshops, pp. 603–612 (2005)

    Google Scholar 

  23. Hinze, R.: Generics for the masses. In: ICFP 2004: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, pp. 236–243. ACM Press, New York (2004)

    Chapter  Google Scholar 

  24. Pil, M.: Dynamic types and type dependent functions. In: Hammond, K., Davie, T., Clack, C. (eds.) IFL 1998. LNCS, vol. 1595, pp. 169–185. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Software Technology, Radboud University Nijmegen, The Netherlands

    Betsy Pepels & Rinus Plasmeijer

  2. Information Retrieval and Information Systems, Radboud University Nijmegen, The Netherlands

    H. A. (Erik) Proper

  3. Informatics and Communication Academy, HAN University of Applied Science, The Netherlands

    Betsy Pepels

Authors
  1. Betsy Pepels
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Rinus Plasmeijer
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. H. A. (Erik) Proper
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. STARLab, Vrije Universiteit Brussel (VUB), Bldg G/10, Pleinlaan 2, 1050, Brussels, Belgium

    Robert Meersman

  2. School of Computer Science and Information Technology, RMIT University, Bld 10.10, 376-392 Swanston Street, 3001, Melbourne, VIC, Australia

    Zahir Tari

  3. Facultad de Informática, Universidad Politécnica de Madrid, Campus de Montegancedo S/N, 28660, Boadilla del Monte, Madrid, Spain

    Pilar Herrero

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Pepels, B., Plasmeijer, R., Proper, H.A.(. (2006). Fact-Oriented Modeling from a Programming Language Designer’s Perspective. In: Meersman, R., Tari, Z., Herrero, P. (eds) On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops. OTM 2006. Lecture Notes in Computer Science, vol 4278. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11915072_20

Download citation

  • DOI: https://doi.org/10.1007/11915072_20

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-48273-4

  • Online ISBN: 978-3-540-48276-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation