[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]
点击复制
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]
基于可拓学的自适应软件形式化方法
《智能系统学报》编辑部[ISSN 1673-4785/CN 23-1538/TP] 卷:
10
期数:
2015年第6期
页码:
901-911
栏目:
学术论文—智能系统
出版日期:
2015-12-25
- Title:
- A method for self-adaptive software formal modeling by Extenics
- Keywords:
- Extenics; basic-element; extension analysis; extension transformation; superiority evaluation; formal method; self-adaptive software
- 分类号:
- TP311
- 摘要:
- 可拓学的核心是建立灵活变通地应对不确定变化和灵感涌现的适应性模型。讨论引入可拓理论去描述、分析和评价软件系统的自适应性质、范围和程度的可能性。用基元描述软件实体,将软件系统构造成基元网,利用拓展分析、可拓变换和优度评价等定性与定量相结合的方法揭示了自适应软件系统的动态性质,并形成了一种自适应软件形式化方法。
- Abstract:
- The core of extenics is to set up adaptability mathematic model which can flexibly cope with uncertain change and inspiration springing up. The feasibility of introducing the theory of Extenics to describe, analyze and evaluate the self-adaptive nature, scope and extent about the software system was discussed. First, the basic-element description software entities were used to construct the software system into basic-element net, then the dynamic nature of self-adaptive software system was revealed by combining the qualitative and quantitative methods of extension analysis, extension transformation, and superiority evaluation, etc., initially establishing a formal method of self-adaptive software.
- 参考文献/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