in

The ORM Foundation

Get the facts!

pdf Fact Calculus: Using ORM and Lisa-D to reason about Domains.

Downloads: 31 File Size: 141.6kB
Posted By: admin Views: 1,234
Date Added: 11-19-2007

Presentation of paper by SJBA Hoppenbrouwers, HA (Erik) Proper and Th P van der Weide, Institute for Computing and Information Sciences, Radboud University, Nijmegen, The Netherlands. 

Abstract: We propose to use ORM and Lisa-D as a 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.

Full paper available from R. Meersman et al (Eds.): OTM Workshops 2005, LNCS 3762, pp. 720-729. 2005  Springer-Verlang Berlin Heidelberg    

Filed under:

Comments

No comments exist for this file.
© 2008-2014 The ORM Foundation: A UK not-for-profit organisation -------------- Terms of Service