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 条
  • [21] A Dynamic Data Integration Model Based on SOA
    Wang, Jun
    Yu, AiRong
    Zhang, XiaoYi
    Qu, Lei
    2009 ISECS INTERNATIONAL COLLOQUIUM ON COMPUTING, COMMUNICATION, CONTROL, AND MANAGEMENT, VOL II, 2009, : 196 - +
  • [22] Architecture based on dynamic graphs for the dynamic reconfiguration of farms of computers
    Navarrete, Carmen
    Anguiano, Eloy
    PROCEEDINGS OF WORLD ACADEMY OF SCIENCE, ENGINEERING AND TECHNOLOGY, VOL 21, 2007, 21 : 272 - +
  • [23] SOA Patterns Selection and Application based on Software Quality Requirements
    Zhao, Heng
    Chen, Xiuhong
    Zhang, Wenqian
    Liang, Peng
    Wang, Jian
    Huang, Wei
    PROCEEDINGS OF 2018 IEEE 9TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS), 2018, : 361 - 364
  • [24] Dynamic Event-Based Monitoring in a SOA Environment
    Souza, Fabio
    Lopes, Danilo
    Gama, Kiev
    Rosa, Nelson
    Lima, Ricardo
    ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2011, PT II, 2011, 7045 : 498 - +
  • [25] Research on Dynamic Semantic Integration of EERP Based on SOA
    Li, Baoan
    Liu, Jingzhi
    ICCSSE 2009: PROCEEDINGS OF 2009 4TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION, 2009, : 837 - 841
  • [26] Research of Dynamic Reconfiguration of Feeder Based the Dynamic Swarm Optimization Algorithm
    Sun Guo-qiang
    Wei Zhi-nong
    Han Lian-shan
    Ye Fang
    APPLIED INFORMATICS AND COMMUNICATION, PT 2, 2011, 225 : 9 - 18
  • [27] Research of Dynamic Reconfiguration of Feeder Based the Dynamic Swarm Optimization Algorithm
    Sun Guo-qiang
    Wei Zhi-nong
    Han Lian-shan
    Ye Fang
    2010 THE 3RD INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND INDUSTRIAL APPLICATION (PACIIA2010), VOL II, 2010, : 1 - 5
  • [28] An Analysis View of Component-Based Software Architecture Reconfiguration
    Ngoc-Tho Huynh
    2019 IEEE - RIVF INTERNATIONAL CONFERENCE ON COMPUTING AND COMMUNICATION TECHNOLOGIES (RIVF), 2019, : 207 - 212
  • [29] A Modeling Method of IMA Dynamic Reconfiguration Based on AADL
    Ju, Hongyan
    Wang, Shihai
    Zhao, Tingdi
    PROCEEDINGS OF THE 2015 FIRST INTERNATIONAL CONFERENCE ON RELIABILITY SYSTEMS ENGINEERING 2015 ICRSE, 2015,
  • [30] Design and Application of Software Architecture Based On SOA in the Water Resources Field
    Li Jianxin
    Zhang Rui
    Shi Zongfeng
    RIVER BASIN RESEARCH AND PLANNING APPROACH, 2009, : 202 - +
12345