[1]范锐,彭银桥,陈月峰,等.基于可拓学的自适应软件形式化方法[J].智能系统学报编辑部,2015,10(6):901-911.[doi:10.11992/tis.201507043]
 FAN Rui,PENG Yinqiao,CHEN Yuefeng,et al.A method for self-adaptive software formal modeling by Extenics[J].CAAI Transactions on Intelligent Systems,2015,10(6):901-911.[doi:10.11992/tis.201507043]
点击复制

基于可拓学的自适应软件形式化方法

参考文献/References:
[1] 丁博, 王怀民, 史殿习. 构造具备自适应能力的软件[J]. 软件学报, 2013, 24(9):1981-2000.DING Bo, WANG Huaimin, SHI Dianxi. Constructing software with self-adaptability[J]. Journal of Software, 2013, 24(9):1981-2000.
[2] LADDAGA R. Creating robust software through self-adaptation[J]. IEEE Intelligent Systems and Their Applications, 1999, 14(3):26-29.
[3] KAKOUSIS K, PASPALLIS N PAPADOPOULOS G A. A survey of software adaptation in mobile and ubiquitous computing[J]. Enterprise Information Systems, 2010, 4(4):355-389.
[4] F D MACIAS-ESCRIVA, R H AW, R DEL TOROV, et al. Self-adaptive systems:a survey of current approaches, research challenges and applications[J]. Expert Systems with Applications, 2013, 40(18):7267-7279.
[5] 金芝, 吕建. 软件系统需要自适应能力-为什么和如何拥有?[J]. 中国计算机学会通讯, 2013, 9(6):6-7. JIN Zhi, LYU Jian. Why and how to achieve self-adaptive ability for software systems?[J]. Communication of CCF, 2013, 9(6):6-7.
[6] 张伟, 赵海燕. 软件可信性与自适应软件随想[J]. 中国计算机学会通讯, 2013, 9(6):8-13. ZHANG Wei, ZHAO Haiyan. Some thinking on trustworthiness and self-adaptability of software[J]. Communication of CCF, 2013, 9(6):8-13.
[7] 刘磷. 软件服务的自适应与演化需求建模[J]. 中国计算机学会通讯, 2013, 9(6):13-20. LIU Lin. Adaptation and evolution requirements of software systems services[J]. Communication of CCF, 2013, 9(6):13-20.
[8] 毛新军, 孙跃坤. 社会技术系统的自适应技术[J]. 中国计算机学会通讯, 2013, 9(6):20-26. MAO Xinjun, SUN Yuekun. Self-adaptation technology for social technical system[J]. Communication of CCF, 2013, 9(6):20-26.
[9] 彭鑫, 陈碧欢, 赵文耘. 需求驱动的软件自适应方法[J]. 中国计算机学会通讯, 2013, 9(6):27-36. PENG Xin, CHEN Bihuan, ZHAO Wenyun. Requirement-driven software self-adaptation[J]. Communication of CCF, 2013, 9(6):27-36.
[10] 丁博, 王怀民, 史殿习, 等. 一种支持软件可信演化的构件模型[J]. 软件学报, 2011, 22(1):17-27. DING Bo, WANG Huaimin, SHI Dianxi, et al. Component model supporting trustworthiness-oriented software evolution[J]. Journal of Software, 2011, 22(1):17-27.
[11] 何克清. 面向按需服务的软件方法及其标准化研究进展[J]. 中国计算机学会通讯, 2010, 6(9):21-25. HE Keqing. The research progress for software method and standardization based on on-demand services[J]. Communication of CCF, 2010, 6(9):21-25.
[12] 陈洪龙, 李仁发. 自适应演化软件研究进展[J]. 计算机应用研究, 2010, 27(10):3612-3616, 3621. CHEN Honglong, LI Renfa. Survey on self-adaptive evolution software[J]. Application Research of Computers, 2010, 27(10):3612-3616, 3621.
[13] 刘智斌, 朱晓龙, 曹宝香. 一种自适应程序设计方法[J]. 计算机工程与应用, 2011, 47(36):80-82, 126. LIU Zhibin, ZHU Xiaolong, CAO Baoxiang. Method of adaptive programming[J]. Computer Engineering and Applications, 2011, 47(36):80-82, 126.
[14] 王振东, 王慧强, 冯光升, 等. 自律计算系统及其关键技术研究[J]. 计算机科学, 2013, 40(7):15-18, 53. WANG Zhendong, WANG Huiqiang, FENG Guangsheng, et al. Research on autonomic computing system and its key technologies[J]. Computer Science, 2013, 40(7):15-18, 53.
[15] 蔡文, 杨春燕. 可拓学的基础理论与方法体系[J]. 科学通报, 2013, 58(13):1190-1199. CAI Wen, YANG Chunyan. Basic theory and methodology on Extenics[J]. Chinese Science Bulletin, 2013, 58(13):1190-1199.
[16] YANG Chunyan, CAI Wen. Extenics:theory, method and application[M]. Beijing:Science Press, 2013:1-375.
[17] 杨春燕, 李兴森. 可拓创新方法及其应用研究进展[J]. 工业工程, 2012, 15(1):131-137.YANG Chunyan, LI Xingsen. Research progress in extension innovation method and its applications[J]. Industrial Engineering Journal, 2012, 15(1):131-137.
[18] 孙昌爱, 金茂忠, 刘超. 软件体系结构研究综述[J]. 软件学报, 2002, 13(7):1228-1237. SUN Chang’ai, JIN Maozhong, LIU Chao. Overviews on software architecture research[J]. Journal of Software, 2002, 13(7):1228-1237.
[19] SHAW M. The coming-of-age of software architecture research[C]//Proceedings of the 23rd International Conference on Software Engineering. Washington, DC:IEEE Computer Society, 2001:656-664.
[20] ALLEN R, DOUENCE R, GARLAN D. Specifying and analyzing dynamic software architectures[M]//ASTESIANO E. Fundamental Approaches to Software Engineering. Berlin Heidelberg:Springer, 1998, 1382:21-37.
[21] 任洪敏. 基于π演算的软件体系结构形式化研究[D]. 上海:复旦大学, 2003:1-22. RAN Hongmin. Research on software architectural formalism based on π calculus[D]. Shanghai, China:Fudan University, 2003:1-22.
[22] 李长云. 基于体系结构的软件动态演化研究[D]. 杭州:浙江大学, 2005:1-31. LI Changyun. Research on architecture-based software dynamic[D]. Hangzhou:Zhejiang University, 2005:1-31.
[23] MILNER R. The space and motion of communicating Agents[M]. Cambridge:Cambridge University Press, 2009:1-179.
[24] 汪玲, 戎玫, 张广泉, 等. 基于Bigraph的面向方面动态软件体系结构演化研究[J]. 计算机科学, 2010, 37(9):137-140. WANG Ling, RONG Mei, ZHANG Guangquan, et al. Research on bigraph-based aspect-oriented dynamic software architecture evolution[J]. Computer Science, 2010, 37(9):137-140.
[25] 陈洪龙, 李仁发. 基于Bigraph理论的动态演化软件相关特性分析与验证方法[J]. 小型微型计算机系统, 2010, 31(12):2305-2309. CHEN Honglong, LI Renfa. Analyzing and verifying method for dynamic evolution software based on bigraphical theory[J]. Journal of Chinese Computer Systems, 2010, 31(12):2305-2309.
[26] 刘培培, 章勇, 莫启, 等. 一种基于Bigraph理论的软件演化过程模型研究[J]. 计算机应用研究, 2013, 30(5):1423-1426. LIU Peipei, ZHANG Yong, MO Qi, et al. Research on software evolution process model based on Bigraph theory[J]. Application Research of Computers, 2013, 30(15):1423-1426.
[27] 吕建, 马晓星, 陶先平, 等. 网构软件的研究与进展[J]. 中国科学 E辑 信息科学, 2006, 36(10):1037-1080. LYU Jian, MA Xiaoxing, TAO Xianping, et al. Research and development for Internetware software[J]. Science in China Ser. E Information Sciences, 2006, 36(10):1037-1080.
[28] 何克清, 彭蓉, 刘玮, 等. 网络式软件[M]. 北京:科学出版社, 2008:1-30. HE Keqing, PENG Rong, LIU Wei, et al. Netwoked Sofware[M]. Beijing:Science Press, 2008:1-30.
[29] 何克清, 马于涛, 刘婧, 等. 软件网络[M]. 北京:科学出版社, 2008:1-25. HE Keqing, MA Yutao, LIU Jing, et al. Software Netwok[M]. Beijing:Science Press, 2008:1-25.
[30] 何克清, 何扬帆, 王翀, 等. 本体元建模理论与方法及其应用[M]. 北京:科学出版社, 2008:1-34. HE Keqing, HE Yangfan, WANG Chong, et al. Ontological metamodeling theory, methods and application[M]. Beijing:Science Press, 2008:1-34.
[31] JORSTAD I, DUSTDAR S, Van THANH D. A service oriented architecture framework for collaborative services[C]//Proceedings of the 14th IEEE International Workshops on Enabling Technologies:Infrastructure for Collaborative Enterprises. Washington, DC:IEEE Computer Society, 2005, 121-125
[32] CHUNG J Y. An industry view on service-oriented architecture and web services[C]//Proceedings of IEEE International Workshop on Service-Oriented System Engineering. Beijing:IEEE, 2005:59.
[33] ANDREWS T, CURBEAR F, DHOLAKIA H, et al. Business Process Execution Language for Web Services version 1.1 2007, http://www.ibm.com/developerworks/library/specification/ws-bpel/.
[34] ZHANG Jia, CHUNG J Y, CHANG C K, et al. WS-Net:A petri-net based specification model for web services[C]//Proceedings of the 20th IEEE International Conference on Web Services. San Diego, California:IEEE Computer Society, 2004:420-427.
[35] KOSHKINA M, VAN BREUGEL F. Modelling and verifying web service orchestration by means of the concurrency workbench[J]. ACM SIGSOFT Software Engineering Notes, 2004, 29(5):1-10.
[36] GU Xiwu, LU Zhengdin. A pi-calculus based formal model for BPEL4 WS web service composition[J]. Computer Science, 2007, 30(3):69-74.
[37] MULLER J P, COSSENTINO M. Agent-oriented software engineering XIII[C]//13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers. Lecture Notes in Computer Science.Berlin Heidelberg:Springer, 2013, 7852:22-41.
[38] WEYNS D, MULLER J P. Agent-oriented software engineering XII[C]//VILLATORO D, SABATER-MIR J, SICHMAN J S. The 12th International Workshop, AOSE 2011, Taipei, May 2011, Revised Selected Papers. Lecture Notes in Computer Science. Berlin Heidelberg:Springer, 2012, 6938:18-43.
[39] WEYNS D, GLEIZES M P. Agent-oriented software engineering XI[C]//WEYNS D, GLEIZES, M P. 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers. Lecture Notes in Computer Science. Berlin Heidelberg:Springer, 2011, 6788:21-45.
[40] SHI Zhongzhi, ZHANG Jianhua, YUE Jinpeng, et al. A cognitive model for multi-agent collaboration[J]. International Journal of Intelligence Science, 2014, 4(1):1-6.
[41] 常志明, 毛新军, 王戟, 等. 多Agent系统中软构件的动态绑定机制及其操作语义[J]. 计算机研究与发展, 2007, 44(5), 806-814. CHANG Zhiming, MAO Xinjun, WANG Ji, et al. Dynamic binding mechanism and its operational semantics of component in multi-agent system[J]. Journal of Computer Research and Development, 2007, 44(5):806-814.
[42] 李青山, 王璐, 褚华, 等. 一种基于智能体技术的软件自适应动态演化机制[J]. 软件学报, 2015, 26(4):760-777. LI Qingshan, WANG Lu, CHU Hua, et al. Agent-Based software adaptive dynamic evolution mechanism[J]. Journal of Software, 2015, 26(4):760-777.
[43] 杨春燕, 蔡文. 可拓信息-知识-智能形式化体系研究[J]. 智能系统学报, 2007, 2(3):8-11. YANG Chunyan, CAI Wen. A formalized system of extension information-knowledge-intelligence[J]. CAAI Transactions on Intelligent Systems, 2007, 2(3):8-11.
[44] 方卓君, 李卫华, 李承晓. 自助游可拓策略生成系统的研究与实现[J]. 广东工业大学学报, 2009, 26(2):83-89. FANG Zhuojun, LI Weihua, LI Chengxiao. Research and realization of Extension strategy generating system for independent travel[J]. Journal of Guangdong University of Technology, 2009, 26(2):83-89.
[45] 叶广仔, 李卫华, 张希花. 防治空气污染的可拓策略生成系统研究与实现[J]. 广东工业大学学报, 2007, 24(4):42-48. YE Guangzai, LI Weihua, ZHANG Xihua. Research and realization of extension strategy generating system for air pollution prevention and cure[J]. Journal of Guangdong University of Technology, 2007, 24(4):42-48.
[46] 陈智斌, 彭平, 陈宇亮. 基于可拓策略生成技术的商品搜索服务改进研究[J]. 数学的实践与认识, 2009, 39(4):160-167. CHEN Zhibin, PENG Ring, CHEN Yuliang. Research on improvement of product search service base on extension strategy generating technique[J]. Mathematics in Practice and Theory, 2009, 39(4):160-167.
[47] 朱伶俐, 李卫华, 李小妹. 客户价值可拓知识挖掘软件研究[J]. 广东工业大学学报, 2012, 29(4):7-13. ZHU Lingli, LI Weihua, LI Xiaomei. Research on extension knowledge mining software for customer value[J]. Journal of Guangdong University of Technology, 2012, 29(4):7-13.
[48] 苏楠. 基于可拓逻辑的产品族配置设计方法[D]. 杭州:浙江工业大学, 2009:1-20. SU Nan. Configuration design on the extension logic for product family[D]. Hangzhou:Zhejiang University of Technology, 2009:1-20.
[49] 杨国为, 王先梅, 涂序彦. 面向计算机的产品创新设计的新模型与新原理(1)[J]. 计算机工程与应用, 2003, 39 (32):7-9, 47. YANG Guowei, WANG Xianmei, TU Xuyan. New Models and principles on computer-oriented innovative and creative design of products (I)[J]. Computer Engineering and applications, 2003, 39(32):7-9, 47.
[50] 杨国为, 王先梅, 涂序彦. 面向计算机的产品创新设计的新模型与新原理(2)[J]. 计算机工程与应用, 2003, 39 (33):22-24, 64. YANG Guowei, WANG Xianmei, TU Xuyan. New models and principles on computer-oriented innovative and creative design of products (Ⅱ)[J]. Computer Engineering and applications, 2003, 39(33):22-24, 64.
[51] 邹广天. 建筑设计创新与可拓思维模式[J]. 哈尔滨工业大学学报, 2006, 38(7):1120-1123. ZOU Guangtian. Innovation of architectural design and extension thinking modes[J]. Journal of Harbin Institute of Technology, 2006, 38(7):1120-1123.
[52] 王涛, 邹广天. 空间元与建筑室内空间设计中的矛盾问题[J]. 哈尔滨工业大学学报, 2006, 38(7):1139-1142, 1145. WANG Tao, ZOU Guangtian. Space-element and contradictory problems consisting in design of architectural interior space[J]. Journal of Harbin Institute of Technology, 2006, 38(7):1139-1142, 1145.
[53] 周志丹, 李兴森. 企业自主创新的可拓创新模型构建与应用研究[J]. 科学学研究, 2010, 28(5):769-776. ZHOU Zhidan, LI Xingsen. Research on extenics-based innovation model construction and application of enterprise independent innovation[J]. Studies in Science of Science, 2010, 28(5):769-776.
[54] 李兴森, 刘艳彬. 可拓学与信息管理、知识管理的关系研究[J]. 当代经济管理, 2011, 33(11):6-9. LI Xingsen, LIU Yanbin. Study on the relationship among extenics, information management and knowledge management in the knowledge economy[J]. Contemporary Economy & Management, 2011, 33(11):6-9.
[55] 杨春燕, 李卫华, 李小妹. 矛盾问题智能化处理的理论与方法研究进展[J]. 广东工业大学学报, 2011, 28(1):86-94, 97. YANG Chunyan, LI Weihua, LI Xiaomei. Recent research progress in theories and methods for the intelligent disposal of contradictory problems[J]. Journal of Guangdong University of Technology, 2011, 28(1):86-94, 97.
[56] 李卫华. 利用知网增强可拓策略生成机制研究[J]. 广东工业大学学报, 2013, 30(2):1-6. LI Weihua. Research on taking advantage of the hownet to enhance mechanisms of extension strategy generation[J]. Journal of Guangdong University of Technology, 2013, 30(2):1-6.
[57] 陈智斌, 彭平, 贾西平. 基于认知科学的可拓变换构造问题研究[J]. 广东工业大学学报, 2011, 28(4):1-6. CHEN Zhibin, PENG Ping, JIA Xiping. Research on the construction of extension transformation based on cognitive science[J]. Journal of Guangdong University of Technology, 2011, 28(4):1-6.
[58] 李博, 同淑荣, 白晶. 设计过程基因可拓基元模型及过程基因变异[J]. 机械科学与技术, 2012, 31(1):87-95. LI Bo, TONG Shurong, BAI Jing. Extensible basic-element model of design process gene and mutation of design process gene[J]. Mechanical Science and Technology for Aerospace Engineering, 2012, 31(1):87-95.
[59] 杨春燕, 李志明. 基于可拓学的社会网络结构研究[J]. 广东工业大学学报, 2014, 31(1):1-6. YANG Chunyan, LI Zhiming. Extenics based social network structure[J]. Journal of Guangdong University of Technology, 2014, 31(1):1-6.
[60] Fan Rui. Modelling extenics innovation software by intelligent service components[J]. The Open Cybernetics & Systemics Journal, 2014, 8:1-7.
相似文献/References:
[1]张海涛,董春游.基于Web的可拓专家系统研究[J].智能系统学报编辑部,2009,4(2):175.
 ZHANG Hai-tao,DONG Chun-you.An extendable expert system based on the Web[J].CAAI Transactions on Intelligent Systems,2009,4():175.
[2]杨春燕,蔡 文.挖掘同对象信息元的传导知识[J].智能系统学报编辑部,2008,3(4):305.
 YANG Chun-yan,CA IWen.M in ing conductive knowledge in information elements possessed by an identical object[J].CAAI Transactions on Intelligent Systems,2008,3():305.
[3]叶广仔,李卫华,李淑飞.可拓策略生成系统的构件化设计与实现[J].智能系统学报编辑部,2010,5(4):366.
 YE Guang-zai,LI Wei-hua,LI Shu-fei.The Design and Implementation of Extension Strategy Generation System Based on Components[J].CAAI Transactions on Intelligent Systems,2010,5():366.
[4]李承晓,李卫华.租房可拓策略生成系统[J].智能系统学报编辑部,2011,6(3):272.
 LI Chengxiao,LI Weihua.Research on a tenement extension strategy generation system[J].CAAI Transactions on Intelligent Systems,2011,6():272.
[5]曹礼园,李卫华.基于基元和知网的问题相关度计算[J].智能系统学报编辑部,2015,10(2):234.[doi:10.3969/j.issn.1673-4785]
 CAO Liyuan,LI Weihua.Calculation of correlation problem based on basic element and HowNet[J].CAAI Transactions on Intelligent Systems,2015,10():234.[doi:10.3969/j.issn.1673-4785]
[6]文天柱,许爱强,邓露.可拓否定选择算法及其在故障诊断中的应用[J].智能系统学报编辑部,2015,10(3):488.[doi:10.3969/j.issn.1673-4785.201402020]
 WEN Tianzhu,XU Aiqiang,DENG Lu.A new negative selection algorithm based on Extenics and its application in fault diagnosis[J].CAAI Transactions on Intelligent Systems,2015,10():488.[doi:10.3969/j.issn.1673-4785.201402020]
[7]陶星,李卫华,汪中飞.基于知网的可拓领域信息元库的构建方法[J].智能系统学报编辑部,2015,10(5):790.[doi:10.11992/tis.201412006]
 TAO Xing,LI Weihua,WANG Zhongfei.Construction of HowNet-based extendable domain information element base[J].CAAI Transactions on Intelligent Systems,2015,10():790.[doi:10.11992/tis.201412006]
[8]杨春燕,李卫华,汤龙,等.基于可拓学和HowNet的策略生成系统研究进展[J].智能系统学报编辑部,2015,10(6):823.[doi:10.11992/tis.201507057]
 YANG Chunyan,LI Weihua,TANG Long,et al.Strategy-generating system based on Extenics and HowNet[J].CAAI Transactions on Intelligent Systems,2015,10():823.[doi:10.11992/tis.201507057]
[9]王定桥,李卫华,杨春燕.从用户需求语句建立问题可拓模型的研究[J].智能系统学报编辑部,2015,10(6):865.[doi:10.11992/tis.201507038]
 WANG Dingqiao,LI Weihua,YANG Chunyan.Research on building an extension model from user requirements[J].CAAI Transactions on Intelligent Systems,2015,10():865.[doi:10.11992/tis.201507038]
[10]汤龙,杨春燕.复杂基元相关网下的传导变换[J].智能系统学报编辑部,2016,11(1):104.[doi:10.11992/tis.201507054]
 TANG Long,YANG Chunyan.Conductive transformation under complicatedbasic-element correlative network[J].CAAI Transactions on Intelligent Systems,2016,11():104.[doi:10.11992/tis.201507054]

备注/Memo

收稿日期:2015-07-28;改回日期:。
基金项目:广东省科技计划资助项目(2014A040402010).
作者简介:范锐,男,1958年生,教授。主要研究方向为软件工程、软件形式化方法、自适应软件、多智能体系统、可拓工程、企业信息系统。曾主持省科技项目1项、校教改项目3项,参与国家级、省级科技项目3项,发表论文32篇,其中被SCI、EI、ISTP检索12篇。彭银桥,男,1969年生,副教授,博士。主要研究方向为软件工程、可拓工程、信息安全、电子信息材料与器件,传感技术等。主持广东海洋大学启动基金项目1项,广东海洋大学自然基金项目2项。发表学术论文20余篇,其中被SCI检索2篇,被EI、ISTP检索6篇。陈月峰,女,1971年生,副教授。主要研究方向为软件工程,人工智能,可拓工程。参加省级、校级科研和教改项目3项,发表学术论文10篇,其中被SCI、EI、ISTP检索4篇。
通讯作者:范锐.E-mail:fanrui@gdou.edu.cn.

更新日期/Last Update: 1900-01-01
Copyright © 《 智能系统学报》 编辑部
地址:(150001)黑龙江省哈尔滨市南岗区南通大街145-1号楼 电话:0451- 82534001、82518134 邮箱:tis@vip.sina.com