Abstract
We propose to use ORM and Lisa-D as means to formally reason about domains. Conceptual rule languages such as Lisa-D, RIDL and ConQuer allow for the specification of rules in a semi-natural language format that can more easily be understood by domain experts than languages such as predicate calculus, Z or OCL. If one would indeed be able to reason about properties of domains in terms of Lisa-D expressions, then this reasoning would be likely to be better accessible to people without a background in formal mathematics, such as “the average” domain expert. A potential application domain for such reasoning would be the field of business rules. If we can reason about business rules formulated in a semi-natural language format, the formal equivalence of (sets of) business rules (i.e. various paraphrasings) can be discussed with domain experts in a language and a fashion that is familiar to them.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bloesch, A.C., Halpin, T.A.: ConQuer: A Conceptual Query Language. In: Thalheim, B. (ed.) ER 1996. LNCS, vol. 1157, pp. 121–133. Springer, Heidelberg (1996)
van Bommel, P., ter Hofstede, A.H.M., van der Weide, T.P.: Semantics and verification of object-role models. Information Systems 16(5), 471–495 (1991)
Enderton, H.B.: A Mathematical Introduction to Logic. Academic Press, New York (1972)
Frederiks, P.J.M.: Object-Oriented Modeling based on Information Grammars. PhD thesis, University of Nijmegen, Nijmegen, The Netherlands, EU (1997)
Halpin, T.A.: Information Modeling and Relational Databases, From Conceptual Analysis to Logical Design. Morgan Kaufman, San Mateo (2001)
ter Hofstede, A.H.M. (Erik) Proper, H.A., van der Weide, T.P.: Formal definition of a conceptual language for the description and manipulation of information models. Information Systems 18(7), 489–523 (1993)
Hoppenbrouwers, J.J.A.C.: Conceptual Modeling and the Lexicon. PhD thesis, Tilburg University, Tilburg, The Netherlands, EU (1997) ISBN 90-5668-027-7
Hoppenbrouwers, S.J.B.A. (Erik) Proper, H.A., van der Weide, T.P.: Fundamental understanding of the act of modelling. In: Delcambre, L.M.L., Kop, C., Mayr, H.C., Mylopoulos, J., Pastor, Ó. (eds.) ER 2005. LNCS, vol. 3716, Springer, Heidelberg (2005)
Meersman, R.: The RIDL Conceptual Language. In: International Centre for Information Analysis Services, Control Data Belgium, Inc., Brussels, Belgium (1982)
Ross, R.G. (ed.): Business Rules Manifesto. Business Rules Group (November 2003), Version 2.0, http://www.businessrulesgroup.org/brmanifesto.htm
Spivey, J.M.: Understanding Z: A Specification Language and its Formal Semantics. Cambridge University Press, Cambridge (1988)
Warmer, J., Kleppe, A.: The Object Constraint Language: Getting Your Models Ready for MDA, 2nd edn. Addison-Wesley, Reading (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hoppenbrouwers, S.J.B.A., Proper, H.A.(., van der Weide, T.P. (2005). Fact Calculus: Using ORM and Lisa-D to Reason About Domains. In: Meersman, R., Tari, Z., Herrero, P. (eds) On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops. OTM 2005. Lecture Notes in Computer Science, vol 3762. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11575863_91
Download citation
DOI: https://doi.org/10.1007/11575863_91
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29739-0
Online ISBN: 978-3-540-32132-3
eBook Packages: Computer ScienceComputer Science (R0)