References
- Azaiez S (1992). Approche dirigée par les modeles pour le développement de systèmes multi-agent. PhD Thesis, Université de Savoie, France.
- Cossentino M et al (2007). A holonic metamodel for agent-oriented analysis and design. 3rd International Conference on Industrial Applications of Holonic and Multi-Agent Systems in LNAI, 4659, Springer-Verlag: Berlin, Heidelberg.
- CossentinoMASPECS: An agent-oriented software process for engineering complex systems: How to design agent societies under a holonic perspectiveAutonomous Agents Multi-Agent Systems20102026030410.1007/s10458-009-9099-4
- D'invernoMLuckMUnderstanding Agent Systems2003
- Duke R, Dong JS and Hao P (2005). Integrating Object-Z with timed automata. In: ICECCS '05 Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems, ISBN: 0-7695-2284-X, doi10.1109/ICECCS.2005.56, pp. 488–497.
- DukeRRoseGFormal Object Oriented Specification Using Object-Z. Cornerstones of Computing2000
- FIRA Robot Soccer-ASPECSWiki http://www.aspecs.org/FIRA_Robot_Soccer.
- Garoui M (2011). Vers une approche de spécification formelle des systèmes Multi-agent Holoniques. Masters Thesis, Faculty of Science of Monastir, Tunisia.
- Gaud N (2007). Holonic multi-agent systems: From the analysis to the implementation: Metamodel, Methodology and Multilevel Simulation. PhD Thesis, Université de Technologie de Belfort-Montbéliard, France.
- Gaud N, Hilaire V, Galland S and Koukam A (2008). An Organizational Platform for Holonic and Multi-agent Systems, Multi-agent Systems Group, System and Transport Laboratory, University of Technology of Belfort Montbéliard. Published in the Sixth International Workshop on Programming Multi-Agent Systems (ProMAS 08) of the Seventh International Conference on Autonomous agents and Multi-agent Systems (AAMAS), Springer: Berlin, Heidelberg.
- GiorginiPThe Tropos Metamodel and Its Use1995
- Janus Project developed by the multiagent teams of the Laboratoire Systémes, Transports and the Centro de Investigación de Tecnologías Avanzadas de Tucumán, http://www.janus-project.org.
- MannaZPnueliATemporal Verification of Reactive Systems—Safety1995
- Mazigh B, Hilaire V and Koukam A (2011). Formal specification of Holonic Multi-agent systems: Application to distributed maintenance company. Published in the Proceedings of PAAMS 2011, Vol. 7327. Springer Verlag: Salamanca, pp. 370–378.
- MosbahiOJemniLBen AhmedSJarayJA specification and validation technique based on STATEMATE and FNLOG, LNCS 2495ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering2002216220
- MurataTPetri nets: Properties, analysis and applicationsProceedings of IEEE198977448054110.1109/5.24143
- NatarajanSSymbolic Analysis of Transition Systems2000287308
- NatarajanSCombining theorem proving and model checking through symbolic analysisLecture Notes in Computer Science2000116
- Object Management Group (2003). MDA guide. v1.0.1, OMG/2003-06-01.
- SmithGA fully abstract semantics of classes for Object-ZFormal Aspects of Computing19957328931310.1007/BF01211075
- Vinh Duc T (2005). Reseau de Petri Rapport final de TIPE, Institut de la Francophonie pour l’Informatique.
- XudongHPZ nets—a formal method integrating Petri nets with ZInformation and Software Technology200143111810.1016/S0950-5849(00)00134-8
![Supercharge Your Next Research Paper: Research and write your next paper with Jenni AI.]({"type":"image" , "src" : "/sda/112446/MPU-L1EB.png"})