支持服务组合的需求模型及其可满足性判定

支持服务组合的需求模型及其可满足性判定

叶荣华1 , 金芝2,3 , 钟发荣1

Requirement Model and Satisfiability Decision for Service Composition

YE Ronghua, JIN Zhi, ZHONG Farong

计算机科学与探索 . 2011, (5): 458 -466 .