Relating Domain Concepts Intensionally by Ordering Connections - Formal Methods and Hybrid Real-Time Systems - page 207

obs_Rm_ Γ (g,pp) = meet(obs_Rm_ Γ (g,pp 1 ),
obs_Rm_ Γ (g,pp 2 )) ],

× →

join: PP PP

join(pp 1 ,pp 2 ) as pp
post (pp =[g

PP

→

g: Γ ,gs: Γ -set •
(g

|

gs

∈ dom pp 1 ∧ g ∈ dom pp 2 ) ]

∧ obs_Rm_ Γ (g,pp) = obs_Rm_ Γ (g,pp 1 )) ∨

(pp =[g → gs | g: Γ ,gs: Γ -set •

(g ∈ dom pp 1 ∧ g ∈ dom pp 2 ) ]

∧ obs_Rm_ Γ (g,pp) = obs_Rm_ Γ (g,pp 2 )) ∨

(pp =[g → gs | g: Γ ,gs: Γ -set •

(g ∈ dom pp 1 ∧ g ∈ dom pp 2 ) ]

∧ obs_Rm_ Γ (g,pp) = meet(obs_Rm_ Γ (g,pp 1 ),

obs_Rm_ Γ (g,pp 2 ))),

≤ :PP × PP → Bool

pp 1 ≤ pp 2 •

dom(pp 1 ) ⊆ dom(pp 2 ) ∧

( ∀ g: Γ • g dom pp 1 ⇒

obs_Rm_ Γ (g,pp 1 )

∈

≤ obs_Rm_ Γ (g,pp 2 ))

Example 2. Figure 2 shows an overall project plan of a software development
project involving enhancements of server technology, a graphical user-interface
part (GUI) and web development.

In Ex. 2, the sub-plan concerned only with server enhancements, is a specializa-
tion of the whole project plan.

7 Mediating Ties

The mediating ties are the additional basic concepts necessary for establish-
ing an explicit concept relation between two domain concepts. Here, we need
to make a distinction between concepts that are necessary for establishing the
characteristics connection and the concepts considered important because they
are part of the context in which objects are understood and managed. E.g., it
may be claimed that in the area of building construction, the notion of a build-
ing model is essential for talking about construction budgets and construction
project plans. It is true that the notion is important as it defines the scope of
the budgets and the project plans. Hence, it is prerequisite knowledge for creat-
ing budgets and project plans. However, when considering the concept relation
between budgets and project plans isolated, it is irrelevant.
For relating the notions of budgets and project plans, we shall include the
mediating ties of work index and price index . A work index states the relation
between work to be performed and where the expenses for performing the work,