Research on Service Model Combination Method Based on Colored Petri Net
Guang Yi Tang(Harbin University of Science and Technology), Deng Ju Yao(Harbin University of Science and Technology), Li Cui(Harbin University of Science and Technology)
Cited by 0
Abstract
Model-driven architecture and service-oriented architecture are popular software development methods at the present, these two methods have their own advantages and disadvantages, the proposed SOA-based Model-driven Rapid Development Architecture by combining these two methods, Using colored Petri nets’ tools to study service composition methods specifically, and described five basic logical structure of service composition through formal methods, then gave out the construction method of composite services, finally, verified the effectiveness and safety of the service composition method through the modeling.