Ensuring Correctness of Dynamic Reconfiguration in SOA based Software

被引：0
|
作者：
Yin, YuYu [1 ]
Li, Ying [1 ]
Yin, JianWei [1 ]
Deng, ShuiGuang [1 ]
Shi, Wei [1 ]
机构：
[1] Zhejiang Univ, Inst Comp Sci & Technol, Hangzhou 310027, Zhejiang, Peoples R China
来源：
2009 IEEE CONGRESS ON SERVICES (SERVICES-1 2009), VOLS 1 AND 2 | 2009年
关键词：
SOA; Dynamic Reconfiguration; Type Theory; CALCULUS;
D O I：
10.1109/SERVICES-I.2009.29
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
SOA based software is typically based on dynamic reconfiguration, since it is the composition of services. Then ensuring the correctness of dynamic reconfiguration is an important challenge. But few work focuses on it, this paper gives a better answer to solve the problem. It uses services-behavioral type discipline extended the Martin-Lof's Type Theory (for short, MLTT) which supports a type-theoretic formulation of services behavior structured patterns, so that services can he formally constructed by type services-behavioral type. Then, the type rules for subtype, duality, and correctness of dynamic reconfiguration are discussed. In our case study, the deductions are gave to show that how to verify the correctness of the dynamic reconfiguration. Finally, the implement of our approach is discussed.
引用
收藏
页码：599 / 606
页数：8
相关论文
共 50 条
  • [1] Ensuring the sustainability of cyberphysical systems based on dynamic reconfiguration
    Pavlenko, Evgeny
    Zegzhda, Dmitry
    Poltavtseva, Maria
    2019 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL CYBER PHYSICAL SYSTEMS (ICPS 2019), 2019, : 785 - 789
  • [2] Dynamic reconfiguration service for component based software architectures
    Narsis, Y
    Amirat, Y
    Djouani, K
    2004 IEEE CONFERENCE ON CYBERNETICS AND INTELLIGENT SYSTEMS, VOLS 1 AND 2, 2004, : 23 - 28
  • [3] Performance Evaluation of Dynamic Composition & Dynamic Reconfiguration in SOA Applications
    Krishnamurthy, Vallidevi
    Babu, Chitra
    Brinda, R. C.
    2017 INTERNATIONAL CONFERENCE ON COMPUTER, COMMUNICATION AND SIGNAL PROCESSING (ICCCSP), 2017, : 186 - 190
  • [4] Formal description of software dynamic correctness
    Ma, Yanfang
    Zhang, Min
    Chen, Yixiang
    Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2013, 50 (03): : 626 - 635
  • [5] Dynamic reconfiguration for robot software
    Yu, Zheng
    Warren, Ian
    MacDonald, Bruce
    2006 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING, VOLS 1 AND 2, 2006, : 292 - +
  • [6] Dynamic software reconfiguration in software product families
    Gomaa, H
    Hussein, M
    SOFTWARE PRODUCT-FAMILY ENGINEERING, 2004, 3014 : 435 - 444
  • [7] Ensuring the Correctness of Lightweight Tactics for Java']JavaCard Dynamic Logic
    Bubel, Richard
    Roth, Andreas
    Ruemmer, Philipp
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 199 : 107 - 128
  • [8] QoS prediction for dynamic reconfiguration of component based software systems
    Li, Wei
    Guo, William
    JOURNAL OF SYSTEMS AND SOFTWARE, 2015, 102 : 12 - 34
  • [9] Open framework for the dynamic reconfiguration of component-based software
    Ketfi, A
    Belkhatir, N
    SERP'04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2004, : 948 - 951
  • [10] A Software Defined Radio Transceiver Based on Dynamic Partial Reconfiguration
    Hosny, Sherif
    Elnader, Eslam
    Gamal, Mostafa
    Hussien, Abdelrhman
    Khalil, Ahmed H.
    Mostafa, Hassan
    2018 NEW GENERATION OF CAS (NGCAS), 2018, : 158 - 161
12345