Abstract:

In the framework of model-driven SOA,a verifiable and reasonable service process can be created in the business process layer.The five basic logical structures in the service combination are defined through formalization,and are described by colored Petri Net.Then these definitions are abstracted as algebraic computing.On the basis of which,the nature of the services obtained by algebraic computing and the way to construct the Web services are given.An example shows that the modeling approach can ensure the combination of services is correct and can be terminated.

Key words: SOA;MDA;colored Petri nets;model combination