Abstract
As shown in Fig. 8.1, ROMAS is a set of technics and tools for analyzing, designing and implementing normative open systems. ROMAS integrates the analysis, design and verification of these systems by means of a metamodel, a methodology that includes specific development guidelines and a model-driven CASE tool.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
- 2.
- 3.
An autonomous and co-operative building block of a manufacturing system for transforming, transporting, storing and/or validating information and physical objects. The holon consists of an information processing part and often a physical processing part. A holon can be part of another holon.
- 4.
Eclipse – Xpand plug-in. http://www.eclipse.org/modeling/m2t/?project=xpand
- 5.
- 6.
- 7.
References
Alberola, J., L. Mulet, J. Such, A. García-Fornes, A. Espinosa, and V. Botti. 2007. Operating system aware multiagent platform design. In Fifth European workshop on multi-agent systems (EUMAS 2007), 658–667. Hammamet: Tunisia.
Alberola, J.M., J. Such, A. Espinosa, V. Botti, and A. García-Fornes. 2008. Magentix A multiagent platform integrated in linux. In Proceedings of the sixth European workshop on multi-agent systems (EUMAS-2008). UK: Bath.
Argente, E. 2008. Gormas: Guías para el desarrollo de sistemas multiagente abiertos basados en organizaciones. Ph.D. thesis, Departament de Sistemes Informàtics i Computació, Universitat Politècnica de València.
Argente, E., V. Botti, C. Carrascosa, A. Giret, V. Julian, and M. Rebollo. 2011. An abstract architecture for virtual organizations: The THOMAS approach. Knowledge and Information Systems 29(2): 379–403.
Christensen, J. 2003. HMS/FB architecture and its implementation. In Agent-based manufacturing. Advances in the Holonic approach, ed. S.M. Deen, 53–88. Berlin/Heidelberg: Springer.
Cossentino, M. 2010. Design process documentation template. Technical report, FIPA.
Criado, N., E. Argente, and V. Botti. 2009. A normative model for open agent organizations. In International conference on artificial intelligence, vol. 1, 101–107.
Efftinge, S., P. Friese, A. Hase, D. Hübner, C. Kadura, B. Kolb, J. Köhnlein, D. Moroff, K. Thoms, and M. Völter et al. 2004. Xpand documentation. Technical report, 2004–2010 (cited on page 64).
Garcia, E. 2013. Engineering regulated open multiagent systems. Ph.D. thesis, Departament de Sistemes Informàtics i Computació, Universitat Politècnica de València.
Garcia, E., A. Giret, and V. Botti. 2011. Regulated open multi-agent systems based on contracts. In Information systems development, ed. J. Pokorny, V. Repa, K. Richta, W. Wojtkowski, H. Linger, C. Barry, and M. Lang, 243–255. New York: Springer.
Garcia, E., A. Giret, and V. Botti. 2013. A model-driven case tool for developing and verifying regulated open mas. Science of Computer Programming 78(6): 695–704. http://dx.doi.org/10.1016/j.scico.2011.10.009. http://www.sciencedirect.com/science/article/pii/S0167642311001869. Special section: The programming languages track at the 26th {ACM} symposium on applied computing (SAC 2011).
Garcia, Emilia, Adriana Giret, and Vicente J. Botti. 2014. ROMAS methodology. In Handbook on agent-oriented design processes, 331–369. Berlin/Heidelberg: Springer.
Garcia, E., G. Tyson, S. Miles, M. Luck, A. Taweel, T.V. Staa, and B. Delaney. 2012. An analysis of agent-oriented engineering of e-health systems. In 13th international workshop on agent-oriented software engineering (AOSE – AAMAS). 117–128. Spain: Valencia.
Giret, A.S. 2005. Anemona: Una metodologia multiagente para sistemas holonicos de fabricacion. Ph.D. thesis, Departament de Sistemes Informàtics i Computació, Universitat Politècnica de València.
Holzmann, G., and S.M. Checker. 2004. The spin model checker: Primer and reference manual. ISBN: 0-321-22862-6.
Holzmann, G.J. 2007. DESIGN AND VALIDATION.
Kovše, T., B. Vlaovič, A. Vreže, and Z. Brezočnik. 2009. Eclipse plug-in for spin and st2msc tools-tool presentation. In International SPIN workshop on model checking software, 143–147.
Rodrigo, M., S. Valero, C. Carrascosa, and V. Julian. 2011. Tool and integrated application development environment. Document identifier: AT/2011/D6.2.3/v1.0 Project: CSD2007-0022, INGENIO 2010 http://www.agreement-technologies.org/.
Soley, R. 2000. Model driven architecture. OMG white paper, 308(308), 5.
Steinberg, D., F. Budinsky, M. Paternostro, and E. Merks. 2009. EMF: Eclipse modeling framework. Boston: Pearson Education.
Such, J., A. García-Fornes, A. Espinosa, and J. Bellver. 2013. Magentix2: A privacy-enhancing agent platform. Engineering Applications of Artificial Intelligence 26(1): 96–109.
Acknowledgements
This work is partially supported by the PROMETEOII/2013/019, TIN2012-36586-C03-01, FP7-29493, TIN2011-27652-C03-00, CSD2007-00022 projects, and the CASES project within the 7th European Community Framework Program under the grant agreement No 294931.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this chapter
Cite this chapter
García, E., Valero, S., Giret, A. (2016). ROMAS-Magentix2. In: Aldewereld, H., Boissier, O., Dignum, V., Noriega, P., Padget, J. (eds) Social Coordination Frameworks for Social Technical Systems. Law, Governance and Technology Series, vol 30. Springer, Cham. https://doi.org/10.1007/978-3-319-33570-4_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-33570-4_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-33568-1
Online ISBN: 978-3-319-33570-4
eBook Packages: Law and CriminologyLaw and Criminology (R0)