Abstract | ||
---|---|---|
This paper presents a method that aims at assisting an engineer in transforming agent roles models to a process model. Thus, the software engineer can employ available tools to validate specific properties of the modeled system before its final implementation. The method includes a tool for aiding the engineer in the transformation process. This tool uses a recursive algorithm for automating the transformation process and guides the user to dynamically integrate two or more agent roles in a process model with multiple pools. The tool usage is demonstrated through a running example, based on a real world project. Simulations of the defined agent roles can be used to a validate the system requirements and b determine how it could scale. This way, engineers, analysts and managers can configure the processes' parameters and identify and resolve risks early in their project. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1007/978-3-319-26184-3_10 | EMAS@AAMAS |
Keywords | DocType | Volume |
Model checking agents and multi-agent systems,Business process models,Agent simulation,Gaia methodology | Conference | 9318 |
ISSN | Citations | PageRank |
0302-9743 | 2 | 0.36 |
References | Authors | |
18 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Nektarios Mitakides | 1 | 2 | 0.70 |
Pavlos Delias | 2 | 72 | 12.00 |
Nikolaos I. Spanoudakis | 3 | 166 | 20.49 |