Collaborative Knowledge Framework for Mediation Information System Engineering

Table 2

Examples of transformation rules.

Group 1: create mediator
Subnetwork → mediator
∀Sub Network (X) (∀hasPartner (Sub Network (X), Partner (X1)) ∧ (∀hasPartner (Sub Network (X), Partner (X2))∧⋯∧ (∀hasPartner (Sub Network (X), Partner (Xn)))	()
Mediator (X) ∧∃hasMediator (Sub Network (X), Mediator (X))
Group 2: create mediator relationship
Strategy and operation objective → main function → business message → order
If ∀Strategy Objective (X1) (∀generates (Strategy Objective (X1), Main Function (X1))) ∧	()
∀Operation Objective (X2) (∀generates (Operation Objective (X2), Main Function (X2)))
If ∀Main Function (X1) (∀out (Main Function (X1), Business Message (m))) ∧
∀Main Function (X2) (∀in (Main Function (X2), Business Message (m)))
Order (m) (hasMediatorRelationship (Mediator (X1), Order (m))) ∧
∃ Order (m) (hasMediatorRelationship (Mediator (X2), Order (m)))