Fact Calculus: Using ORM and Lisa-D to Reason About Domains
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.
Unable to display preview. Download preview PDF.
- 4.Frederiks, P.J.M.: Object-Oriented Modeling based on Information Grammars. PhD thesis, University of Nijmegen, Nijmegen, The Netherlands, EU (1997)Google Scholar
- 5.Halpin, T.A.: Information Modeling and Relational Databases, From Conceptual Analysis to Logical Design. Morgan Kaufman, San Mateo (2001)Google Scholar
- 7.Hoppenbrouwers, J.J.A.C.: Conceptual Modeling and the Lexicon. PhD thesis, Tilburg University, Tilburg, The Netherlands, EU (1997) ISBN 90-5668-027-7Google Scholar
- 8.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)Google Scholar
- 9.Meersman, R.: The RIDL Conceptual Language. In: International Centre for Information Analysis Services, Control Data Belgium, Inc., Brussels, Belgium (1982)Google Scholar
- 10.Ross, R.G. (ed.): Business Rules Manifesto. Business Rules Group (November 2003), Version 2.0, http://www.businessrulesgroup.org/brmanifesto.htm
- 12.Warmer, J., Kleppe, A.: The Object Constraint Language: Getting Your Models Ready for MDA, 2nd edn. Addison-Wesley, Reading (2003)Google Scholar