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] ComponentJ: A Component-Based Programming Language with Dynamic Reconfiguration
Seco, Joao Costa
Silva, Ricardo
Piriquito, Margarida
COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2008, 5 (02) : 63 - 86
[42] On Validity Assurance of Dynamic Reconfiguration for Component-based Programs
Niamanesh, Mandi
Nobakht, Nafiseh Fekrazad
Jalili, Rasool
Dehkordi, Faranak Heydarian
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 159 : 227 - 239
[43] Safe Dynamic Reconfiguration of Concurrent Component-based Applications
Farhat, Salman
Bliudze, Simon
Duchien, Laurence
2022 IEEE 19TH INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE COMPANION (ICSA-C 2022), 2022, : 108 - 111
[44] Simulation and verification of DIMA dynamic reconfiguration based on formal method
Liu J.
Dong L.
Zhao C.
Chen H.
Xi Tong Gong Cheng Yu Dian Zi Ji Shu/Systems Engineering and Electronics, 2022, 44 (04): : 1282 - 1290
[45] Dynamic reconfiguration of distribution network based on PAM time division
Chen X.
Yu B.
Chen X.
Zhao T.
Feng Y.
Long Y.
Dianli Xitong Baohu yu Kongzhi/Power System Protection and Control, 2019, 47 (07): : 99 - 105
[46] Dynamic Reconfiguration Based on Goal-Scenario by Adaptation Strategy
Baek, Su-Jin
Han, Jung-Soo
Chung, Kyung-Yong
WIRELESS PERSONAL COMMUNICATIONS, 2013, 73 (02) : 309 - 318
[47] Indirect Dependencies in Dynamic Reconfiguration of Component-Based Systems
Eddin, Mohammad Charaf
Mammeri, Zoubir
2014 5TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS), 2014, : 49 - 53
[48] An Integrated Design Method for SOA-Based Business Modeling and Software Modeling
Song, Cheeyang
Cho, Eunsook
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2016, 26 (02) : 347 - 377
[49] An Adaptive Viterbi Decoder based on FPGA dynamic reconfiguration technology
Qin, XJ
Zhu, MC
Wei, ZY
Chao, D
2004 IEEE INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE TECHNOLOGY, PROCEEDINGS, 2004, : 315 - 318
[50] Dynamic Reconfiguration Based on Goal-Scenario by Adaptation Strategy
Su-Jin Baek
Jung-Soo Han
Kyung-Yong Chung
Wireless Personal Communications, 2013, 73 : 309 - 318

← 1 2 3 4 5 →