Conceptual modelling methods such as Object-Role Modelling (ORM) have traditionally been developed with the aim of providing conceptual models of database structures. More recently, however, such modelling languages have shown their use for modelling (the ontology) of domains in general. In these latter cases, the modelling effort results in a (formally based) conceptual reasoning systems using a domain calculus on top of a domain grammar. As the title suggests, this paper is primarily concerned with the application of ORM 'rigour' to the modelling of active domains. In doing so, we will position the logbook paradigm as a history-oriented extension of the traditional natural language approach of ORM, and define an accompanying domain calculus (the Object-Role Calculus) which is suitable to deal with active domains. Finally, we will show how specific views (with dedicated notations), which zoom in on different aspects (such as flow of activities and actor involvement) of active domains, can easily be derived.
Conceptual modelling methods such as ER [
The above mentioned modelling methods typically take a natural language
based perspective on the domain to be modelled. In this perspective, the resulting
models are regarded as a domain grammar describing the allowed communication
about a domain; the universe of discourse. This way of thinking dates back to
the ISO report on Concepts and Terminology for the Conceptual Schema and
the Information Base [
A domain grammar can be extended to also cover rules (constraints)
governing the behaviour of the domain. When combined with a reasoning mechanism,
this rule language becomes a domain calculus. In the case of ORM, such a
domain calculus has been presented in the form of Lisa-D [
In the use of domain modelling methods, we observe three important trends
which fuel our research activities. Firstly, more and more organisations strive
for more mature levels of system development [
The second trend fuelling our research, is the use of controlled languages as
the basis for unambiguous communication [
The third trend we observe is the growing need for integrated models
underlying a plethora of viewpoints, fuelled by the demands of MDA [
When applying ORM for the purpose of modelling active domains, we are primarily interested in re-using its rigorous way of working in the creation of models. This does require both active aspects (activities, tasks, processes, etc) as well as static aspects (results, documents, actors, tangiable objects, etc) to be expressed as objects playing roles in the domain.
The remainder of this paper is structured allong the overall way of working we suggest when modelling an active domain: 1. (Section 2) using the logbook paradigm the activities taking place in an active domain can be reported in terms of (elementary) facts, which can consequently be used (in principle using ORM’s standard approach) to derive a domain grammar, 2. (Section 3) any constraints, temporal dependencies, etc, governing the flow of activities in a domain can then be formulated using a domain calculus referred to as the Object-Role Calculus, 3. (Section 4) finally, special graphical conventions are introduced to provide more compact representations of specific aspects of the active domain, such as the flow of activities, or the involvement of actors. 2
When focussing on active domains ORM needs to be refined in order to better
cater for the active aspects of such domains. The underlying challenge is to
extend ORM to be able to cater for such domains, while at the same time
maintaining ORM’s natural-language based modelling rigour. In doing so, we
base ourselves on earlier (partial) results [
Modelling an active domain does require a modelling language to deal with
the notion of time. In the past, ORM has indeed been extended with the concept
of time and evolution [
Trafic light 20 is green ceased being true at 11:03:20 on 22-05-2006
Employee John works on the completion of order 50 started being true at 09:30 on 19-05-2006 In our view, a logbook approach is a natural extension of the earlier discussed natural language based perspective on modelling. To be more precise, we regard a history as an overview of the events that have taken place in the domain, while a logbook is a description of such a history using some controlled language.
The facts contained in the descriptions of the events are asumed to be expressed in terms of semi-natural language (controlled language) sentences as is normally the case in ORM’s way of working. Using a traditional ORM approach, the set of facts used/allowed in a logbook can be generalised to a set of fact types, which together comprise the ORM model underlying the domain. As such, this ORM model then defines the domain grammar of the controlled language in which the facts are to be formulated.
Traditionally, ORM focuses on the modelling of facts in general. In the context of an active domain, these facts correspond to statements about what is the case and/or has happened in the domain at specific points in time. In ORM, the actual modelling process starts out from the verbalisation of such facts. These verbalisations are the starting point for the creation of the domain grammar. When considering an active domain, the set of facts that can be reported about this domain fall into two categories: (1) acts reporting on the performance of actions and (2) effects reporting the results of actions. This dichotomy applies at the instances level (the facts) as well as the type level, leading to act types and effect types respectively as sub-classes of fact types. In the case of acts, the objects involved (i.e. playing a role in the act) can be classified further into actors (objects responsible for performing the act ) and actands (objects which are the effect of the act ).
We assume that each event described in the logbook and the objects participating in the event, can be uniquely identified in that logbook. We will call this the Event Identification Principle. This identification principle is used as the base for all other identification mechanisms. This principle does not inhibit different events to occur on the same moment. In order to distinguish between accidently coincidence and necessarily coupled events, we assume that events may also have a compound nature, in such a way that: (1) different events in a logbook are independent of each other, (2) events are not splittable into multiple independent events.
We take the perspective that the state of an active domain is the result of the sequence of actions leading up to that state. These actions may either take place in the domain, or outside the domain (such as the very creation of the domain). As a result, we take the position that the effects are actually derivable from the set of reported acts. This is what we call the Action Dominance Principle. This principle does lead to the question on how persistent properties, such as the speed of light, are to be treated in our logbook approach. This is covered by the Property Origination Principle, which states that each domain property pertains to: (1) either some act taken place in the domain, (2) or some effect of some act in the domain, (3) or some effect of the domain’s creation (i.e. the result of a ‘big bang’ act). As a consequence, at each moment the state of the system is the result of all the effects of the domain’s creation and the acts that were reported since then.
An important consequence of the Property Origination Principle is that (for most objects in the domain), the property of being alive should be the result of some act. Therefore, objects that are not present in the initial state require an explicit birth event. This is called the Birth Principle. Obviously, an object can not be responsible for its own birth, as it can not be active before coming into existence. The consequence is that some other object has to be responsible for causing this event, thus playing a dominant role in that event. If the existence of an object may terminate, then there should be an explicit death action that enforces an object to have the property of being death.
An immediate consequence of the Birth Principle and the Event Identification Principle is that objects may be identified by their birth event. If an event starts life for more objects, then we require that the individual objects in this case may be identified by this event and their role in this event. 3
This section is concerned with a conceptual language in which rules can be
expressed describing the behaviour that may be observed in a logbook compatible
with the domain being modelled. The language presented, referred to as
ObjectRole Calculus (ORC) is a variant of Lisa-D [
The semantics of ORC are grounded on Kripke structures [
From the structure of the events in the logbook, the elementary object types. Their possible instantiations form the set Π of atomic propositions. The labeling function L then assigns the population of object types that is constructed by a logbook.
A linear-time temporal logic is syntactically described by the following BNF grammar:
φ → true | false | Π | ¬φ | q ∧ φ | φ ∨ φ | φ ⇒ φ | X φ | F φ | G φ | φ U φ The expression X φ states that φ will hold in the next state, F φ that φ will eventually hold, G φ that φ will globally hold and φ U ψ states that at some point ψ will hold, while in all states before φ is valid. Let M be a Kripke structure over logbook LB, and let σ be a history. We further will assume an environment E for evaluation, consisting of a partial assignment of values to a set V of variables. The standard semantic interpretation of the temporal operators is: M, E, σ |= X φ , M, E, σ |= φ U ψ ,
M, E, σ1 |= φ ∃n ∀0≤i<n M, E, σi |= φ ∧M, E, σn |= ψ where σ(i) denotes the i-th element of sequence σ and σi the subsequence of σ starting at position i. The other temporal operators are defined in terms of these base operators: F φ is equivalent with true U φ, and G φ is defined as ¬ F ¬φ. The propositional operators are also interpreted in the standard way: M, E, σ |= ¬φ , not M, E, σ |= φ
M, E, σ |= q ∧ ψ , M, E, σ |= φ and M, E, σ |= ψ The constant false is introduced as p∧¬p where p is any proposition from Π, and true is derived by ¬false. The other logical operators (∨ and ⇒) are defined in the usual way. The conversion from a temporal proposition to a static expression requires the evaluation of the static expression for the population L(σ(0)) at the required point of time. This will be further elaborated in section 3.4. 3.2
History descriptors in ORC are meant to provide a language construct for reasoning in an historical setting about the application domain. For the purpose of this paper, it will be sufficient to make more or less direct transcriptions of the basic temporal operators. For this the syntactical construct history descriptor is introduced. Let H be a history descriptor, then the semantics of H are denoted as [(H)] : [(always H)] , G [(H)] [(X H)] , X [(H)] In addition we introduce the following abbreviations: sometime H
, ¬ always ¬H H1 precedes H2 , always((F H1) U H2)
H1 during H2 , always(H1 ⇒ H2)
H1 triggers H2 , always(H1 ∧ ¬H2 ⇒ X(¬H1 ∧ H2)) The first rule will be a target for the educational organisation. The later rule states describes a trigger that, whenever the condition H1 ∧ ¬H2 is met, will respond by setting the condition ¬H1 ∧ H2 at the next moment. Some example expression would be: sometime Lecturer lectures Course
Lecturer sets up Course precedes Lecturer lectures Course This latter expression, however, is misleading as it does not bring about a connection between lecturer nor course being set up and being lectured. In natural language, indicatives are used in most cases to make such references. We furthermore introduce: x [[D1 PRECEDES D2]] y , (x [[D1]] y) precedes ∃z [z [[D2]] y]
x [[D1 DURING D2]] y , (x [[D1]] y) during ∃z [z [[D2]] y] 3.3
The main idea behind ORC, as present in its early ancestor RIDL [
Lecturer:x being hired precedes x sets up Course
Lecturer:x sets up c precedes x lectures Course:c
In this example, the expression Lecturer:x is a defining occurrence of variable x
in which Lecturer has the role of value generator. The environment is used to
administrate the variable-value assignment (see [
The syntactic category to retrieve a collection of facts is called information
descriptor. We will discuss the semantics of elementary information descriptors,
and briefly summarise the construction of information descriptor (for more
details, see [
Information descriptors are interpreted as binary relationships, they provide a binary relation between instances of the population induced from the history. The semantics of information descriptor D are denoted as [[D]] , we will write x [[D]] y to denote the relationship between x and y. The statement M, E, σ |= x [[D]] y asserts that for Kripke structure M in environment E from history σ the relationship x [[D]] y can be derived.
A population assigns to each object type its set of instances. Let n be the name of object type N and r the name of a role type R, then n and r are information descriptors with semantics:
M, E, σ |= x [[n]] y , x ∈ L(σ(N )) ∧ x = y
M, E, σ |= x [[r]] y , (x, y) ∈ L(σ(R)) A single role may, in addition to its ‘normal’ name, also receive a reverse role name. Let v be the reverse role name of role R, then we have:
M, E, σ |= x [[v]] y , (y, x) ∈ L(σ(R)) A combination of roles involved from a fact type may receive a connector name. The connector name allows us to ‘traverse’ a fact type from one of the participating object types to another one. If c is the connector name for a role pair hR, Si, then the semantics of the information descriptor c are defined as: M, E, σ |= x [[c]] z ,
∃y [M, E, σ |= x [[R]] y ∧ M, E, σ |= z [[S]] y] A role name
R reverse role name
S
B connector name "F"
T
C
Elementary information descriptors can be composed into complex
information descriptors using constructions such as concatenation, conjunction,
implication, disjunction and complement. These may refer to the fronts alone or both
fronts and tails of descriptors. For more details, see [
Person working for Department ’I&KS’ People working for department ‘I&KS’ Person (working for Department ’I&KS’ AND ALSO owning Car of Brand ‘Seat’) People working for department ‘I&KS’ who also own a car of brand Seat Note that the natural language likeness of the ORC expressions used in this paper can be improved considerably. ORC has a special way of using information descriptors to describe rules that should apply in a domain. These rules can be used to express constraints and/or business rules. We will use the more general term rule for such expressions. These rules consist of information descriptors that are interpreted in a boolean way; i.e. if no tuple satisfies the relationship, the result is false, otherwise it is true. Some examples of such constructions are: [[SOME D]] , [[NOT R1]] , ∃x,y [x [[D]] y] ¬ [[R1]] [[NO D]] , [[NOT SOME D]] where D is an information descriptor and R1 a rule. 4
Using the ORC temporal dependencies can be formulated governing the
behaviour of a domain. Currently, we are experimenting with effective graphical
representation of some key classes of temporal dependencies. In [
! "
Fig. 2. Lecturing example
An important modelling construct is the notion of a life-cycle type. An example of its use is provided in Figure 2, which contains two inter-linked life-cycle types: Course Offering and Course Attendence. Each of these life-cycle types comprise multiple action types.
In the example domain, courses are offered to students. In offering a course, a lecturer starts by setting up the course offering. This is followed by the actual lecturing. After lecturing the course, the lecturer sets an exam. This exam is given to the students attending the course, after which the lecturer marks the exam papers produced by the students. Students attend the course by enrolling. After their enrollment they attend the course. Once the course is finished, they prepare themselves for the exam, which is following by the actual exam, leading to an exam paper.
In general, the life-cycle type typically involves multiple action types, and can best be regarded as an abbreviation as illustrated in Figure 3. The temporal dependency between x and y is defined as follows:
x →→S y , x being act of S PRECEDES y being act S
The enrollment by students in a course should take place during the setup phase of a course. This is enforced by means of the temporal subset constraint from the Enrolling action type to the Setting up action type. The connection between the temporal subset constraint and the Course Offering life-cycle type type signifies that the temporal subset constraint should be evaluated via this object type. In general, the semantics are expressed as: x ⊆τ y , x DURING y. In the case of Figure 2, we have specified a join path, leading for example to: Enrolling being act of Course attendence for Course offering DURING
Setting up being act of Course offering
Finally, a model as presented in Figure 2 can be used as a base to derive specialised views such as depicted in Figure 4 focussing on the flow of activities performed by a lecturer. The research reported in this paper is part of our effort to find a suitable generalised domain modelling method to model active domains. In this paper we have focussed on a strategy to apply ORM rigour in modelling active domains. In doing so, we have introduced the logbook paradigm as a history-oriented extension of the traditional natural language approach of ORM. To be able to define rules governing the behaviour of active domains, we have introduced the Object-Role Calculus (ORC). The semantics of this rule language has been defined in terms of Kripke structures. Finally, we have shown how ORM can be extended with graphical constructs, in particular life-cycle types, focussing on temporal dependencies in a domain. This notation allows us to also derive specific views on a domain focussing solely on temporal behaviour.