Formal Modeling for Verifying SCA Dynamic Composition with Event-B

被引：4
|
作者：
Lahouij, Aida [1 ]
Hamel, Lazhar [1 ]
Graiet, Mohamed [1 ]
机构：
[1] High Sch Comp Sci & Math, Monastir, Tunisia
来源：
2015 IEEE 24TH INTERNATIONAL CONFERENCE ON ENABLING TECHNOLOGIES - INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES | 2015年
关键词：
SCA; Dynamic reconfiguration; Event-B; Formal verification; Dynamic properties; Service selection; Service substitution;
D O I：
10.1109/WETICE.2015.50
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Service Component Architecture (SCA) is a set of specifications which describe a model for building applications and systems using a Service-Oriented Architecture (SOA). However, SCA in its current form does not represent any formal definition. In addition, there is a growing interest for verification techniques which help to prevent SCA composition specification failure. In this context, we intend to propose an Event-B based approach so as to configure the SCA composition dynamically. We focus, particularly, on the correctional dynamic such as substituting faulty services and components. The consistency and the validity of the obtained model have been proved by the Event-B dedicated tools.
引用
收藏
页码：29 / 34
页数：6
相关论文
共 50 条
  • [1] Formal Behavioral Modeling for Verifying SCA Composition with Event-B
    Graiet, Mohamed
    Lahouij, Aida
    Abbassi, Imed
    Hamel, Lazhar
    Kmimech, Mourad
    [J]. 2015 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES (ICWS), 2015, : 17 - 24
  • [2] Formal Modeling for Verifying SCA Composition
    Hamel, Lazhar
    Graiet, Mohamed
    Kmimech, Mourad
    [J]. 2015 IEEE 9TH INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE (RCIS), 2015, : 193 - 204
  • [3] Formal Verification of SCA Assembly Model with Event-B
    Lahouij, Aida
    Hamel, Lazhar
    Graiet, Mohamed
    [J]. 2013 NINTH INTERNATIONAL CONFERENCE ON SEMANTICS, KNOWLEDGE AND GRIDS (SKG), 2013, : 44 - 51
  • [4] A formal approach for verifying QoS variability in Web services composition using EVENT-B
    Abbassi, Imed
    Graiet, Mohamed
    Boubaker, Souha
    Kmimech, Mourad
    Ben Hadj-Alouane, Nejib
    [J]. 2015 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES (ICWS), 2015, : 519 - 526
  • [5] Modeling and Verifying an Arrival Manager Using EVENT-B
    Mammar, Amel
    Leuschel, Michael
    [J]. RIGOROUS STATE-BASED METHODS, ABZ 2023, 2023, 14010 : 321 - 339
  • [6] Modeling and Verifying DML Triggers Using Event-B
    Hong Anh Le
    Ninh Thuan Truong
    [J]. INTELLIGENT INFORMATION AND DATABASE SYSTEMS (ACIIDS 2013), PT II, 2013, 7803 : 539 - 548
  • [7] Formal Event-B Modeling of the MICONIC Application
    Ammar, Sabrine
    Bhiri, Mohamed Tahar
    [J]. NEW TRENDS IN INTELLIGENT SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2021, 337 : 197 - 210
  • [8] Modeling and Verifying the Transactional and QoS-aware Services Composition Using Event-B
    Abbassi, Imed
    Kmimech, Mourad
    Ben Hadj-Alouane, Nejib
    Gaaloul, Walid
    [J]. 2014 IEEE 23RD INTERNATIONAL WETICE CONFERENCE (WETICE), 2014, : 313 - 318
  • [9] Modeling and Verifying WS-CDL Using Event-B
    Hong Anh Le
    Ninh Thuan Truong
    [J]. Context-Aware Systems and Applications, (ICCASA 2012), 2013, 109 : 290 - 299
  • [10] Modeling and Verifying Imprecise Requirements of Systems Using Event-B
    Hong Anh Le
    Loan Dinh Thi
    Ninh Thuan Truong
    [J]. KNOWLEDGE AND SYSTEMS ENGINEERING (KSE 2013), VOL 1, 2014, 244 : 313 - 325
12345