Using Interaction Laws to Implement Dependability Explicit Computing in Open Multi-Agent Systems
Abstract
In this paper we propose to incorporate the Dependability Explicit Computing (DepEx) ideas into a law-governed approach in order to build dependable open multi-agent systems. We show that the law specification can explicitly incorporate dependability concerns, collect data and publish them in a metadata registry. This data can be used to realize DepEx and, for example, it can help to guide design and runtime decisions. The advantages of using a law-approach are (i) the explicit specification of the dependability concerns; (ii) the automatic collection of the dependability metadata reusing the mediators’ infrastructure presenting in law-governed approaches; and (iii) the ability to specify reactions to undesirable situations, thus preventing service failures.
References
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.
Published
2007-10-15
How to Cite
PAES, Rodrigo; LUCENA, Carlos; CARVALHO, Gustavo.
Using Interaction Laws to Implement Dependability Explicit Computing in Open Multi-Agent Systems. In: BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING (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.
