Towards a meta-modeling and verification approach of multi-agent systems based on the agent petri net formalism

Towards a meta-modeling and verification approach of multi-agent systems based on the agent petri net formalism

Автор: Amel Dembri, Mohammed Redjimi

Журнал: International Journal of Information Technology and Computer Science @ijitcs

Статья в выпуске: 6 Vol. 11, 2019 года.

Бесплатный доступ

The Agent Petri Nets (APN) formalism provides a set of adapted and specific tools, relations and functions for modeling multi-agent systems (MAS). However, there is a lack of tools for verifying the APN models. In order to fill some of these gaps, we propose in this paper, a meta-modeling approach based on the Model Driven Architecture (MDA). The Eclipse Modeling Framework (EMF) permits to define a generic APN Meta-model in Ecore informal format. Its abstraction level is very high, it offers as a basis for developing system models dedicated to various specific domains. In addition, the Object Constraint Language (OCL) aims to increase the structural verification level of the model and the Graphical Modeling Framework (GMF), for its part, is concerned with generating a graphical editor associated with the APN meta-model. Thus, we combine the rigor of APN formalism with the power of the MDA-based meta-modeling tools for verifying APN models.

Еще

Agent Petri Nets, Model Driven Architecture, Eclipse Modeling Framework, Graphical Modeling Framework, Metamodeling, Object Constraints Language

Короткий адрес: https://sciup.org/15016366

IDR: 15016366   |   DOI: 10.5815/ijitcs.2019.06.06

Список литературы Towards a meta-modeling and verification approach of multi-agent systems based on the agent petri net formalism

  • C.A. Petri, “Kommunication mit Automaten“ Ph.D. Thesis, Technischen Hoschule Darmstadt, 1962.
  • V. Khomenko, O. H. Roux, (Eds) “Application and Theory of Petri Nets and Concurrency” LNCS, 10877, 2018. https://doi.org/10.1007/978-3-319-91268-4
  • H. Hu, & M. Zhou, “A Petri net-based discrete-event control of automated manufacturing systems with assembly operations”. IEEE Transactions on Control Systems Technology, 23(2), 2015, pp. 513-524. https://doi.org/10.1109/TCST.2014.2342664
  • S. Pujari, & S. Mukhopadhyay, “Petri net: A tool for modeling and analyze multi-agent oriented systems”. International Journal of Intelligent Systems and Applications (MECS Press), 4(10), 2012. doi: 10.5815/ijisa.2012.10.11
  • Ding, Z., & Yang, R “Modeling and Analysis for Mobile Computing Systems Based on Petri Nets: A Survey”. IEEE Access, 6, 2018, 68038–68056. doi:10.1109/access.2018.2878807
  • Q. Bai, M. Zhang, & K. T. Win, “A colored petri net-based approach for multi-agent interactions”. In Proc. of second International Conference on Autonomous Robots and Agents, Palmerston North, New Zealand, 2004, December, pp. 152-157.
  • D. A. Zaitsev, & T. R. Shmeleva, “Modeling With Colored Petri Nets: Specification, Verification, and Performance Evaluation of Systems” In Automated Systems in the Aviation and Aerospace Industries, IGI Global, 2019, pp. 378-404. ‏doi: 10.4018/978-1-5225-7709-6.ch014
  • F. Pommereau, “SNAKES: a flexible high-level petri nets library” (tool paper). In International Conference on Applications and Theory of Petri Nets and Concurrency. Springer, Cham, 2015, June, pp. 254-265. https://doi.org/10.1007/978-3-319-19488-2_13
  • S. Kerraoui, Y. Kissoum, M. Redjimi, M. Saker, “MATT: Multi Agents Testing Tool Based Nets within Nets”, Journal of Information and Organizational Sciences (JIOS), Vol 40, No 2, 2016, pp. 165-184. doi: 10.31341/jios.40.2.1
  • L. W. Dworzanski and I. A. Lomazova, ‘‘Structural place invariants for analyzing the behavioral properties of nested petri nets,’’ in Application and Theory of Petri Nets and Concurrency. Cham, Switzerland: Springer, 2016, pp. 325–344. https://doi.org/10.1007/978-3-319-39086-4_19
  • L. Chang, “A Nested Petri Net Framework for Modeling and Analyzing Multi-Agent Systems”. FIU Electronic Theses and Dissertations, 339, 2011. doi: 10.25148/etd.FI11040601. http://digitalcommons.fiu.edu/etd/339 accessed on 2019-04-12
  • R. Valk, “Object petri nets”. Lecture notes in computer science, 3098, 2004, pp. 819-848. https://doi.org/10.1007/978-3-540-27755-2_23
  • R. Kamdar, P. Paliwal, & Y. Kumar, “A State of Art Review on Various Aspects of Multi-Agent System”. Journal of Circuits, Systems and Computers, 27(11), 2018. doi: 10.1142/s0218126618300064
  • J. R. Celaya, A. A. Desrochers and R. J. Graves, “Modeling and Analysis of Multi-agent Systems using Petri Nets”, Journal of Computers, October 2009. https://doi.org/10.1007/s10458-010-9146-1
  • B. Marzougui, K. Hassine, & K. Barkaoui, “A new formalism for modeling a multi agent system: Agent petri nets”. Journal of Software Engineering and Applications, 3(12), 2010. https://doi.org/10.1007/978-3-642-36285-9_54
  • D. C. Schmidt, “Model-driven engineering”. computer-ieee computer society-, 39(2), 2006. doi: 10.1109/MC.2006.58
  • C. Atkinson, T. Kühne, “Model-driven development: a metamodeling foundation”. IEEE software, 20(5), 2003, pp. 36-41. doi: 10.1109/MS.2003.1231149
  • A. Rodrigues da Silva, Model-driven engineering: A survey supported by the unified conceptual model. Computer Languages, Systems & Structures, 43, 2015, pp.139–155.doi:10.1016/j.cl.2015.06.001
  • C. Sansores, & J. Pavón, “Agent-Based Simulation Replication: A Model Driven Architecture Approach”. MICAI 2005: Advances in Artificial Intelligence, 2005, pp. 244–253. doi:10.1007/11579427_25
  • Eclipse, http://www.eclipse.org accessed on 2019-03-12
  • GMF, https://www.eclipse.org/modeling/gmp/ accessed on 2019-03-12
  • Eclipse Foundation, Inc: The Eclipse Modeling Framework (EMF), 2019. https://www.eclipse.org/modeling/emf/ accessed on 2019 03-12
  • Eclipse-ocl. http://download.eclipse.org/ocl/doc/6.3.0/ocl.pdf accessed on 2019-03-12
  • Object management group: object constraint language, Formal specification OCL. https://www.omg.org/spec/OCL/2.4/ accessed on 2019-03-12
  • M. Borhen, K. Barkaoui, & N. H. Alouane, “APN Model for Specification of the Communication Protocols in Multi-Agent System”. Journal of Software Engineering and Applications, 6(09), 2013. doi: 10.4236/jsea.2013.69A002
  • B. Marzougui, K. Hassine, K. Barkaoui. "Modeling Migration of Mobile Agents", Lecture Notes in Business Information Processing- Springer, vol.132, 2013, pp.530-540, doi:10.1007/978-3-642-36285-9_54
  • FIPA, Foundation for Intelligent Physical Agents http://www.fipa.org/ accessed on 2019-03-21
  • B. Marzougui, K. Barkaoui. "Agent Petri Nets Framework for Modeling Staphylococcus epidermidis Biofilm Formation", E-Health Telecommunication Systems and Networks (ETSN), vol.5(1), 2016, pp.19-30. doi:10.4236/etsn.2016.51003
  • CPNL http://cpntools.org/ accessed on 2019-03-21
  • The Reference Net Workshop http://www.renew.de/ accessed on 2019-03-12
  • E. Gamma and k, Beck, “Contribution To Eclipse Principles, patterns, plugin”. Addison-Wesley Professional, first edition, October 30, 2003. ISBN-13: 978-0321205759
  • E. Biermann, K. Ehrig, C. Ermel, J. Hurrelmann, “Generation of simulation views for domain specific modeling languages based on the Eclipse modeling framework”. In: 2009 IEEE/ACM International Conference on Automated Software Engineering, 2009, pp. 625–629, https://doi.org/10.1109/ASE.2009.46
  • W. Moore, D. Dean, A. Gerber, G. Wagenknecht, & P. Vanderheyden. Eclipse Development using the Graphical Editing Framework and the Eclipse Modeling Framework. IBM Redbooks, 2004. ISBN 0738453161
  • D. Steinberg, F. Budinsky, & M., E. Merks “EMF: Eclipse Modeling Framework. Eclipse”, Addison Wesley Professional, 2009, ISBN 9780321331885.
  • Eclipse Foundation, Inc: The Eclipse Graphical Editing Framework (GEF), 2019. https://www.eclipse.org/gef/, accessed on 2019-03- 12
  • R. Arnott, T. Rave, & R. Schöb, “Alleviating urban traffic congestion”. MIT Press Books, number 0262012197, 2005.
  • A. Koster, F. Koch, & A. L. Bazzan, “Incentivising crowdsourced parking solutions”. In International Workshop on Citizen in Sensor Networks, Springer, Cham. 2013, September, pp. 36-43. doi:10.1007/978-3-319-04178-0_4
  • D. Shoup, “The high cost of free parking”. A Planners Press Book, Taylor & Francis Group, New York, 2017. https://doi.org/10.4324/9781351179782
  • L. F. S. Castro, G. V. Alves, & A.P. Borges, “Using trust degree for agents in order to assign spots in a Smart Parking”. Advances in Distributed Computing and Artificial Intelligence Journal, 6(2), 2017, pp. 45-55. DOI: http://dx.doi.org/10.14201/ADCAIJ2017624555
  • L. F. S. Castro, G. V. Alves, & A.P Borges “Developing a smart parking solution based on a Holonic Multiagent System using JaCaMo Framework”. In Anais do XII Workshop-Escola de Sistemas de Agentes, seus Ambientes e apliCações - WESAAC 2018, volume XII, pages 226–231, Fortaleza, CE, 2018.
Еще
Статья научная
QR-код для установки приложения SciUp Наведите камеру и скачайте бесплатное приложение SciUp