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 条
  • [41] Dynamic Channel Coding Reconfiguration in Software Defined Radio
    Sadek, Ahmed
    Mostafa, Hassan
    Nassar, Amin
    2015 27TH INTERNATIONAL CONFERENCE ON MICROELECTRONICS (ICM), 2015, : 13 - 16
  • [42] Deployment and dynamic reconfiguration planning for distributed software systems
    Naveed Arshad
    Dennis Heimbigner
    Alexander L. Wolf
    Software Quality Journal, 2007, 15 : 265 - 281
  • [43] A novel hardware/software codesign methodology based on dynamic reconfiguration with impulse C and CoDeveloper
    Antola, Anna
    Santambrogio, Marco Domenico
    Fracassi, Marco
    Gotti, Pamela
    Sandionigi, Chiara
    2007 3RD SOUTHERN CONFERENCE ON PROGRAMMABLE LOGIC, PROCEEDINGS, 2007, : 221 - +
  • [44] Optimal Reconfiguration of Dynamic Software Product Lines Based on Performance-Influence Models
    Weckesser, Markus
    Kluge, Roland
    Pfannemueller, Martin
    Matthe, Michael
    Schuerr, Andy
    Becker, Christian
    SPLC'18: PROCEEDINGS OF THE 22ND INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL 1, 2018, : 98 - 109
  • [45] Multi-Partitioned Software Defined Radio Transceiver Based on Dynamic Partial Reconfiguration
    Hosny, Sherif
    Elnader, Eslam
    Gamal, Mostafa
    Hussien, Abdelrhman
    Mostafa, Hassan
    2020 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), 2020,
  • [46] Software architecture correctness
    Barber, KS
    Holt, J
    IEEE SOFTWARE, 2001, 18 (06) : 64 - 65
  • [47] ENSURING CORRECTNESS OF MEASUREMENT OF IDENTIFICATION PARAMETERS OF OIL
    Lobachev, A. L.
    Fomina, N. V.
    Lobacheva, L. V.
    Revinskaya, E. V.
    IZVESTIYA VYSSHIKH UCHEBNYKH ZAVEDENII KHIMIYA I KHIMICHESKAYA TEKHNOLOGIYA, 2013, 56 (09): : 35 - +
  • [48] Ensuring the correctness of cryptographic protocols with respect to secrecy
    Houmani, Hanane
    Mejri, Mohamed
    SECRYPT 2008: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SECURITY AND CRYPTOGRAPHY, 2008, : 184 - 189
  • [49] Engineering software correctness
    Page, Rex
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2007, 17 : 675 - 686
  • [50] Ensuring correctness of personalised schema refinement transformations
    Castelli, D
    Pisani, S
    NINTH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 1998, : 70 - 75
12345