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 条
  • [21] Towards UML-based formal specifications of component-based real-time software
    Del Bianco, V
    Lavazza, L
    Mauri, M
    Occorso, G
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2003, 2621 : 118 - 134
  • [22] Towards UML-based formal specifications of component-based real-time software
    del Bianco V.
    Lavazza L.
    Mauri M.
    Occorso G.
    International Journal on Software Tools for Technology Transfer, 2007, 9 (2) : 179 - 192
  • [23] Software self-adaptation: control theory based approach
    Yang Q.-L.
    Ma X.-X.
    Xing J.-C.
    Hu H.
    Wang P.
    Han D.-S.
    Yang, Qi-Liang (yql@893.com.cn), 2016, Science Press (39): : 2189 - 2215
  • [24] Software architecture-based self-adaptation in robotics☆
    Alberts, Elvin
    Gerostathopoulos, Ilias
    Malavolta, Ivano
    Corbato, Carlos Hernandez
    Lago, Patricia
    JOURNAL OF SYSTEMS AND SOFTWARE, 2025, 219
  • [25] An agent-based approach for software self-adaptation
    Zhou, Yu
    Ge, Jidong
    Hu, Jun
    ICIC Express Letters, 2013, 7 (02): : 527 - 534
  • [26] Proactive self-adaptation of software based on inspecting uncertainty
    Wang H.
    Ying J.
    Jiang T.
    Zhejiang Daxue Xuebao(Gongxue Ban)/Journal of Zhejiang University (Engineering Science), 2010, 44 (02): : 213 - 219
  • [27] Self-Adaptation of Service Bindings based on Formal Concept Analysis
    Chollet, Stephanie
    2015 IEEE INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING, 2015, : 211 - 214
  • [28] UML-Based Modeling of Robustness Testing
    Moraes, Regina
    Waeselynck, Helene
    Guiochet, Jeremie
    2014 IEEE 15TH INTERNATIONAL SYMPOSIUM ON HIGH-ASSURANCE SYSTEMS ENGINEERING (HASE), 2014, : 168 - 175
  • [29] Improving self-adaptation planning through software architecture-based stochastic modeling
    Franco, Joao M.
    Correia, Francisco
    Barbosa, Raul
    Zenha-Rela, Mario
    Schmerl, Bradley
    Garlan, David
    JOURNAL OF SYSTEMS AND SOFTWARE, 2016, 115 : 42 - 60
  • [30] Consistency problems in UML-based software development
    Huzar, Z
    Kuzniarz, L
    Reggio, G
    Sourrouille, JL
    UML MODELING LANGUAGES AND APPLICATIONS, 2005, 3297 : 1 - 12
12345