›› 2012, Vol. 25 ›› Issue (2): 93-.

• Articles • Previous Articles     Next Articles

Research on Service Model Combination of Model-driven SOA Based on Colored Petri Nets

 WANG Hong-Da, ZHOU Liang   

  1. (School of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 210016,China)
  • Online:2012-02-15 Published:2012-02-29


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

CLC Number: 

  • TP311.52