Uma análise comparativa da especificação formal em sistemas multi-agente: os desafios e as exigências uma década depois
Resumo
Desenvolvido a partir de princípios matemáticos, métodos formais são usados para o desenvolvimento de sistemas computacionais, dando prioridade à coesão. Eles são uma área de pesquisa ativa em sistemas multiagente. A presente análise comparativa tem como objetivo avaliar a adoção de especificação formal em ponto de vista de sistemas multi-agente. O trabalho faz visita a um roteiro de especificação formal escrito há mais de uma década atrás, com destaque para as exigências e desafios propostos então, e, comparando estes com pesquisas recentes sobre especificação formal em sistemas multi-agente selecionados e analisados a partir de bancos de dados acadêmicos populares para ver como foram abordadas. A diferença na natureza das obras em analise explica a presença ou ausência de alguns requisitos. Conclui-se que métodos formais em design de software têm sido mais evidentes no desenvolvimento de sistemas críticos, onde as propriedades dos sistemas emergentes, como segurança, confiabilidade e segurança são de suma importância.
Referências
Aguirre, J. L., Brena, R., & Cantu, F. J. (2001). Multiagent-based knowledge networks. Expert Systems with applications, 20(1), 65-75.
Armoni, R., Fix, L., Flaisher, A., Gerth, R., Ginsburg, B., Kanza, T., ... & Vardi, M. (2002). The ForSpec temporal logic: A new temporal property-specification language. In Tools and Algorithms for the Construction and Analysis of Systems (pp. 296-311). Springer Berlin Heidelberg.
Bosse, T., Hoogendoorn, M., Serban, R., & Treur, J. (2007). A Specification Language for Coordination in Agent Systems. In Intelligent Agent Technology, 2007. IAT'07. IEEE/WIC/ACM International Conference on (pp. 252-256). IEEE.
Brazier, F. M. T., Dunin-Keplicz, B. M., Jennings, N. R., & Treur, J. (1997). Desire: Modelling multi-agent systems in a compositional formal framework.Int. Journal of Cooperative Information Systems, 6(1), 67-94.
Cabral, G., & Sampaio, A. (2008). Formal specification generation from requirement documents. Electronic Notes in Theoretical Computer Science,195, 171-188.
Chang, L., He, X., & Shatz, S. M. (2012). A methodology for modeling multi-agent systems using nested Petri nets. International Journal of Software Engineering and Knowledge Engineering, 22(07), 891-925.
Che, H. Y., Sun, J. G., & Yu, H. B. (2006). A Description Logic Method of Formalizing the Specification of Multi-Agent System. In Machine Learning and Cybernetics, 2006 International Conference on (pp. 61-65). IEEE.
Dumas, M., & Ter Hofstede, A. H. (2001). UML activity diagrams as a workflow specification language. In ≪ UML≫ 2001—The Unified Modeling Language. Modeling Languages, Concepts, and Tools (pp. 76-90). Springer Berlin Heidelberg.
Esteva, M., Rodriguez-Aguilar, J. A., Sierra, C., Garcia, P., & Arcos, J. L. (2001). On the formal specification of electronic institutions. In Agent mediated electronic commerce (pp. 126-147). Springer Berlin Heidelberg.
Fuentes, R, F., Henderson, B. H., Argente, E. S., Beydoun, G., and Low, G. (1999) "Agent-oriented software engineering". In Modelling with Agents, pages 151–162. Springer.
Gruninger, M., & Menzel, C. (2003). The process specification language (PSL) theory and applications. AI magazine, 24(3), 63.
Gularte, A., Gonçalves, E., Jung M., da Rosa, A.(2013)" Two different perspectives to specify and implement multiagent systems". WESAAC.
Horling, B., & Lesser, V. (2004). A survey of multi-agent organizational paradigms. The Knowledge Engineering Review, 19(04), 281-316.
Hussain, F., Ramanathan, A., Pullum, L. L., & Jha, S. K. (2014). EpiSpec: A formal specification language for parameterized agent-based models against epidemiological ground truth. In Computational Advances in Bio and Medical Sciences (ICCABS), 2014 IEEE 4th International Conference on (pp. 1-6). IEEE.
Karsai, G., Agrawal, A., Shi, F., & Sprinkle, J. (2003). On the use of graph transformation in the formal specification of model interpreters. J. UCS,9(11), 1296-1321.
Lamsweerde, A. V. (2000). Formal specification: a roadmap. In Proceedings of the Conference on the Future of Software Engineering (pp. 147-159). ACM.
Lin, H. I., & Cheng, C. H. (2014). Behavior-Based Manipulator Programming Based on Extensible Agent Behavior Specification Language. In Control, Automation and Systems (ICCAS), 2014 14th International Conference on (pp. 808-813). IEEE.
Lin, H., & Yang, C. (2006). Specification of Multi-Agent Systems in the Gamma Language.
Lötzsch, M., Bach, J., Burkhard, H. D., & Jüngel, M. (2003). Designing agent behavior with the extensible agent behavior specification language XABSL. InRoboCup 2003: Robot Soccer World Cup VII (pp. 114-124). Springer Berlin Heidelberg.
Medina, M. A., & Urban, J. E. (2007). An Approach to Deriving Reactive Agent Designs from Extensions to the Descartes Specification Language. In Autonomous Decentralized Systems, 2007. ISADS'07. Eighth International Symposium on (pp. 363-367). IEEE.
Monostori, L., Váncza, J., & Kumara, S. R. (2006). Agent-based systems for manufacturing. CIRP Annals-Manufacturing Technology, 55(2), 697-720.
Ormandjieva, O., Bentahar, J., Huang, J., & Kuang, H. (2015). Modelling Multi-agent Systems with Category Theory. Procedia Computer Science, 52, 538-545.
Pagliarecci, F., Spalazzi, L., Stehr, M. O., & Talcott, C. L. (2008). Formal specification of agent-object oriented programs. In Collaborative Technologies and Systems, 2008. CTS 2008. International Symposium on(pp. 127-134). IEEE.
Pustejovsky, J.,Ingria, B.,Sauri, R.,Castano, J.,Littman, J., Gaizauskas, R., Setzer, A.,Katz, G. and Miani, I. (2005) The Specification Language TimeML. In I. Mani, J. Pustejovsky, and R. Gaizauskas, (eds.), The Language of Time: A Reader. Oxford University Press.
Ramzan, M., Ali, A., Akram, S., & Qayyum, Z. U. (2011). Formal specification of multi-agent environment using VDM-SL. In Computer Sciences and Convergence Information Technology (ICCIT), 2011 6th International Conference on (pp. 150-154). IEEE.
Subburaj, V. H., & Urban, J. E. (2013). A formal specification language for modeling agent systems. In Informatics and Applications (ICIA), 2013 Second International Conference on (pp. 300-305). IEEE.
Tao, Z., Hong, X., & Shao-bin, H. (2015). A Formal Verification Method of Obligation Policy in Multi-agent System.
Urban, J. E., Subburaj, V. H., & Ramamoorthy, L. (2011). Extending the descartes specification language towards process modeling. InComputer Science and Information Systems (FedCSIS), 2011 Federated Conference on (pp. 337-340). IEEE.
Van, H. N., Balabonski, T., Boulanger, F., Taha, S., Valiron, B., Wolff, B., & Ye, L. (2015). Towards a formal semantics of the TESL specification language. In 3rd International Workshop on the Globalization Of Modeling Languages (GEMOC 2015) (No. 1511, pp. 14-19).
Vicari, R. M. (2012). Um Metamodelo UML para a Modelagem de Requisitos em Projetos de Sistemas MultiAgentes (Doctoral dissertation, UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL).
Wang, L., & Hongshuai, Z. (2010). Ontology for communication in distributed multiagent system. In Distributed Computing and Applications to Business Engineering and Science (DCABES), 2010 Ninth International Symposium on (pp. 588-592). IEEE.
Wang, Y., & Singh, M. P. (2007). Formal Trust Model for Multiagent Systems. In IJCAI (Vol. 7, pp. 1551-1556).
Wood, M. F., & DeLoach, S. A. (2001). An overview of the multiagent systems engineering methodology. In Agent-Oriented Software Engineering (pp. 207-221). Springer Berlin Heidelberg.
Wooldridge, M., & Jennings, N. R. (1994). Agent theories, architectures, and languages: a survey. In Intelligent agents (pp. 1-39). Springer Berlin Heidelberg.
Yuan, L., & Fan, P. (2013). Formal Modeling and Verification of Multi-agent System Architecture. AASRI Procedia, 5, 126-132.
Zhao, Z., & Xu, Y. (2010). DPMAS: A Design Method for Multi-agent System Using Agent UML. In Information and Computing (ICIC), 2010 Third International Conference on (Vol. 4, pp. 137-140). IEEE.
Armoni, R., Fix, L., Flaisher, A., Gerth, R., Ginsburg, B., Kanza, T., ... & Vardi, M. (2002). The ForSpec temporal logic: A new temporal property-specification language. In Tools and Algorithms for the Construction and Analysis of Systems (pp. 296-311). Springer Berlin Heidelberg.
Bosse, T., Hoogendoorn, M., Serban, R., & Treur, J. (2007). A Specification Language for Coordination in Agent Systems. In Intelligent Agent Technology, 2007. IAT'07. IEEE/WIC/ACM International Conference on (pp. 252-256). IEEE.
Brazier, F. M. T., Dunin-Keplicz, B. M., Jennings, N. R., & Treur, J. (1997). Desire: Modelling multi-agent systems in a compositional formal framework.Int. Journal of Cooperative Information Systems, 6(1), 67-94.
Cabral, G., & Sampaio, A. (2008). Formal specification generation from requirement documents. Electronic Notes in Theoretical Computer Science,195, 171-188.
Chang, L., He, X., & Shatz, S. M. (2012). A methodology for modeling multi-agent systems using nested Petri nets. International Journal of Software Engineering and Knowledge Engineering, 22(07), 891-925.
Che, H. Y., Sun, J. G., & Yu, H. B. (2006). A Description Logic Method of Formalizing the Specification of Multi-Agent System. In Machine Learning and Cybernetics, 2006 International Conference on (pp. 61-65). IEEE.
Dumas, M., & Ter Hofstede, A. H. (2001). UML activity diagrams as a workflow specification language. In ≪ UML≫ 2001—The Unified Modeling Language. Modeling Languages, Concepts, and Tools (pp. 76-90). Springer Berlin Heidelberg.
Esteva, M., Rodriguez-Aguilar, J. A., Sierra, C., Garcia, P., & Arcos, J. L. (2001). On the formal specification of electronic institutions. In Agent mediated electronic commerce (pp. 126-147). Springer Berlin Heidelberg.
Fuentes, R, F., Henderson, B. H., Argente, E. S., Beydoun, G., and Low, G. (1999) "Agent-oriented software engineering". In Modelling with Agents, pages 151–162. Springer.
Gruninger, M., & Menzel, C. (2003). The process specification language (PSL) theory and applications. AI magazine, 24(3), 63.
Gularte, A., Gonçalves, E., Jung M., da Rosa, A.(2013)" Two different perspectives to specify and implement multiagent systems". WESAAC.
Horling, B., & Lesser, V. (2004). A survey of multi-agent organizational paradigms. The Knowledge Engineering Review, 19(04), 281-316.
Hussain, F., Ramanathan, A., Pullum, L. L., & Jha, S. K. (2014). EpiSpec: A formal specification language for parameterized agent-based models against epidemiological ground truth. In Computational Advances in Bio and Medical Sciences (ICCABS), 2014 IEEE 4th International Conference on (pp. 1-6). IEEE.
Karsai, G., Agrawal, A., Shi, F., & Sprinkle, J. (2003). On the use of graph transformation in the formal specification of model interpreters. J. UCS,9(11), 1296-1321.
Lamsweerde, A. V. (2000). Formal specification: a roadmap. In Proceedings of the Conference on the Future of Software Engineering (pp. 147-159). ACM.
Lin, H. I., & Cheng, C. H. (2014). Behavior-Based Manipulator Programming Based on Extensible Agent Behavior Specification Language. In Control, Automation and Systems (ICCAS), 2014 14th International Conference on (pp. 808-813). IEEE.
Lin, H., & Yang, C. (2006). Specification of Multi-Agent Systems in the Gamma Language.
Lötzsch, M., Bach, J., Burkhard, H. D., & Jüngel, M. (2003). Designing agent behavior with the extensible agent behavior specification language XABSL. InRoboCup 2003: Robot Soccer World Cup VII (pp. 114-124). Springer Berlin Heidelberg.
Medina, M. A., & Urban, J. E. (2007). An Approach to Deriving Reactive Agent Designs from Extensions to the Descartes Specification Language. In Autonomous Decentralized Systems, 2007. ISADS'07. Eighth International Symposium on (pp. 363-367). IEEE.
Monostori, L., Váncza, J., & Kumara, S. R. (2006). Agent-based systems for manufacturing. CIRP Annals-Manufacturing Technology, 55(2), 697-720.
Ormandjieva, O., Bentahar, J., Huang, J., & Kuang, H. (2015). Modelling Multi-agent Systems with Category Theory. Procedia Computer Science, 52, 538-545.
Pagliarecci, F., Spalazzi, L., Stehr, M. O., & Talcott, C. L. (2008). Formal specification of agent-object oriented programs. In Collaborative Technologies and Systems, 2008. CTS 2008. International Symposium on(pp. 127-134). IEEE.
Pustejovsky, J.,Ingria, B.,Sauri, R.,Castano, J.,Littman, J., Gaizauskas, R., Setzer, A.,Katz, G. and Miani, I. (2005) The Specification Language TimeML. In I. Mani, J. Pustejovsky, and R. Gaizauskas, (eds.), The Language of Time: A Reader. Oxford University Press.
Ramzan, M., Ali, A., Akram, S., & Qayyum, Z. U. (2011). Formal specification of multi-agent environment using VDM-SL. In Computer Sciences and Convergence Information Technology (ICCIT), 2011 6th International Conference on (pp. 150-154). IEEE.
Subburaj, V. H., & Urban, J. E. (2013). A formal specification language for modeling agent systems. In Informatics and Applications (ICIA), 2013 Second International Conference on (pp. 300-305). IEEE.
Tao, Z., Hong, X., & Shao-bin, H. (2015). A Formal Verification Method of Obligation Policy in Multi-agent System.
Urban, J. E., Subburaj, V. H., & Ramamoorthy, L. (2011). Extending the descartes specification language towards process modeling. InComputer Science and Information Systems (FedCSIS), 2011 Federated Conference on (pp. 337-340). IEEE.
Van, H. N., Balabonski, T., Boulanger, F., Taha, S., Valiron, B., Wolff, B., & Ye, L. (2015). Towards a formal semantics of the TESL specification language. In 3rd International Workshop on the Globalization Of Modeling Languages (GEMOC 2015) (No. 1511, pp. 14-19).
Vicari, R. M. (2012). Um Metamodelo UML para a Modelagem de Requisitos em Projetos de Sistemas MultiAgentes (Doctoral dissertation, UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL).
Wang, L., & Hongshuai, Z. (2010). Ontology for communication in distributed multiagent system. In Distributed Computing and Applications to Business Engineering and Science (DCABES), 2010 Ninth International Symposium on (pp. 588-592). IEEE.
Wang, Y., & Singh, M. P. (2007). Formal Trust Model for Multiagent Systems. In IJCAI (Vol. 7, pp. 1551-1556).
Wood, M. F., & DeLoach, S. A. (2001). An overview of the multiagent systems engineering methodology. In Agent-Oriented Software Engineering (pp. 207-221). Springer Berlin Heidelberg.
Wooldridge, M., & Jennings, N. R. (1994). Agent theories, architectures, and languages: a survey. In Intelligent agents (pp. 1-39). Springer Berlin Heidelberg.
Yuan, L., & Fan, P. (2013). Formal Modeling and Verification of Multi-agent System Architecture. AASRI Procedia, 5, 126-132.
Zhao, Z., & Xu, Y. (2010). DPMAS: A Design Method for Multi-agent System Using Agent UML. In Information and Computing (ICIC), 2010 Third International Conference on (Vol. 4, pp. 137-140). IEEE.
Publicado
23/05/2016
Como Citar
QUADROS, Carlos Eduardo Pereira; SALDANHA, Jader de Freitas; BASTOS, Narusci; MARUBE, Newton Nyamasege; GONÇALVES, Eder Mateus.
Uma análise comparativa da especificação formal em sistemas multi-agente: os desafios e as exigências uma década depois. In: WORKSHOP-ESCOLA DE SISTEMAS DE AGENTES, SEUS AMBIENTES E APLICAÇÕES (WESAAC), 10. , 2016, Maceió/AL.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2016
.
p. 82-93.
ISSN 2326-5434.
DOI: https://doi.org/10.5753/wesaac.2016.33208.
