Semantic oriented automatic pervasive services composition

In order to resolve the automatic service composition, pervasive service is presented as Colored Petri Net, which can describe the functional semantic of service. Based on the description model, an automatic pervasive service composition algorithm is proposed to automatically create a specification of composite process to achieve the user's requirement. This algorithm is able to create composite service based on the imprecise requirement, which is much more flexible than other composition mechanism.