Requirement Model and Satisfiability Decision for Service Composition
YE Ronghua, JIN Zhi, ZHONG Farong
1. Institute of Computer Science and Technology, Zhejiang Normal University, Jinhua, Zhejiang 321004, China 2. Key Laboratory of High Confidence Software Technologies, Ministry of Education, Peking University, Beijing 100871, China 3. Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100190, China
YE Ronghua, JIN Zhi, ZHONG Farong. Requirement Model and Satisfiability Decision for Service Composition[J]. Journal of Frontiers of Computer Science and Technology, 2011, 5(5): 458-466.