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

B Mazigh, M Garoui and A Koukam

Journal of Simulation, 2013, vol. 7, issue 3, 159-169

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.

Date: 2013
References: Add references at CitEc
Citations:

Downloads: (external link)
http://hdl.handle.net/10.1057/jos.2012.24 (text/html)
Access to full text is restricted to subscribers.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:taf:tjsmxx:v:7:y:2013:i:3:p:159-169

Ordering information: This journal article can be ordered from
http://www.tandfonline.com/pricing/journal/tjsm20

DOI: 10.1057/jos.2012.24

Access Statistics for this article

Journal of Simulation is currently edited by Christine Currie

More articles in Journal of Simulation from Taylor & Francis Journals
Bibliographic data for series maintained by Chris Longhurst ().