Domeinmodellering/2 Activiteiten/Assignments/Opdracht09-A07/2 Opdrachtbeschrijving

== Lecture A7: ORC - the reasoning model

Background

In this task we first give a more formal definition of the ORC language, and describe the semantics of the language constructs as inhomogeneous binary multitables.

For our modeling activity we will use ORC for two purposes. First, we can describe the meaning of more new constructs as advanced linguistic constructs in terms of ORC. Second, we can describe requirements for the information system in terms of this common language. Such requirements are also referred to as business rules, or as constraints.

But we will also learn how ORC can be used to reason about properties of the underlying application domain. We will introduce some typical reasoning rules that domain experts use in their practice, and that derive new properties from other properties (starting with the base requirements).

Material

In this lecture we focus on chapter 8 of the lecture notes.

Targets

After this study task you will be able to:

• describe the semantics of an information descriptor as an algebraic expression.
• evaluate sample information descriptors as inhomogeneous binary multitables.
• describe how proposition logic is represented in ORC.
• describe how predicate calculus is represented in ORC.
• explain the first and second implication rules.

What you have to do See the exercises in the Blackboard