Formal definition of a conceptual language for the description and manipulation of information models

Static and Dynamic Aspects of Application Domains: An Inductively Defined Modeling Technique That Allows Decomposition

“…Edges have starting and ending nodes. This resulting scheme is constructed as follows: The specialization rule is constructed according to the rules from ORC [5].…”

“…From these sentences other sentences may be formed. Object Role Calculus (ORC) ( [5]) and ORM2 ( [6]) are examples of such generic systems for constructing sentences. These sentence will be referred to as information descriptors.…”

“…A NIAM model was the basis to construct the controlled semi-natural language Reference and IDea Language (RIDL, see [18] and [19]) for communication with the database. In [7] the term predicator (introduced in [20]) was used to describe the Predicator Set Model (PSM) as an extension of NIAM, and Object Role Calculus (ORC [5]) as an extension of RIDL. The ORM modeling technique [10] can be seen as a standardization of the modeling techniques sharing the NIAM ideas.…”

“…In this paper, we will use the ORC approach, see [5], but other modeling techniques (such as UML) have their own variants to introduce a similar conceptual language. Let C L (IS) be the conceptual language that is derived from information structure IS following [5]. We assume that the conceptual language defines the following syntactic categories:…”

“…In this paper we will use the constructor OR OTHERWISE (see [5]) to combine information descriptors by taking the union of their results. We will use the shorthand notation ⊕ for this operator.…”