An Approach for Composing Services Based on Environment Ontology

Box 2

Rule  5: <s,fsm>∈Divs ∧ Sers(Pres(s))=(Sers(Sucs(s))) ∧ |Sers(Sucs(s))|=1 ∧ (Sers(Sucs(init(fsm))) ≠ Sers(Pres(s)) ∨ Sers (Pres(fin

(fsm))) ≠ Sers(Sucs(s))) = > Divide(Sers(Sucs(s)), s).

Rule  6: <s, fsm> ∈ Divs ∧ Sers(Sucs(init(fsm))) ≠ Sers(Pres(s)) = > Divide(Sers(Sucs(init(fsm))) ∩ Sers(Pres(s)),fsm); <s,fsm > ∈ Divs ∧

Sers(Pres(fin(fsm))) ≠ Sers(Sucs(s)) => Divide(Sers(Pres (fin (fsm))) ∩ Sers(Sucs(s)), fsm).

Rule  7: <s,fsm > ∈ Divs ∧ Sers(Pres(s))=Sers(Sucs(init(fsm))) ∧ |Sers(Pres(s))|=1 => Merge(Pres(s), Sucs(init(fsm))); <s,fsm> ∈ Divs ∧

Sers (Sucs(s))=Sers(Pres(fin(fsm))) ∧ Sers(Sucs(s))|= 1 => Merge (Sucs(s), Pres (fin(fsm))).

Rule  8: Sers(Pres(s)) = Sers(fsm) ∧ |Sers(Pres(s))|= 1 ∧ ∀fsm(<s, fsm>∈Divs→(Sers(fsm) = Sers(Pres(s)))) => Merge(Pres(s),fsm);

(Sers (Sucs(s)) = Sers(fsm)) ∧ |Sers(Sucs(s))|=1 ∧  ∀fsm(<s,fsm>∈Divs→ (Sers(fsm) = Sers (Sucs(s)))) = > Merge (Sucs(s), fsm).