16
Views
3
CrossRef citations to date
0
Altmetric
Article

Use of formal languages to consolidate a Holonic MAS methodology: a specification approach for analysing Problem and Agency domains

, &
Pages 159-169 | Received 30 Nov 2012, Accepted 05 Dec 2012, Published online: 19 Dec 2017
 

Abstract

In complex systems, multiple aspects interact and influence each other. A vast number of entities are present in the system. Traditional modeling and simulation techniques fail to capture interactions between loosely coupled aspects of a complex distributed system. The objective of this work is to formalize and to specify a part of the Agent-oriented Software Process for Engineering Complex Systems methodology (Problem and Agency Domains) for modeling the holarchy of studied system by using a formal specification approch based on two formalisms: Petri Net and Object-Z language. Such a specification style facilitates the modeling of complex systems with both structural and behavioural aspects. Our generic approach is illustrated by applying it to FIRA Robot Soccer and is validated with the Symbolic Analysis Laboratory framework.

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.