A stepwise refinement-based development of self-organising multi-agent systems: application to the foraging ants
by Zeineb Graja; Frédéric Migeon; Christine Maurel; Marie-Pierre Gleizes; Ahmed Hadj Kacem
International Journal of Agent-Oriented Software Engineering (IJAOSE), Vol. 5, No. 2/3, 2016

Abstract: This paper proposes a formal modelling for self-organising multi-agent systems (SOMAS) based on stepwise refinements, with the Event-B language and the temporal logic of actions (TLA). This modelling allows to develop this kind of systems in a more structured manner. In addition, it enables to reason, in a rigorous way, about the correctness of the derived models both at the local level and the global level. Our work is illustrated by the foraging ants case study.

Online publication date: Sat, 10-Dec-2016

The full text of this article is only available to individual subscribers or to users at subscribing institutions.

 
Existing subscribers:
Go to Inderscience Online Journals to access the Full Text of this article.

Pay per view:
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.

Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Agent-Oriented Software Engineering (IJAOSE):
Login with your Inderscience username and password:

Username:        Password:          Forgotten your password?

Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.

If you still need assistance, please email subs@inderscience.com