摘要 : In this paper we present our formalisation of a resilient goal-oriented multi-agent system and its essential properties. The formalisation covers the notions of system goals and agents, various formal structures (functions and rel... 展开
作者 | L Laibinis I. Pereverzeva E. Troubitsyna |
---|---|
作者单位 | |
期刊名称 | 《Science of Computer Programming》 |
页码/总页数 | 66-87 / 22 |
语种/中图分类号 | 英语 / TP3 |
关键词 | Formal reasoning Multi-agent systems Goal-oriented development System resilience Event-B |
DOI | 10.1016/j.scico.2017.05.008 |
馆藏号 | TP-181 |