Using Interaction Laws to Implement Dependability Explicit Computing in Open Multi-Agent Systems
Resumo
Neste artigo, ilustra-se a aplicação das idéias de Dependability Explicit Computing (DepEx) em uma abordagem de leis de interação para a construção de sistemas multi-agentes abertos fidedignos (dependable). Mostra-se que as especificações das leis podem tratar explicitamente conceitos de fidedignidade, e auxiliar na coleta e publicação de dados sobre fidedignidade. Estes dados podem ser utilizados, por exemplo, para auxiliar na construção de aplicações guiando decisões tanto em tempo de projeto quanto em tempo de execução. As principais vantagens da utilização de uma abordagem de leis para a especificação de preocupações de fidedignidade são: (i) definição explícita das preocupações; (ii) coleta automática de metadados usando a infra-estrutura de mediadores presente na maioria das abordagens de leis; e (iii) habilidade de especificar estratégias para reagir a situações não-desejadas, auxiliando na prevenção de falhas de serviço.
Referências
Serugendo, G., Fitzgerald, J., Romanovsky, A. and Guelfi, N., (2006) “Dependable SelfOrganising Software Architectures An Approach for Self-Managing Systems”, Technical Report No: BBKCS-06-05, School of Computer Science and Information Systems, Birkbeck College, London, May
Avizienis, A., Laprie, J-C., Randell, B., and Landwehr, C., (2004) “Basic Concepts and Taxonomy of Dependable and Secure Computing”, IEEE Transactions on Dependable and Secure Computing, vol. 1, n. 1, pp. 11-33, January-March.
Kaâniche, M., Laprie, J., and Blanquart, J. (2000). “A Dependability-Explicit Model for the Development of Computing Systems”. In Proceedings of the 19th International Conference on Computer Safety, Reliability and Security. F. Koornneef and M. v. Meulen, Eds. Lecture Notes In Computer Science, vol. 1943. Springer-Verlag, London, 107-116.
Paes, R., Gatti, M., Carvalho, G., Rodrigues, L., Lucena, C., (2006), “A middleware for governance in open multi-agent systems”, Tech. Rep. MCC 33/06, PUC-Rio, http://wiki.les.inf.puc-rio.br/uploads/8/87/Mlaw-mcc-agosto-06.pdf.
Minsky, N. and Ungureanu, V., (2000) “Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems”, ACM Trans. Softw. Eng. Methodol. 9 (3) (2000) 273--305.
Paes, R., Carvalho, G., Gatti, M., Lucena, C., Briot, J.-P., Choren, R., (2007) “Enhancing the Environment with a Law-Governed Service for Monitoring and Enforcing Behavior in Open Multi-Agent Systems”, In: Weyns, D.; Parunak, H.V.D.; Michel, F. (eds.): Environments for Multi-Agent Systems, Lecture Notes in Artificial Intelligence, vol. 4389. Berlim: Springer-Verlag, p. 221–238.
Paes, R., Carvalho, G., Lucena, C., Alencar, P., Almeida, H., Silva, V. (2005) “Specifying laws in open multi-agent systems”, in: Agents, Norms and Institutions for Regulated Multiagent Systems ANIREM, Utrecht, The Netherlands.
Paes, R., Carvalho, G., Lucena, C., (2007b) “XMLaw specification: version 1.0”, Tech. Rep. to appear, PUC-Rio, Rio de Janeiro, Brasil.
Esteva, M., (2003) “Electronic institutions: from specification to development”, Ph.D. thesis, Institut d'Investigaci en Intel.ligncia Artificial, Catalonia – Spain October.
Dignum, V., Vazquez-Salceda, J., Dignum, F., (2004) “A model of almost everything: Norms, structure and ontologies in agent organizations”, in: Third International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'04), Vol. 3.
Yi, X. and Kochut, K., (2004) “Process Composition of Web Services with Complex Conversation Protocols: a Colored Petri Nets Based Approach”, Proc. of Design, Analysis, and Simulation of Dist. Sys. Symposium.
Dobson, G., (2006) "OWL and OWL-S for Dependability-Explicit Service-Centric Computing", Service-Oriented Computing: Consequences for Engineering Requirements (SOCCER'06 RE'06 Workshop), p. 4, September.
Chen, Y., Li, P., Romanovsky, A. (2005) Web Services Dependability and Performance Monitoring. Proc. of 21st UK Performance Engineering Workshop. Newcastle upon Tyne. UK. July.
Webster, I., Amaral, J., Cysneiros, L. M. (2005) "A Survey of Good Practices and Misuses for Modelling with i* Framework", in Proc. of VIII Workshop in Requirements Engineering, Porto, Portugal,pp:148:160, ISBN 972-752-079-0 Chung, L., Nixon, B., Yu, E., Mylopoulos, J. (1999) "Non-Functional Requirements in Software Engineering" Kluwer Publishing.
Yu, Eric. (1994) “Modelling Strategic Relationships for Processing Engineering”, Ph.D. Thesis, University of Toronto.
Avizienis, A., Laprie, J-C., Randell, B., and Landwehr, C., (2004) “Basic Concepts and Taxonomy of Dependable and Secure Computing”, IEEE Transactions on Dependable and Secure Computing, vol. 1, n. 1, pp. 11-33, January-March.
Kaâniche, M., Laprie, J., and Blanquart, J. (2000). “A Dependability-Explicit Model for the Development of Computing Systems”. In Proceedings of the 19th International Conference on Computer Safety, Reliability and Security. F. Koornneef and M. v. Meulen, Eds. Lecture Notes In Computer Science, vol. 1943. Springer-Verlag, London, 107-116.
Paes, R., Gatti, M., Carvalho, G., Rodrigues, L., Lucena, C., (2006), “A middleware for governance in open multi-agent systems”, Tech. Rep. MCC 33/06, PUC-Rio, http://wiki.les.inf.puc-rio.br/uploads/8/87/Mlaw-mcc-agosto-06.pdf.
Minsky, N. and Ungureanu, V., (2000) “Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems”, ACM Trans. Softw. Eng. Methodol. 9 (3) (2000) 273--305.
Paes, R., Carvalho, G., Gatti, M., Lucena, C., Briot, J.-P., Choren, R., (2007) “Enhancing the Environment with a Law-Governed Service for Monitoring and Enforcing Behavior in Open Multi-Agent Systems”, In: Weyns, D.; Parunak, H.V.D.; Michel, F. (eds.): Environments for Multi-Agent Systems, Lecture Notes in Artificial Intelligence, vol. 4389. Berlim: Springer-Verlag, p. 221–238.
Paes, R., Carvalho, G., Lucena, C., Alencar, P., Almeida, H., Silva, V. (2005) “Specifying laws in open multi-agent systems”, in: Agents, Norms and Institutions for Regulated Multiagent Systems ANIREM, Utrecht, The Netherlands.
Paes, R., Carvalho, G., Lucena, C., (2007b) “XMLaw specification: version 1.0”, Tech. Rep. to appear, PUC-Rio, Rio de Janeiro, Brasil.
Esteva, M., (2003) “Electronic institutions: from specification to development”, Ph.D. thesis, Institut d'Investigaci en Intel.ligncia Artificial, Catalonia – Spain October.
Dignum, V., Vazquez-Salceda, J., Dignum, F., (2004) “A model of almost everything: Norms, structure and ontologies in agent organizations”, in: Third International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'04), Vol. 3.
Yi, X. and Kochut, K., (2004) “Process Composition of Web Services with Complex Conversation Protocols: a Colored Petri Nets Based Approach”, Proc. of Design, Analysis, and Simulation of Dist. Sys. Symposium.
Dobson, G., (2006) "OWL and OWL-S for Dependability-Explicit Service-Centric Computing", Service-Oriented Computing: Consequences for Engineering Requirements (SOCCER'06 RE'06 Workshop), p. 4, September.
Chen, Y., Li, P., Romanovsky, A. (2005) Web Services Dependability and Performance Monitoring. Proc. of 21st UK Performance Engineering Workshop. Newcastle upon Tyne. UK. July.
Webster, I., Amaral, J., Cysneiros, L. M. (2005) "A Survey of Good Practices and Misuses for Modelling with i* Framework", in Proc. of VIII Workshop in Requirements Engineering, Porto, Portugal,pp:148:160, ISBN 972-752-079-0 Chung, L., Nixon, B., Yu, E., Mylopoulos, J. (1999) "Non-Functional Requirements in Software Engineering" Kluwer Publishing.
Yu, Eric. (1994) “Modelling Strategic Relationships for Processing Engineering”, Ph.D. Thesis, University of Toronto.
Publicado
15/10/2007
Como Citar
PAES, Rodrigo; LUCENA, Carlos; CARVALHO, Gustavo.
Using Interaction Laws to Implement Dependability Explicit Computing in Open Multi-Agent Systems. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 21. , 2007, João Pessoa.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2007
.
p. 59-75.
DOI: https://doi.org/10.5753/sbes.2007.21299.
