Skip to main content

Domain engineering to ensure flexibility on interaction laws of multi-agent systems

Abstract

Law enforcement approaches have been proposed to promote dependability in open multi-agent systems. Interaction laws are defined and then enforced to promote predictability. As new software demands and requirements appear, the system and its interaction laws must evolve to support those changes. The purpose of domain engineering is to produce a set of reusable assets for a family of systems, which are then used to build concrete members of the family. Flexibility is the ease with which a system or component can be modified for use in applications other than those for which it was originally designed. In this paper, we discuss how the MLaw infrastructure was designed to support interaction law evolution providing support to produce a set of reusable laws for a family of systems. As an example, we have implemented two customizable applications in the area of electronic negotiation expressed as an open system environment.

References

  1. G. A. Agha Abstracting Interaction Patterns: A Programming Paradigm for Open Distributed Systems, In (Eds) E. Najm and J.-B. Stefani, Formal Methods for Open Object-based Distributed Systems IFIP Transactions, Chapman & Hall, 1997.

  2. X. Ao, N. and Minsky. Flexible Regulation of Distributed Coalitions. In Proc. of the 8th European Symposium on Research in Computer Security (ESORICS), 2003.

  3. G. Carvalho, C. Lucena, R. Paes, J.P. Briot. Refinement Operators to Facilitate the Reuse of Interaction Laws in Open Multi-Agent Systems, International Workshop on Software Engineering for Large-scale Multi-Agent Systems (SELMAS’06), 5th, at ICSE 2006, Shanghai, China. In: Proceedings of the Fifth International Workshop on Software Engineering for Large-scale Multi-agent Systems, pp. 75–82, 2006.

  4. G. Carvalho et al; Dynamic Law Evolution in Governance Mechanisms for Open Multi-Agent Systems. Workshop on Software Engineering for Agent-oriented Systems (SEAS 2006), 2nd, In: C. Lucena, et al (eds.) Proceedings of the II Workshop on Software Engineering for Agentoriented Systems (SEAS 2006), pp. 83–94, October 17th, 2006.

  5. Case Study Requirements — SELIC application scenario — http://www.bcb.gov.br/?SELIC. Last Visit Jan/12/2007

  6. J. Collins; R. Arunachala; N. Sadeh; J. Eriksson; N. Finne; S.Janson. The Supply Chain Management Game for the 2005 Trading Agent Competition. CMU-ISRI-04-139., 2005 http://www.sics.se/tac/tac05scmspec_v157.pdf

  7. M. Esteva Electronic institutions: from specification to development, Ph.D. thesis, Institut d’Investigació en Intelligència Artificial, Catalonia — Spain., 2003

  8. M. Fredriksson et al. First international workshop on theory and practice of open computational systems. In Proceedings of twelfth international workshop on Enabling technologies: Infrastructure for collaborative enterprises (WETICE), Workshop on Theory and practice of open computational systems (TAPOCS), pp. 355 – 358, 2003 IEEE Press.

  9. E. Gamma.;R. Johnson.; R. Helm; J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, 1995.

  10. A. Haddadi. Communication and Cooperation in Agent Systems: A Pragmatic Theory, volume 1056 of Lecture Notes in Computer Science. Springer Verlag., 1996.

  11. J.L. Koning, and M.P. Huget. A componentbased approach for modeling interaction protocols. In H. Kangassalo and E. Kawaguchi, editors, 10th European-Japanese Conference on Information Modeling and Knowledge Bases, Frontiers in Artificial Intelligence and Applications. IOS Press, 2000.

  12. K. Kuwabara; T. Ishida; and N.Osato. AgenTalk: Coordination protocol description for multiagent systems. In First International Conference on MultiAgent Systems (ICMAS-95), AAAI Press, 1995.

  13. N. H. Minsky; and V. Ungureanu. Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems, ACMTrans. Softw. Eng. Methodol. 9 (3) 273–305, 2000.

    Article  Google Scholar 

  14. R. B Paes; G. R Carvalho; C.J.P.Lucena; P. S. C. Alencar; H.O Almeida; V. T Silva. Specifying Laws in Open Multi-Agent Systems. In: Agents, Norms and Institutions for Regulated Multiagent Systems (ANIREM), AAMAS2005, 2005.

  15. R. Paes., G. Carvalho, M. Gatti, C. Lucena, J.P. Briot, and R. Choren. 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, 2007, p. 221–238.

    Google Scholar 

  16. M. P. Singh. A Customizable Coordination Service for Autonomous Agents,” Intelligent Agents IV: Agent Theories, Architectures, and Languages, Munindar P. Singh et al. ed., Springer, Berlin, pp. 93–106, 1998.

    Chapter  Google Scholar 

  17. M Wooldridge; G. Weiss; P. Ciancarini. (Eds.) Agent-Oriented Software Engineering II, Second International Workshop, AOSE 2001, Montreal, Canada, May 29, 2001, Revised Papers and Invited Contributions, Vol. 2222 of Lecture Notes in Computer Science, Springer, 2002.

  18. F. Zambonelli, N. Jennings, M. Wooldridge. Developing multiagent systems: The gaia methodology, ACM Trans. Softw. Eng. Methodol. 12 (3) 317–370, 2003.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License ( https://creativecommons.org/licenses/by/2.0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Cite this article

Carvalho, G.R., Paes, R.B., Lucena, C.J.P. et al. Domain engineering to ensure flexibility on interaction laws of multi-agent systems. J Braz Comp Soc 13, 7–18 (2007). https://doi.org/10.1007/BF03192406

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF03192406

Keywords