Modeling and Proof of Event-driven Interaction in Multi Agent Systems in Event-B

被引：0
|
作者：
Negreanu, Lorina [1 ]
Popovici, Matei [1 ]
机构：
[1] Univ Politehn Bucuresti, Dept Comp Sci, Bucharest, Romania
来源：
19TH INTERNATIONAL CONFERENCE ON CONTROL SYSTEMS AND COMPUTER SCIENCE (CSCS 2013) | 2013年
关键词：
formal methods; Event-B; Rodin; model; proof; reactive system; agent; interaction; event; SOFTWARE;
D O I：
10.1109/CSCS.2013.48
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Due to their distinguishable features, specification and verification of multi-agent systems are non-trivial tasks. In this paper, we present the modeling and verification of event-driven interaction in multi-agent systems. The model is specified and verified using Event-B and the Rodin platform.
引用
收藏
页码：180 / 183
页数：4
相关论文
共 50 条
  • [1] From TiMo to Event-B: Event-Driven Timed Mobility
    Ciobanu, Gabriel
    Thai Son Hoang
    Stefanescu, Alin
    2014 19TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2014), 2014, : 1 - 10
  • [2] Event-B based verification of interaction properties in multi-agent systems
    Ayed, Leila Jemni Ben
    Siala, Fatma
    Journal of Software, 2009, 4 (04) : 357 - 364
  • [3] Event excitation for event-driven control and optimization of multi-agent systems
    Khazaeni, Yasaman
    Cassandras, Christos G.
    2016 13TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS (WODES), 2016, : 197 - 202
  • [4] Event-Driven Multi-agent Simulation
    Meyer, Ruth
    MULTI-AGENT-BASED SIMULATION XV, 2015, 9002 : 3 - 16
  • [5] On the purpose of Event-B proof obligations
    Hallerstede, Stefan
    FORMAL ASPECTS OF COMPUTING, 2011, 23 (01) : 133 - 150
  • [6] On the Purpose of Event-B Proof Obligations
    Hallerstede, Stefan
    ABSTRACT STATE MACHINES, B AND Z, PROCEEDINGS, 2008, 5238 : 125 - 138
  • [7] An approach to event-driven algorithm for intelligent agents in multi-agent systems
    Hakansson, Anne
    Hartung, Ronald
    AGENT AND MULTI-AGENT SYSTEMS: TECHNOLOGIES AND APPLICATIONS, PROCEEDINGS, 2008, 4953 : 411 - +
  • [8] Coordinated Consensus Analysis of Multi-agent Systems Using Event-B
    Truong, Ninh-Thuan
    Trinh, Thanh-Binh
    Nguyen, Viet-Ha
    SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 2009, : 201 - +
  • [9] Event-B Formalization of Event-B Contexts
    Bodeveix, Jean-Paul
    Filali, Mamoun
    RIGOROUS STATE-BASED METHODS, ABZ 2021, 2021, 12709 : 66 - 80
  • [10] Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction
    Ball, Elisabeth
    Butler, Michael
    METHODS, MODELS AND TOOLS FOR FAULT TOLERANCE, 2009, 5454 : 104 - 129
12345