UML-Based modeling and formal verification for software self-adaptation

被引：0
|
作者：
Han, De-Shuai [1 ]
Yang, Qi-Liang [1 ,2 ]
Xing, Jian-Chun [1 ]
机构：
[1] College of Defense Engineering, PLA University of Science and Technology, Nanjing,210007, China
[2] State Key Laboratory for Novel Software Technology (Nanjing University), Nanjing,210093, China
来源：
Ruan Jian Xue Bao/Journal of Software | 2015年 / 26卷 / 04期
关键词：
461.4 Ergonomics and Human Factors Engineering - 721.1 Computer Theory; Includes Formal Logic; Automata Theory; Switching Theory; Programming Theory - 723.5 Computer Applications - 913.1 Production Engineering - 971 Social Sciences;
D O I：
10.13328/j.cnki.jos.004758
中图分类号：
学科分类号：
摘要：
38
引用
收藏
页码：730 / 746
相关论文
共 50 条
  • [31] UML-based modeling of virtual enterprise
    Dai, YR
    Yan, JW
    Wang, J
    7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL V, PROCEEDINGS: COMPUTER SCIENCE AND ENGINEERING: I, 2003, : 493 - 496
  • [32] A UML-based methodology for software component testing
    Zheng, Weiqun
    Bundell, Gary
    IMECS 2007: INTERNATIONAL MULTICONFERENCE OF ENGINEERS AND COMPUTER SCIENTISTS, VOLS I AND II, 2007, : 1177 - +
  • [33] A UML-based MetaModel for Software Evolution Process
    Jiang Zuo
    Zhou Wei-Hong
    Fu Zhi-Tao
    Xiong Shun-Qing
    6TH INTERNATIONAL CONFERENCE ON DIGITAL IMAGE PROCESSING (ICDIP 2014), 2014, 9159
  • [34] UML-based regression testing for OO software
    Mansour, Nashat
    Takkoush, Husam
    Nehme, Ali
    JOURNAL OF SOFTWARE MAINTENANCE AND EVOLUTION-RESEARCH AND PRACTICE, 2011, 23 (01): : 51 - 68
  • [35] ActivFORMS: Active Formal Models for Self-Adaptation
    Iftikhar, M. Usman
    Weyns, Danny
    9TH INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS (SEAMS 2014), 2014, : 125 - 134
  • [36] Methods of Software Self-adaptation Based on Monitoring the Information Environment
    Bershadsky, Alexander
    Bozhday, Alexander
    Evseeva, Yulia
    Gudkov, Alexei
    CREATIVITY IN INTELLIGENT TECHNOLOGIES AND DATA SCIENCE, PT II, 2019, 1084 : 122 - 131
  • [37] UML-Based Modeling of Expressway Monitoring System
    Zhang, Tao
    Gao, Huanbing
    Li, Jingyu
    2010 8TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION (WCICA), 2010, : 5469 - 5472
  • [38] UML-BASED MODELING AND ANALYSIS OF SECURITY THREATS
    Kong, Jun
    Xu, Dianxiang
    Zeng, Xiaoqin
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2010, 20 (06) : 875 - 897
  • [39] Towards a UML-based educational modeling language
    Laforcade, P
    5th IEEE International Conference on Advanced Learning Technologies, Proceedings, 2005, : 855 - 859
  • [40] An UML-based approach for validation of software architecture descriptions
    Kacem, Mohamed Hadj
    Jmaiel, Iohamed
    Kacem, Ahmed Hadj
    Drira, Khalil
    TRENDS IN ENTERPRISE APPLICATION ARCHITECTURE, 2007, 4473 : 158 - +
12345