demonstration

AUML protocols and code generation in the Prometheus design tool

Authors:

Lin Padgham,

John Thangarajah,

Michael WinikoffAuthors Info & Claims

AAMAS '07: Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems

Article No.: 270, Pages 1 - 2

https://doi.org/10.1145/1329125.1329451

Published: 14 May 2007 Publication History

Get Access

Abstract

Prometheus is an agent-oriented software engineering methodology. The Prometheus Design Tool (PDT) is a software tool that supports a designer who is using the Prometheus methodology. PDT has recently been extended with two significant new features: support for Agent UML interaction protocols, and code generation.

References

[1]

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, May 2004.

Digital Library

Google Scholar

[2]

P. Busetta, R. Rönnquist, A. Hodgson, and A. Lucas. JACK Intelligent Agents - Components for Intelligent Agents in Java. Technical report, Agent Oriented Software Pty. Ltd, Melbourne, Australia, 1998. Available from http://www.agent-software.com.

Google Scholar

[3]

M. Cossentino and C. Potts. A CASE tool supported methodology for the design of multi-agent systems. In Proceedings of the International Conference on Software Engineering Research and Practice (SERP'02), Las Vegas, 2002. Available from http://mozart.csai.unipa.it/passi/.

Google Scholar

[4]

S. A. DeLoach. Analysis and design using MaSE and agentTool. In Proceedings of the 12th Midwest Artificial Intelligence and Cognitive Science Conference (MAICS 2001), 2001.

Crossref

Google Scholar

[5]

M. Esteva, D. de la Cruz, and C. Sierra. Islander: an electronic institutions editor. In Proceedings of the First International Joint Conference on Autonomous Agents and Multi-agent Systems (AAMAS 2002), pages 1045--1052, Bologna, Italy, July 15--19 2002.

Digital Library

Google Scholar

[6]

M.-P. Huget and J. Odell. Representing agent interaction protocols with agent UML. In Proceedings of the Fifth International Workshop on Agent Oriented Software Engineering (AOSE), July 2004.

Digital Library

Google Scholar

[7]

T. Juan, A. Pearce, and L. Sterling. Roadmap: extending the gaia methodology for complex open systems. In Proceedings of the first international joint conference on Autonomous agents and multiagent systems, pages 3--10, 2002.

Digital Library

Google Scholar

[8]

L. Padgham, J. Thangarajah, and M. Winikoff. Tool Support for Agent Development using the Prometheus Methodology. In K.-Y. Cai, A. Ohnishi, and M. Lau, editors, Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), pages 383--388, sep 2005. Workshop on Integration of Software Engineering and Agent Technology (ISEAT).

Digital Library

Google Scholar

[9]

L. Padgham and M. Winikoff. Developing Intelligent Agent Systems: A Practical Guide. John Wiley and Sons, 2004. ISBN 0-470-86120-7.

Digital Library

Google Scholar

[10]

L. Padgham, M. Winikoff, and D. Poutakidis. Adding debugging support to the Prometheus methodology. Engineering Applications of Artificial Intelligence, special issue on Agent-oriented Software Development, 18(2):173--190, 2005.

Digital Library

Google Scholar

[11]

M. Winikoff. Defining syntax and providing tool support for agent UML using a textual notation. International Journal of Agent Oriented Software Engineering (IJAOSE), Accepted, to appear.

Digital Library

Google Scholar

Cited By

View all

Manațe BFortiş FMoore P(2019)An Architecture to Implement the Internet-of-Things using the Prometheus MethodologySecuring the Internet of Things10.4018/978-1-5225-9866-4.ch031(609-629)Online publication date: 6-Sep-2019
https://doi.org/10.4018/978-1-5225-9866-4.ch031
Booth EThangarajah JZambetta F(2016)Applying norms and preferences for designing flexible game rulesInternational Journal of Agent-Oriented Software Engineering10.1504/IJAOSE.2015.0784365:1(69-103)Online publication date: 1-Jan-2016
https://dl.acm.org/doi/10.1504/IJAOSE.2015.078436
Ancona DBriola DFerrando AMascardi VWeiss GYolum PBordini RElkind E(2015)Global Protocols as First Class Entities for Self-Adaptive AgentsProceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems10.5555/2772879.2773282(1019-1029)Online publication date: 4-May-2015
https://dl.acm.org/doi/10.5555/2772879.2773282
Show More Cited By

Index Terms

AUML protocols and code generation in the Prometheus design tool
1. Computing methodologies
  1. Artificial intelligence
    1. Distributed artificial intelligence
      1. Intelligent agents
2. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Software implementation planning
        Software design techniques
    2. Software development process management

Recommendations

Automated testing sequences generation from AUML diagrams: a formal verification of agents' interaction protocols

We present, in this paper, a new technique supporting an automatic generation of testing sequences from Agent UML (AUML) diagrams. The considered diagrams are related to agents' interaction protocols. They are formally described using the formal ...
Propagating AUML protocols to detailed design
EMAS'13: Proceedings of the First International Conference on Engineering Multi-Agent Systems

The interaction between agents is a key aspect of multi-agent systems. AUML sequence diagrams are commonly used to specify these interactions between agents in terms of interaction protocols. Whilst most of the popular agent oriented software ...
An Agent Modeling Language Implementing Protocols through Capabilities
WI-IAT '08: Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02

In this paper we present how to use the Agent MOdeling LAnguage (AMOLA) to define agent interaction protocols and how to integrate these in an agent model. AMOLA provides the syntax and semantics for creating models of multi-agent systems covering the ...

Comments

Information & Contributors

Information

Published In

AAMAS '07: Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems

May 2007

1585 pages

ISBN:9788190426275

DOI:10.1145/1329125

Conference Chairs:
Edmund Durfee
University of Michigan
,
Makoto Yokoo
Kyushu University
,
Program Chairs:
Michael Huhns
University of South Carolina
,
Onn Shehory
IBM Haifa Research Lab, Israel

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]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 14 May 2007

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Demonstration

Funding Sources

Australian Research Council

Conference

AAMAS07

Sponsor:

AAMAS07: International Conference on Autonomous Agents and Mulitagent Systems

May 14 - 18, 2007

Hawaii, Honolulu

Acceptance Rates

Overall Acceptance Rate 1,155 of 5,036 submissions, 23%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

12
Total Citations
View Citations
372
Total Downloads

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

Reflects downloads up to 15 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Manațe BFortiş FMoore P(2019)An Architecture to Implement the Internet-of-Things using the Prometheus MethodologySecuring the Internet of Things10.4018/978-1-5225-9866-4.ch031(609-629)Online publication date: 6-Sep-2019
https://doi.org/10.4018/978-1-5225-9866-4.ch031
Booth EThangarajah JZambetta F(2016)Applying norms and preferences for designing flexible game rulesInternational Journal of Agent-Oriented Software Engineering10.1504/IJAOSE.2015.0784365:1(69-103)Online publication date: 1-Jan-2016
https://dl.acm.org/doi/10.1504/IJAOSE.2015.078436
Ancona DBriola DFerrando AMascardi VWeiss GYolum PBordini RElkind E(2015)Global Protocols as First Class Entities for Self-Adaptive AgentsProceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems10.5555/2772879.2773282(1019-1029)Online publication date: 4-May-2015
https://dl.acm.org/doi/10.5555/2772879.2773282
Manaţe BFortiş FMoore P(2015)An Architecture to Implement the Internet-of-Things using the Prometheus MethodologyInternational Journal of Distributed Systems and Technologies10.4018/IJDST.20151001016:4(1-20)Online publication date: 1-Oct-2015
https://dl.acm.org/doi/10.4018/IJDST.2015100101
Manate BFortis FMoore P(2014)Applying the Prometheus Methodology for an Internet of Things ArchitectureProceedings of the 2014 IEEE/ACM 7th International Conference on Utility and Cloud Computing10.1109/UCC.2014.55(435-442)Online publication date: 8-Dec-2014
https://dl.acm.org/doi/10.1109/UCC.2014.55
Manzoor UZafar B(2014)Multi-Agent Modeling Toolkit – MAMTSimulation Modelling Practice and Theory10.1016/j.simpat.2014.09.00549(215-227)Online publication date: Dec-2014
https://doi.org/10.1016/j.simpat.2014.09.005
Fischer KWarwas S(2012)A Methodological Approach to Model Driven Design of Multiagent SystemsRevised Selected Papers of the 13th International Workshop on Agent-Oriented Software Engineering XIII - Volume 785210.1007/978-3-642-39866-7_1(1-21)Online publication date: 4-Jun-2012
https://dl.acm.org/doi/10.1007/978-3-642-39866-7_1
Warwas SKlusch M(2011)Making Multiagent System Designs ReusableProceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 0210.1109/WI-IAT.2011.118(101-108)Online publication date: 22-Aug-2011
https://dl.acm.org/doi/10.1109/WI-IAT.2011.118
Bakar MGhoul S(2011)A methodology for AUML role modelingInternational Symposium on Innovations in Information and Communications Technology10.1109/ISIICT.2011.6149600(74-81)Online publication date: Nov-2011
https://doi.org/10.1109/ISIICT.2011.6149600
Hahn CZinnikus IWarwas SFischer K(2009)Automatic generation of executable behaviorProceedings of the 10th international conference on Agent-oriented software engineering10.5555/1965954.1965965(110-124)Online publication date: 11-May-2009
https://dl.acm.org/doi/10.5555/1965954.1965965
Show More Cited By

View Options

Get Access

Login options

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

Cited By

Index Terms

Recommendations

Automated testing sequences generation from AUML diagrams: a formal verification of agents' interaction protocols

Propagating AUML protocols to detailed design

An Agent Modeling Language Implementing Protocols through Capabilities