An Approach for Composing Services Based on Environment Ontology

Algorithm 7

Decomposition algorithm based on the basic unit of the functionality.

DivByBeha(Req, ReqSet)// input Req which can a autonomous entity, a symbolic entity or a fsm, output ReqSet

(1) for(each 𝑏 in Req)// 𝑏 is the basic unit of the functionality, which can be a data, an event or transition

(2)  ReqSet:= create({𝑏}, Req);

(3) end for