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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Halpin, T.A., Orlowska, M.E.: Fact–oriented modelling for data analysis. Journal of Information Systems 2(2), 97–119 (1992)
Halpin, T.: Object-role modeling (ORM/NIAM). In: Bernus, P., Mertins, K., Schmidt, G. (eds.) Handbook on Architectures of Information Systems. Springer, Heidelberg (1998)
Halpin, T.: ORM 2. In: Meersman, R., Tari, Z., Herrero, P. (eds.) OTM-WS 2005. LNCS, vol. 3762, pp. 676–687. Springer, Heidelberg (2005)
Nijssen, G.M., Halpin, T.: Conceptual Schema and Relational Database Design. Prentice Hall, Englewood Cliffs (1989)
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)
ter Hofstede, A.H.M., van der Weide, T.P.: Expressiveness in conceptual data modelling. Data & Knowledge Engineering 10(1), 65–100 (1993)
Halpin, T.A.: Information modeling and higher-order types. In: CAiSE Workshops (1), pp. 233–248 (2004)
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
Pierce, B.C.: Types and programming languages. MIT Press, Cambridge (2002)
van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: yet another workflow language. Information Systems 30(4), 245–275 (2005)
Jones, S.P., et al.: Haskell 98 Language and Libraries: the Revised Report. Cambridge University Press, Cambridge (2003)
Plasmeijer, R., van Eekelen, M.: Concurrent CLEAN Language Report (version 2.0) (December 2001), http://www.cs.ru.nl/~clean/
The .NET website, http://www.microsoft.com/net/default.mspx
ter Hofstede, A.H.M.: Information Modelling in Data Intensive Domains. PhD thesis, University of Nijmegen, The Netherlands (1993)
Halpin, T.: Modeling collections in UML and ORM
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)
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)
Russell, B., Whitehead, A.N.: Principia Mathematica, pp. 1910–1913. Cambridge University Press, Cambridge
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)
Creasy, P.N., Proper, H.A(E.): A Generic Model for 3–Dimensional Conceptual Modelling. Data & Knowledge Engineering 20(2), 119–162 (1996)
Jarrar, M.: Modularization and automatic composition of object-role modeling (ORM) schemes. In: OTM Workshops, pp. 613–625 (2005)
Maria Keet, C.: Using abstractions to facilitate management of large ORM models and ontologies. In: OTM Workshops, pp. 603–612 (2005)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)