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 条
  • [31] Process Mining Based on Specification Slicing for Dynamic Reconfiguration
    Baek, Su-Jin
    Kim, Jinhyang
    Song, Young-Jae
    PROCEEDINGS OF THE 2009 INTERNATIONAL CONFERENCE OF COMPUTATIONAL SCIENCES AND ITS APPLICATIONS, 2009, : 51 - 55
  • [32] DRF4SOA: A Dynamic Reconfigurable Framework for designing autonomic application based on SOA
    Mezghani, Emna
    Ben Halima, Riadh
    2012 IEEE 21ST INTERNATIONAL WORKSHOP ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE), 2012, : 95 - 97
  • [33] An Innovation Model for Collaborative Networks of SOA-Based Software Providers
    Santanna-Filho, Joao F.
    Rabelo, Ricardo J.
    Pereira-Klen, Alexandra A.
    COLLABORATIVE SYSTEMS FOR SMART NETWORKED ENVIRONMENTS, 2014, 434 : 169 - 181
  • [34] A SOA-Based Framework for Building Monitoring and Control Software Systems
    Tan, Vu Van
    Yoo, Dae-Seung
    Yi, Myeong-Jae
    EMERGING INTELLIGENT COMPUTING TECHNOLOGY AND APPLICATIONS: WITH ASPECTS OF ARTIFICIAL INTELLIGENCE, 2009, 5755 : 1013 - 1027
  • [35] Collaborative software design in an SOA environment
    W.T.TSAI
    ScienceinChina(SeriesF:InformationSciences), 2006, (06) : 821 - 842
  • [36] Collaborative software design in an SOA environment
    Tsai, W. T.
    Xiao, Bingnan
    Huang, Qian
    Chen, Yinong
    SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2006, 49 (06): : 821 - 842
  • [37] A framework of incorporating software agents into SOA
    Zhang, TI
    Jiang, H
    PROCEEDINGS OF THE NINTH IASTED INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING, 2005, : 370 - 375
  • [38] Collaborative software design in an SOA environment
    W. T. Tsai
    Bingnan Xiao
    Qian Huang
    Yinong Chen
    Science in China Series F: Information Sciences, 2006, 49 : 821 - 842
  • [39] Research of Dynamic-Reconfigurable Grid Model based on SOA
    Xia Bai-Qiang
    Jiang Jing
    Pan Zhen-Kuan
    Yin Xian-Zhen
    2008 IEEE INTERNATIONAL SYMPOSIUM ON KNOWLEDGE ACQUISITION AND MODELING WORKSHOP PROCEEDINGS, VOLS 1 AND 2, 2008, : 1079 - 1082
  • [40] Model-based system reconfiguration for dynamic performance management
    Caporuscio, Mauro
    Di Marco, Antinisca
    Inverardi, Paola
    JOURNAL OF SYSTEMS AND SOFTWARE, 2007, 80 (04) : 455 - 473
12345