کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4951771 1441600 2017 22 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Formal reasoning about resilient goal-oriented multi-agent systems
ترجمه فارسی عنوان
استدلال رسمی در مورد سیستم های چندگانه هدف گرا مقاوم
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی
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 relations) defining different interrelationships between these notions, as well as constraints on the system dynamics allowing a multi-agent system to become more reconfigurable and thus resilient in order to achieve the system goals. The formalisation results in establishing connections between goals at different levels of abstraction, system architecture and agent responsibilities. The proposed formal systematisation of the involved concepts can be seen as generic guidelines for formal development of reconfigurable systems. Moreover, we demonstrate how such guidelines can be interpreted within the Event-B framework.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Science of Computer Programming - Volume 148, 15 November 2017, Pages 66-87
نویسندگان
, , ,