[1]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]
Copy

A method for self-adaptive software formal modeling by Extenics

CAAI Transactions on Intelligent Systems[ISSN 1673-4785/CN 23-1538/TP] Volume: 10 Number of periods: 2015 6 Page number: 901-911 Column: 学术论文—智能系统 Public date: 2015-12-25
Title:
A method for self-adaptive software formal modeling by Extenics
Author(s):
FAN Rui1;  PENG Yinqiao1;  CHEN Yuefeng1;  LEI Guibin1;  LIU Xiaohui2
1. Software School, Guangdong Ocean University, Zhanjiang 524088, China;
2. Finance Department, Guangdong Ocean University, Zhanjiang 524088, China
Keywords:
Extenics; basic-element; extension analysis; extension transformation; superiority evaluation; formal method; self-adaptive software
CLC:
TP311
DOI:
10.11992/tis.201507043
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.
Similar References:

Memo

-

Last Update: 1900-01-01

Copyright © CAAI Transactions on Intelligent Systems