An Approach for Composing Services Based on Environment Ontology

Box 3

Rule  9: (|Pres(s)|=|Sucs(s)|=1) ∧ (Ser(Pres(s))=Ser(Sucs(s)))) => Merge(Pres(s),Sucs(s)).

Rule  10: BranchEntry(b) ∧ BranchExit(e) ∧ (source(t) =source(t′)=b) ∧ (target(t) =target(t′)=e) ∧ (Ser(t)=Ser(t′)) => Merge(t, t′).

Rule  11: BranchEntry(b) ∧ |Sers(Sucs(b))|=1 => Move(Sers (Sucs(b)), b).

Rule  12: (|Pres(s)|>1 ∨ (|Sucs(s)|>1)) ∧ (Ser(Sucs(s))∩Ser(Pres(s))≠⌀) ∧ (|Sers(Sucs(s))|>1 ∨ (|Ser(Pres(s))|>1)) => Divide

(Ser(Sucs(s))∩Ser(Pres(s)),s).

Rule  13: s∈From(s) ∧ t∈Pres(s) ∧ source(t)∉From(source(t)) ∧ t′∈Pres(s) ∧ source(t′)∈From(source(t′)) ∧ Ser(t)=Ser(t′) => Divide

(Ser (t), s).

Rule  14: s∈From(s) ∧ ((t∈Sucs(s)∧target(t)∈From(target (t))) ∧ (t′∈Sucs(s) ∧ target(t′)∉From(target(t))) ∧ (Ser(t) =Ser(t′)) => Divide

(Ser(t),s).