research-article

IMPULSE: a design framework for multi-agent systems based on model transformation

Authors:

Hiroyuki Nakagawa,

Nobukazu Yoshioka,

Akihiko Ohsuga,

Shinichi HonidenAuthors Info & Claims

SAC '11: Proceedings of the 2011 ACM Symposium on Applied Computing

Pages 1411 - 1418

https://doi.org/10.1145/1982185.1982491

Published: 21 March 2011 Publication History

Abstract

The purpose of this study is to reduce the difficulties encountered when designing multi-agent systems (MAS). Although MAS are one of the more effective approaches for dealing with the recent increase in software complexity, they are themselves difficult to develop. We believe the difficulties in determining agent responsibilities and the organizational structure as the most significant obstacles to MAS development. In this paper, we propose a design framework for MAS, which includes restriction rules in the goal-oriented requirements description and a generator that transforms the restricted requirements description into a general MAS design model. We demonstrate the effectiveness of our framework through a case study and show how the framework can be used to construct MAS design models more precisely than conventional methods permit.

References

[1]

A. I. Antón and C. Potts. The use of goals to surface requirements for evolving systems. In ICSE '98: Proceedings of the 20th international conference on Software engineering, pages 157--166, Kyoto, Japan, 1998. IEEE Computer Society.

Digital Library

[2]

C. Bernon, M. Cossentino, and J. Pavón. Agent-oriented software engineering. The Knowledge Engineering Review, 20(2): 99--116, 2005.

Digital Library

[3]

P. Bresciani, A. Perini, P. Giorgini, F. Giunchiglia, and J. Mylopoulos. Tropos: An agent-oriented software development methodology. Autonomous Agents and Multi-Agent Systems, 8(3): 203--236, 2004.

Digital Library

[4]

CEDITI. Objectiver. http://www.objectiver.com/.

[5]

B. H. C. Cheng, P. Sawyer, N. Bencomo, and J. Whittle. A goal-based modeling approach to develop requirements of an adaptive system with environmental uncertainty. In Proc. of the ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2009), pages 468--483. Springer, 2009.

Digital Library

[6]

L. Chung, B. A. Nixon, E. Yu, and J. Mylopoulos. Non-Functional Requirements in Software Engineering. Springer, 1999.

[7]

M. Cossentino, S. Gaglio, L. Sabatucci, and V. Seidita. The PASSI and agile PASSI MAS meta-models compared with a unifying proposal. In International Workshop of Central and Eastern Europe on Multi-Agent Systems (CEEMAS 2005), pages 183--192. Springer, 2005.

Digital Library

[8]

A. Dardenne, A. van Lamsweerde, and S. Fickas. Goal-directed requirements acquisition. Science of Computer Programming, 20(1--2): 3--50, 1993.

Digital Library

[9]

R. Darimont and A. van Lamsweerde. Formal refinement patterns for goal-driven requirements elaboration. In Proc. of the 4th ACM SIGSOFT symposium on Foundations of software engineering, pages 179--190, 1996.

Digital Library

[10]

S. A. DeLoach, M. F. Wood, and C. H. Sparkman. Multiagent systems engineering. The International Journal of Software Engineering and Knowledge Engineering, 11(3): 231--258, 2001.

[11]

J. J. Gutiérrez, C. Nebut, M. J. Escalona, M. Mejías, and I. M. Ramos. Visualization of use cases through automatically generated activity diagrams. In Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems (MoDELS '08), pages 83--96, Berlin, Heidelberg, 2008. Springer-Verlag.

Digital Library

[12]

D. Hatebur, M. Heisel, and H. Schmidt. A formal metamodel for problem frames. In Proc. of the 11th international conference on Model Driven Engineering Languages and Systems (MoDELS '08), pages 68--82, Berlin, Heidelberg, 2008. Springer-Verlag.

Digital Library

[13]

M. Jackson. Problem Frames: Analysing and Structuring Software Development Problems. Addison-Wesley, 2000.

Digital Library

[14]

T. Juan, A. Pearce, and L. Sterling. Roadmap: extending the gaia methodology for complex open systems. In Proc. of the first international joint conference on Autonomous agents and multiagent systems (AAMAS '02), pages 3--10, New York, NY, USA, 2002. ACM.

Digital Library

[15]

T. Juan and L. Sterling. The roadmap meta-model for intelligent adaptive multi-agent systems in open environments. In Proc. of the 4th International workshop on Agent Oriented Software Engineering, pages 53--68, 2003.

Digital Library

[16]

P. P. Kuan, S. Karunasekera, and L. Sterling. Improving goal and role oriented analysis for agent based systems. In ASWEC '05, pages 40--47. IEEE Computer Society, 2005.

Digital Library

[17]

E. Letier. Reasoning about Agents in Goal-Oriented Requirements Engineering. PhD thesis, Universite Catholique de Louvain, 2001.

[18]

M. Luck, R. Ashri, and M. D'Inverno. Agent-Based Software Development. Artech House, 2004.

Digital Library

[19]

M. Morandini, L. Penserini, and A. Perini. Towards goal-oriented development of self-adaptive systems. In Proc. of the International Workshop on Software Engineering for Adaptive and Self-managing Systems (SEAMS2008), pages 9--16, Leipzig, Germany, 2008.

Digital Library

[20]

H. Nakagawa, T. Karube, and S. Honiden. Analysis of multi-agent systems based on KAOS modeling. In Proc. of the 28th International Conference on Software Engineering (ICSE 2006), pages 926--929, Shanghai, China, 2006. ACM.

Digital Library

[21]

H. Nakagawa, N. Yoshioka, A. Ohsuga, and S. Honiden. A framework for validating task assignment in multi-agent systems using requirements importance. In Proc. of the 13th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA2010), Kolkata, India, 2010.

Digital Library

[22]

B. Nuseibeh. Weaving together requirements and architectures. IEEE Computer, 34(3): 115--117, 2001.

Digital Library

[23]

L. Padgham and MichaelWinikoff. Prometheus: A methodology for developing intelligent agents. In Lecture Notes in Computer Science: Agent-Oriented Software Engineering III: Third International Workshop (AOSE 2002), volume 2585, pages 174--185. Springer, 2003.

Digital Library

[24]

M. Smialek, J. Bojarski, W. Nowakowski, A. Ambroziewicz, and T. Straszak. Complementary use case scenario representations based on domain vocabularies. In Proc. of the 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS '07), pages 544--558, Nashville, USA, 2007. Springer.

Digital Library

[25]

A. van Lamsweerde. Requirements engineering in the year 00: a research perspective. In Proc. of the 22nd international conference on Software engineering (ICSE '00), pages 5--19. ACM, 2000.

Digital Library

[26]

A. van Lamsweerde. Goal-oriented requirements engineering: A guided tour. In Fifth IEEE International Symposium on Requirements Engineering (RE'01), pages 249--262, Toronto, Canada, 2001.

Digital Library

[27]

M. Wooldridge. An Introduction to Multiagent Systems (2nd Ed.). John Wiley & Sons, 2009.

Digital Library

[28]

M. Wooldridge, N. R. Jennings, and D. Kinny. The gaia methodology for agent-oriented analysis and design. Autonomous Agents and Multi-Agent Systems, 3(3): 285--312, 2000.

Digital Library

[29]

E. S. K. Yu. Towards modelling and reasoning support for early-phase requirements engineering. In In Proc. of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), pages 226--235, 1997.

Digital Library

[30]

T. Yue, L. C. Briand, and Y. Labiche. A use case modeling approach to facilitate the transition towards analysis models: Concepts and empirical evaluation. In Proc. of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS '09), pages 484--498. Springer, 2009.

Digital Library

[31]

F. Zambonelli, N. R. Jennings, and M. Wooldridge. Developing multiagent systems: The Gaia methodology. ACM Transactions on Software Engineering and Methodology, 12(3): 317--370, 2003.

Digital Library

Cited By

Nakagawa HOgata SAoki YKobayashi KHung CCerny TShin DBechini A(2020)A model transformation approach to constructing agent-oriented design models for CPS/IoT systemsProceedings of the 35th Annual ACM Symposium on Applied Computing10.1145/3341105.3374033(815-822)Online publication date: 30-Mar-2020
https://dl.acm.org/doi/10.1145/3341105.3374033
Ashraf MGhazali M(2011)Investigating physical interaction complexities in embedded systems2011 Malaysian Conference in Software Engineering10.1109/MySEC.2011.6140694(336-341)Online publication date: Dec-2011
https://doi.org/10.1109/MySEC.2011.6140694

Recommendations

Using three AOSE toolkits to develop a sample design

At the 8th Agent-Oriented Software Engineering Workshop, the developers of tools supporting three popular agent-oriented methodologies (Tropos, Prometheus and Organization-based Multiagent Systems Engineering (O-MaSE)) demonstrated their tools using a ...
A Plan Based Coalition Formation Model for Multi-agent Systems
WI-IAT '11: Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02

This article addresses the coalition formation problem in a multi-agent context where agents plan their activities dynamically and use these plans to coordinate their actions and form suitable coalitions. In most coalition formation methods, when ...
Development of a code generation system for control agents
ICCOMP'06: Proceedings of the 10th WSEAS international conference on Computers

This work has as main goal, the development of a system that would allow the creation of control agents for the SCDIA, this includes the creation of an agent's source code, its compilation and incorporation to the SCDIA. The SCDIA is a reference model ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

SAC '11: Proceedings of the 2011 ACM Symposium on Applied Computing

March 2011

1868 pages

ISBN:9781450301138

DOI:10.1145/1982185

Conference Chairs:
William Chu
Tunghai University, TaiChung, Taiwan
,
W. Eric Wong
University of Texas at Dallas, Richardson, Texas
,
Program Chairs:
Mathew J. Palakal
Indiana University Purdue University, Indianapolis
,
Chih-Cheng Hung
Southern Polytechnic State University, Marietta

Copyright © 2011 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 21 March 2011

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SAC'11

Sponsor:

SIGAPP

SAC'11: The 2011 ACM Symposium on Applied Computing

March 21 - 24, 2011

TaiChung, Taiwan

Acceptance Rates

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Upcoming Conference

SAC '25

Sponsor:
sigapp

The 40th ACM/SIGAPP Symposium on Applied Computing

March 31 - April 4, 2025

Catania , Italy

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
144
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 28 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Nakagawa HOgata SAoki YKobayashi KHung CCerny TShin DBechini A(2020)A model transformation approach to constructing agent-oriented design models for CPS/IoT systemsProceedings of the 35th Annual ACM Symposium on Applied Computing10.1145/3341105.3374033(815-822)Online publication date: 30-Mar-2020
https://dl.acm.org/doi/10.1145/3341105.3374033
Ashraf MGhazali M(2011)Investigating physical interaction complexities in embedded systems2011 Malaysian Conference in Software Engineering10.1109/MySEC.2011.6140694(336-341)Online publication date: Dec-2011
https://doi.org/10.1109/MySEC.2011.6140694

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten