.910. 智能系统学报 第10卷 Beijing:Science Press,2008:1-34. CHANG Zhiming,MAO Xinjun,WANG Ji,et al.Dynam- [31]JORSTAD I,DUSTDAR S,Van THANH D.A service ori- ic binding mechanism and its operational semantics of com- ented architecture framework for collaborative services ponent in multi-agent system[J].Journal of Computer Re- [C]//Proceedings of the 14th IEEE Intemational Work- search and Development,2007,44(5):806-814. shops on Enabling Technologies:Infrastructure for Collabo- [42]李青山，王璐，褚华，等.一种基于智能体技术的软件 rative Enterprises.Washington,DC:IEEE Computer Soci- 自适应动态演化机制[J].软件学报，2015,26(4)： ety,2005,121-125 760-777. [32]CHUNG J Y.An industry view on service-oriented archi- LI Qingshan,WANG Lu,CHU Hua,et al.Agent-Based tecture and web services[C]//Proceedings of IEEE Inter- software adaptive dynamic evolution mechanism[J].Jour- national Workshop on Service-Oriented System Engineer- nal of Software,2015.26(4):760-777. ing.Beijing:IEEE,2005:59. [43]杨春燕，蔡文.可拓信息-知识-智能形式化体系研究 [33]ANDREWS T,CURBEAR F,DHOLAKIA H,et al.Busi- [J].智能系统学报，2007,2(3)：8-11. ness Process Execution Language for Web Services version YANG Chunyan,CAI Wen.A formalized system of exten- 1.1 EB/OL]2007,http://www.ibm.com/developer- sion information-knowledge-intelligence[J].CAAI Trans- works/library/specification/ws-bpel/. actions on Intelligent Systems,2007,2(3):8-11. [34]ZHANG Jia,CHUNG J Y,CHANG C K,et al.WS-Net: [44]方卓君，李卫华，李承晓.自助游可拓策略生成系统的 A petri-net based specification model for web services 研究与实现[J].广东工业大学学报，2009,26(2)：83 [C]//Proceedings of the 20th IEEE International Confer- 89. ence on Web Services.San Diego,California:IEEE Com- FANG Zhuojun,LI Weihua,LI Chengxiao.Research and puter Society,2004:420-427. realization of Extension strategy generating system for inde- [35]KOSHKINA M,VAN BREUGEL F.Modelling and verif- pendent travel [J].Journal of Guangdong University of ying web service orchestration by means of the concurrency Technology,2009,26(2):83-89. workbench J].ACM SIGSOFT Software Engineering [45]叶广仔，李卫华，张希花.防治空气污染的可拓策略生 Notes,2004,29(5):1-10. 成系统研究与实现[J].广东工业大学学报，2007,24 [36]GU Xiwu,LU Zhengdin.A pi-calculus based formal model (4):42-48. for BPEL4 WS web service composition[J].Computer Sci- YE Guangzai,LI Weihua,ZHANG Xihua.Research and ence,2007,30(3):69-74. realization of extension strategy generating system for air [37]MULLER J P,COSSENTINO M.Agent-oriented software pollution prevention and cure[J].Journal of Guangdong U. engineering XIII C ]//13th International Workshop, niversity of Technology,2007,24(4):42-48. AOSE 2012,Valencia,Spain,June 4,2012,Revised Se- [46]陈智斌，彭平，陈宇亮.基于可拓策略生成技术的商品 lected Papers.Lecture Notes in Computer Science.Berlin 搜索服务改进研究[J].数学的实践与认识，2009,39 Heidelberg:Springer,2013,7852:22-41. (4):160-167. [38]WEYNS D,MULLER J P.Agent-oriented software engi- CHEN Zhibin,PENG Ring,CHEN Yuliang.Research on neering XII C ]//VILLATORO D,SABATER-MIR J, improvement of product search service base on extension SICHMAN J S.The 12th International Workshop,AOSE strategy generating technique[J].Mathematics in Practice 2011,Taipei,May 2011,Revised Selected Papers.Lec- and Theory,2009,39(4):160-167. ture Notes in Computer Science.Berlin Heidelberg: [47]朱伶俐，李卫华，李小妹.客户价值可拓知识挖掘软件 Springer,2012,6938:18-43. 研究[J].广东工业大学学报，2012,29(4)：7-13. [39]WEYNS D,GLEIZES M P.Agent-oriented software engi- ZHU Lingli,LI Weihua,LI Xiaomei.Research on exten- neering XI[C]//WEYNS D,GLEIZES,M P.11th Inter- sion knowledge mining software for customer value [J]. national Workshop,AOSE 2010,Toronto,Canada,May Journal of Guangdong University of Technology,2012,29 10-11,2010,Revised Selected Papers.Lecture Notes in (4):7-13. Computer Science.Berlin Heidelberg:Springer,2011. [48]苏楠.基于可拓逻辑的产品族配置设计方法[D].杭 6788:21-45. 州：浙江工业大学，2009：1-20. [40]SHI Zhongzhi,ZHANG Jianhua,YUE Jinpeng,et al.A SU Nan.Configuration design on the extension logic for cognitive model for multi-agent collaboration[J].Interna- product family D].Hangzhou:Zhejiang University of tional Journal of Intelligence Science,2014,4(1):1-6. Technology,2009:1-20. [41]常志明，毛新军，王戟，等.多Agent系统中软构件的 [49]杨国为，王先梅，涂序彦.面向计算机的产品创新设计 动态绑定机制及其操作语义[J].计算机研究与发展， 的新模型与新原理(1)[J刀].计算机工程与应用，2003， 2007,44(5),806-814. 39(32):7-9,47.Ｂｅｉｊｉｎｇ： Ｓｃｉｅｎｃｅ Ｐｒｅｓｓ， ２００８： １⁃３４． ［３１］ＪＯＲＳＴＡＤ Ｉ， ＤＵＳＴＤＡＲ Ｓ， Ｖａｎ ＴＨＡＮＨ Ｄ． Ａ ｓｅｒｖｉｃｅ ｏｒｉ⁃ ｅｎｔｅｄ ａｒｃｈｉｔｅｃｔｕｒｅ ｆｒａｍｅｗｏｒｋ ｆｏｒ ｃｏｌｌａｂｏｒａｔｉｖｅ ｓｅｒｖｉｃｅｓ ［Ｃ］ ／ ／ Ｐｒｏｃｅｅｄｉｎｇｓ ｏｆ ｔｈｅ １４ｔｈ ＩＥＥＥ Ｉｎｔｅｒｎａｔｉｏｎａｌ Ｗｏｒｋ⁃ ｓｈｏｐｓ ｏｎ Ｅｎａｂｌｉｎｇ Ｔｅｃｈｎｏｌｏｇｉｅｓ： Ｉｎｆｒａｓｔｒｕｃｔｕｒｅ ｆｏｒ Ｃｏｌｌａｂｏ⁃ ｒａｔｉｖｅ Ｅｎｔｅｒｐｒｉｓｅｓ． Ｗａｓｈｉｎｇｔｏｎ， ＤＣ： ＩＥＥＥ Ｃｏｍｐｕｔｅｒ Ｓｏｃｉ⁃ ｅｔｙ， ２００５， １２１⁃１２５ ［３２］ＣＨＵＮＧ Ｊ Ｙ． Ａｎ ｉｎｄｕｓｔｒｙ ｖｉｅｗ ｏｎ ｓｅｒｖｉｃｅ⁃ｏｒｉｅｎｔｅｄ ａｒｃｈｉ⁃ ｔｅｃｔｕｒｅ ａｎｄ ｗｅｂ ｓｅｒｖｉｃｅｓ［Ｃ］ ／ ／ Ｐｒｏｃｅｅｄｉｎｇｓ ｏｆ ＩＥＥＥ Ｉｎｔｅｒ⁃ ｎａｔｉｏｎａｌ Ｗｏｒｋｓｈｏｐ ｏｎ Ｓｅｒｖｉｃｅ⁃Ｏｒｉｅｎｔｅｄ Ｓｙｓｔｅｍ Ｅｎｇｉｎｅｅｒ⁃ ｉｎｇ． Ｂｅｉｊｉｎｇ： ＩＥＥＥ， ２００５： ５９． ［３３］ＡＮＤＲＥＷＳ Ｔ， ＣＵＲＢＥＡＲ Ｆ， ＤＨＯＬＡＫＩＡ Ｈ， ｅｔ ａｌ． Ｂｕｓｉ⁃ ｎｅｓｓ Ｐｒｏｃｅｓｓ Ｅｘｅｃｕｔｉｏｎ Ｌａｎｇｕａｇｅ ｆｏｒ Ｗｅｂ Ｓｅｒｖｉｃｅｓ ｖｅｒｓｉｏｎ １． １ ［ ＥＢ／ ＯＬ］ ２００７， ｈｔｔｐ： ／ ／ ｗｗｗ． ｉｂｍ． ｃｏｍ／ ｄｅｖｅｌｏｐｅｒ⁃ ｗｏｒｋｓ／ ｌｉｂｒａｒｙ ／ ｓｐｅｃｉｆｉｃａｔｉｏｎ ／ ｗｓ⁃ｂｐｅｌ ／ ． ［３４］ＺＨＡＮＧ Ｊｉａ， ＣＨＵＮＧ Ｊ Ｙ， ＣＨＡＮＧ Ｃ Ｋ， ｅｔ ａｌ． ＷＳ⁃Ｎｅｔ： Ａ ｐｅｔｒｉ⁃ｎｅｔ ｂａｓｅｄ ｓｐｅｃｉｆｉｃａｔｉｏｎ ｍｏｄｅｌ ｆｏｒ ｗｅｂ ｓｅｒｖｉｃｅｓ ［Ｃ］ ／ ／ Ｐｒｏｃｅｅｄｉｎｇｓ ｏｆ ｔｈｅ ２０ｔｈ ＩＥＥＥ Ｉｎｔｅｒｎａｔｉｏｎａｌ Ｃｏｎｆｅｒ⁃ ｅｎｃｅ ｏｎ Ｗｅｂ Ｓｅｒｖｉｃｅｓ． Ｓａｎ Ｄｉｅｇｏ， Ｃａｌｉｆｏｒｎｉａ： ＩＥＥＥ Ｃｏｍ⁃ ｐｕｔｅｒ Ｓｏｃｉｅｔｙ， ２００４： ４２０⁃４２７． ［３５］ ＫＯＳＨＫＩＮＡ Ｍ， ＶＡＮ ＢＲＥＵＧＥＬ Ｆ． Ｍｏｄｅｌｌｉｎｇ ａｎｄ ｖｅｒｉｆ⁃ ｙｉｎｇ ｗｅｂ ｓｅｒｖｉｃｅ ｏｒｃｈｅｓｔｒａｔｉｏｎ ｂｙ ｍｅａｎｓ ｏｆ ｔｈｅ ｃｏｎｃｕｒｒｅｎｃｙ ｗｏｒｋｂｅｎｃｈ ［ Ｊ ］． ＡＣＭ ＳＩＧＳＯＦＴ Ｓｏｆｔｗａｒｅ Ｅｎｇｉｎｅｅｒｉｎｇ Ｎｏｔｅｓ， ２００４， ２９（５）： １⁃１０． ［３６］ＧＵ Ｘｉｗｕ， ＬＵ Ｚｈｅｎｇｄｉｎ． Ａ ｐｉ⁃ｃａｌｃｕｌｕｓ ｂａｓｅｄ ｆｏｒｍａｌ ｍｏｄｅｌ ｆｏｒ ＢＰＥＬ４ ＷＳ ｗｅｂ ｓｅｒｖｉｃｅ ｃｏｍｐｏｓｉｔｉｏｎ［Ｊ］． Ｃｏｍｐｕｔｅｒ Ｓｃｉ⁃ ｅｎｃｅ， ２００７， ３０（３）： ６９⁃７４． ［３７］ＭＵＬＬＥＲ Ｊ Ｐ， ＣＯＳＳＥＮＴＩＮＯ Ｍ． Ａｇｅｎｔ⁃ｏｒｉｅｎｔｅｄ ｓｏｆｔｗａｒｅ ｅｎｇｉｎｅｅｒｉｎｇ ＸＩＩＩ ［ Ｃ ］ ／ ／ １３ｔｈ Ｉｎｔｅｒｎａｔｉｏｎａｌ Ｗｏｒｋｓｈｏｐ， ＡＯＳＥ ２０１２， Ｖａｌｅｎｃｉａ， Ｓｐａｉｎ， Ｊｕｎｅ ４， ２０１２， Ｒｅｖｉｓｅｄ Ｓｅ⁃ ｌｅｃｔｅｄ Ｐａｐｅｒｓ． Ｌｅｃｔｕｒｅ Ｎｏｔｅｓ ｉｎ Ｃｏｍｐｕｔｅｒ Ｓｃｉｅｎｃｅ． Ｂｅｒｌｉｎ Ｈｅｉｄｅｌｂｅｒｇ： Ｓｐｒｉｎｇｅｒ， ２０１３， ７８５２： ２２⁃４１． ［３８］ ＷＥＹＮＳ Ｄ， ＭＵＬＬＥＲ Ｊ Ｐ． Ａｇｅｎｔ⁃ｏｒｉｅｎｔｅｄ ｓｏｆｔｗａｒｅ ｅｎｇｉ⁃ ｎｅｅｒｉｎｇ ＸＩＩ ［ Ｃ ］ ／ ／ ＶＩＬＬＡＴＯＲＯ Ｄ， ＳＡＢＡＴＥＲ⁃ＭＩＲ Ｊ， ＳＩＣＨＭＡＮ Ｊ Ｓ． Ｔｈｅ １２ｔｈ Ｉｎｔｅｒｎａｔｉｏｎａｌ Ｗｏｒｋｓｈｏｐ， ＡＯＳＥ ２０１１， Ｔａｉｐｅｉ， Ｍａｙ ２０１１， Ｒｅｖｉｓｅｄ Ｓｅｌｅｃｔｅｄ Ｐａｐｅｒｓ． Ｌｅｃ⁃ ｔｕｒｅ Ｎｏｔｅｓ ｉｎ Ｃｏｍｐｕｔｅｒ Ｓｃｉｅｎｃｅ． Ｂｅｒｌｉｎ Ｈｅｉｄｅｌｂｅｒｇ： Ｓｐｒｉｎｇｅｒ， ２０１２， ６９３８： １８⁃４３． ［３９］ＷＥＹＮＳ Ｄ， ＧＬＥＩＺＥＳ Ｍ Ｐ． Ａｇｅｎｔ⁃ｏｒｉｅｎｔｅｄ ｓｏｆｔｗａｒｅ ｅｎｇｉ⁃ ｎｅｅｒｉｎｇ ＸＩ［Ｃ］ ／ ／ ＷＥＹＮＳ Ｄ， ＧＬＥＩＺＥＳ， Ｍ Ｐ． １１ｔｈ Ｉｎｔｅｒ⁃ ｎａｔｉｏｎａｌ Ｗｏｒｋｓｈｏｐ， ＡＯＳＥ ２０１０， Ｔｏｒｏｎｔｏ， Ｃａｎａｄａ， Ｍａｙ １０⁃１１， ２０１０， Ｒｅｖｉｓｅｄ Ｓｅｌｅｃｔｅｄ Ｐａｐｅｒｓ． Ｌｅｃｔｕｒｅ Ｎｏｔｅｓ ｉｎ Ｃｏｍｐｕｔｅｒ Ｓｃｉｅｎｃｅ． Ｂｅｒｌｉｎ Ｈｅｉｄｅｌｂｅｒｇ： Ｓｐｒｉｎｇｅｒ， ２０１１， ６７８８： ２１⁃４５． ［４０］ ＳＨＩ Ｚｈｏｎｇｚｈｉ， ＺＨＡＮＧ Ｊｉａｎｈｕａ， ＹＵＥ Ｊｉｎｐｅｎｇ， ｅｔ ａｌ． Ａ ｃｏｇｎｉｔｉｖｅ ｍｏｄｅｌ ｆｏｒ ｍｕｌｔｉ⁃ａｇｅｎｔ ｃｏｌｌａｂｏｒａｔｉｏｎ［ Ｊ］． Ｉｎｔｅｒｎａ⁃ ｔｉｏｎａｌ Ｊｏｕｒｎａｌ ｏｆ Ｉｎｔｅｌｌｉｇｅｎｃｅ Ｓｃｉｅｎｃｅ， ２０１４， ４（１）： １⁃６． ［４１］常志明， 毛新军， 王戟， 等． 多 Ａｇｅｎｔ 系统中软构件的 动态绑定机制及其操作语义［ Ｊ］． 计算机研究与发展， ２００７， ４４（５）， ８０６⁃８１４． ＣＨＡＮＧ Ｚｈｉｍｉｎｇ， ＭＡＯ Ｘｉｎｊｕｎ， ＷＡＮＧ Ｊｉ， ｅｔ ａｌ． Ｄｙｎａｍ⁃ ｉｃ ｂｉｎｄｉｎｇ ｍｅｃｈａｎｉｓｍ ａｎｄ ｉｔｓ ｏｐｅｒａｔｉｏｎａｌ ｓｅｍａｎｔｉｃｓ ｏｆ ｃｏｍ⁃ ｐｏｎｅｎｔ ｉｎ ｍｕｌｔｉ⁃ａｇｅｎｔ ｓｙｓｔｅｍ［Ｊ］． Ｊｏｕｒｎａｌ ｏｆ Ｃｏｍｐｕｔｅｒ Ｒｅ⁃ ｓｅａｒｃｈ ａｎｄ Ｄｅｖｅｌｏｐｍｅｎｔ， ２００７， ４４（５）： ８０６⁃８１４． ［４２］李青山， 王璐， 褚华， 等． 一种基于智能体技术的软件 自适应动态演化机制［ Ｊ］． 软件学报， ２０１５， ２６ （ ４）： ７６０⁃７７７． ＬＩ Ｑｉｎｇｓｈａｎ， ＷＡＮＧ Ｌｕ， ＣＨＵ Ｈｕａ， ｅｔ ａｌ． Ａｇｅｎｔ⁃Ｂａｓｅｄ ｓｏｆｔｗａｒｅ ａｄａｐｔｉｖｅ ｄｙｎａｍｉｃ ｅｖｏｌｕｔｉｏｎ ｍｅｃｈａｎｉｓｍ［ Ｊ］． Ｊｏｕｒ⁃ ｎａｌ ｏｆ Ｓｏｆｔｗａｒｅ， ２０１５， ２６（４）： ７６０⁃７７７． ［４３］杨春燕， 蔡文． 可拓信息－知识－智能形式化体系研究 ［Ｊ］． 智能系统学报， ２００７， ２（３）： ８⁃１１． ＹＡＮＧ Ｃｈｕｎｙａｎ， ＣＡＩ Ｗｅｎ． Ａ ｆｏｒｍａｌｉｚｅｄ ｓｙｓｔｅｍ ｏｆ ｅｘｔｅｎ⁃ ｓｉｏｎ ｉｎｆｏｒｍａｔｉｏｎ⁃ｋｎｏｗｌｅｄｇｅ⁃ｉｎｔｅｌｌｉｇｅｎｃｅ ［ Ｊ］． ＣＡＡＩ Ｔｒａｎｓ⁃ ａｃｔｉｏｎｓ ｏｎ Ｉｎｔｅｌｌｉｇｅｎｔ Ｓｙｓｔｅｍｓ， ２００７， ２（３）： ８⁃１１． ［４４］方卓君， 李卫华， 李承晓． 自助游可拓策略生成系统的 研究与实现［Ｊ］． 广东工业大学学报， ２００９， ２６（２）： ８３⁃ ８９． ＦＡＮＧ Ｚｈｕｏｊｕｎ， ＬＩ Ｗｅｉｈｕａ， ＬＩ Ｃｈｅｎｇｘｉａｏ． Ｒｅｓｅａｒｃｈ ａｎｄ ｒｅａｌｉｚａｔｉｏｎ ｏｆ Ｅｘｔｅｎｓｉｏｎ ｓｔｒａｔｅｇｙ ｇｅｎｅｒａｔｉｎｇ ｓｙｓｔｅｍ ｆｏｒ ｉｎｄｅ⁃ ｐｅｎｄｅｎｔ ｔｒａｖｅｌ ［ Ｊ ］． Ｊｏｕｒｎａｌ ｏｆ Ｇｕａｎｇｄｏｎｇ Ｕｎｉｖｅｒｓｉｔｙ ｏｆ Ｔｅｃｈｎｏｌｏｇｙ， ２００９， ２６（２）： ８３⁃８９． ［４５］叶广仔， 李卫华， 张希花． 防治空气污染的可拓策略生 成系统研究与实现［ Ｊ］． 广东工业大学学报， ２００７， ２４ （４）： ４２⁃４８． ＹＥ Ｇｕａｎｇｚａｉ， ＬＩ Ｗｅｉｈｕａ， ＺＨＡＮＧ Ｘｉｈｕａ． Ｒｅｓｅａｒｃｈ ａｎｄ ｒｅａｌｉｚａｔｉｏｎ ｏｆ ｅｘｔｅｎｓｉｏｎ ｓｔｒａｔｅｇｙ ｇｅｎｅｒａｔｉｎｇ ｓｙｓｔｅｍ ｆｏｒ ａｉｒ ｐｏｌｌｕｔｉｏｎ ｐｒｅｖｅｎｔｉｏｎ ａｎｄ ｃｕｒｅ［Ｊ］． Ｊｏｕｒｎａｌ ｏｆ Ｇｕａｎｇｄｏｎｇ Ｕ⁃ ｎｉｖｅｒｓｉｔｙ ｏｆ Ｔｅｃｈｎｏｌｏｇｙ， ２００７， ２４（４）： ４２⁃４８． ［４６］陈智斌， 彭平， 陈宇亮． 基于可拓策略生成技术的商品 搜索服务改进研究［ Ｊ］． 数学的实践与认识， ２００９， ３９ （４）： １６０⁃１６７． ＣＨＥＮ Ｚｈｉｂｉｎ， ＰＥＮＧ Ｒｉｎｇ， ＣＨＥＮ Ｙｕｌｉａｎｇ． Ｒｅｓｅａｒｃｈ ｏｎ ｉｍｐｒｏｖｅｍｅｎｔ ｏｆ ｐｒｏｄｕｃｔ ｓｅａｒｃｈ ｓｅｒｖｉｃｅ ｂａｓｅ ｏｎ ｅｘｔｅｎｓｉｏｎ ｓｔｒａｔｅｇｙ ｇｅｎｅｒａｔｉｎｇ ｔｅｃｈｎｉｑｕｅ［ Ｊ］． Ｍａｔｈｅｍａｔｉｃｓ ｉｎ Ｐｒａｃｔｉｃｅ ａｎｄ Ｔｈｅｏｒｙ， ２００９， ３９（４）： １６０⁃１６７． ［４７］朱伶俐， 李卫华， 李小妹． 客户价值可拓知识挖掘软件 研究［Ｊ］． 广东工业大学学报， ２０１２， ２９（４）： ７⁃１３． ＺＨＵ Ｌｉｎｇｌｉ， ＬＩ Ｗｅｉｈｕａ， ＬＩ Ｘｉａｏｍｅｉ． Ｒｅｓｅａｒｃｈ ｏｎ ｅｘｔｅｎ⁃ ｓｉｏｎ ｋｎｏｗｌｅｄｇｅ ｍｉｎｉｎｇ ｓｏｆｔｗａｒｅ ｆｏｒ ｃｕｓｔｏｍｅｒ ｖａｌｕｅ ［ Ｊ ］． Ｊｏｕｒｎａｌ ｏｆ Ｇｕａｎｇｄｏｎｇ Ｕｎｉｖｅｒｓｉｔｙ ｏｆ Ｔｅｃｈｎｏｌｏｇｙ， ２０１２， ２９ （４）： ７⁃１３． ［４８］苏楠． 基于可拓逻辑的产品族配置设计方法［Ｄ］． 杭 州： 浙江工业大学， ２００９： １⁃２０． ＳＵ Ｎａｎ． Ｃｏｎｆｉｇｕｒａｔｉｏｎ ｄｅｓｉｇｎ ｏｎ ｔｈｅ ｅｘｔｅｎｓｉｏｎ ｌｏｇｉｃ ｆｏｒ ｐｒｏｄｕｃｔ ｆａｍｉｌｙ ［ Ｄ］． Ｈａｎｇｚｈｏｕ： Ｚｈｅｊｉａｎｇ Ｕｎｉｖｅｒｓｉｔｙ ｏｆ Ｔｅｃｈｎｏｌｏｇｙ， ２００９： １⁃２０． ［４９］杨国为， 王先梅， 涂序彦． 面向计算机的产品创新设计 的新模型与新原理（１） ［Ｊ］． 计算机工程与应用， ２００３， ３９ （３２）： ７⁃９， ４７． ·９１０· 智 能 系 统 学 报 第 １０ 卷