Advertisement

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

  • Betsy Pepels
  • Rinus Plasmeijer
  • H. A. (Erik) Proper
Part of the Lecture Notes in Computer Science book series (LNCS, 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.

Keywords

Type Theory Fact Type High Order Logic Lambda Calculus Abstract Data Type 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Halpin, T.A., Orlowska, M.E.: Fact–oriented modelling for data analysis. Journal of Information Systems 2(2), 97–119 (1992)CrossRefGoogle Scholar
  2. 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. 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)CrossRefGoogle Scholar
  4. 4.
    Nijssen, G.M., Halpin, T.: Conceptual Schema and Relational Database Design. Prentice Hall, Englewood Cliffs (1989)Google Scholar
  5. 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. 6.
    ter Hofstede, A.H.M., van der Weide, T.P.: Expressiveness in conceptual data modelling. Data & Knowledge Engineering 10(1), 65–100 (1993)MATHCrossRefGoogle Scholar
  7. 7.
    Halpin, T.A.: Information modeling and higher-order types. In: CAiSE Workshops (1), pp. 233–248 (2004)Google Scholar
  8. 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. 9.
    Pierce, B.C.: Types and programming languages. MIT Press, Cambridge (2002)Google Scholar
  10. 10.
    van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: yet another workflow language. Information Systems 30(4), 245–275 (2005)CrossRefGoogle Scholar
  11. 11.
    Jones, S.P., et al.: Haskell 98 Language and Libraries: the Revised Report. Cambridge University Press, Cambridge (2003)Google Scholar
  12. 12.
    Plasmeijer, R., van Eekelen, M.: Concurrent CLEAN Language Report (version 2.0) (December 2001), http://www.cs.ru.nl/~clean/
  13. 13.
  14. 14.
    ter Hofstede, A.H.M.: Information Modelling in Data Intensive Domains. PhD thesis, University of Nijmegen, The Netherlands (1993)Google Scholar
  15. 15.
    Halpin, T.: Modeling collections in UML and ORMGoogle Scholar
  16. 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)CrossRefGoogle Scholar
  17. 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)CrossRefGoogle Scholar
  18. 18.
    Russell, B., Whitehead, A.N.: Principia Mathematica, pp. 1910–1913. Cambridge University Press, CambridgeGoogle Scholar
  19. 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)MATHCrossRefGoogle Scholar
  20. 20.
    Creasy, P.N., Proper, H.A(E.): A Generic Model for 3–Dimensional Conceptual Modelling. Data & Knowledge Engineering 20(2), 119–162 (1996)MATHCrossRefGoogle Scholar
  21. 21.
    Jarrar, M.: Modularization and automatic composition of object-role modeling (ORM) schemes. In: OTM Workshops, pp. 613–625 (2005)Google Scholar
  22. 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. 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)CrossRefGoogle Scholar
  24. 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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Betsy Pepels
    • 1
    • 3
  • Rinus Plasmeijer
    • 1
  • H. A. (Erik) Proper
    • 2
  1. 1.Software Technology, Radboud University NijmegenThe Netherlands
  2. 2.Information Retrieval and Information Systems, Radboud University NijmegenThe Netherlands
  3. 3.Informatics and Communication AcademyHAN University of Applied ScienceThe Netherlands

Personalised recommendations