Institutional Repository
Technical University of Crete
Technical University of Crete
EN
|
EL
| URI: | http://purl.tuc.gr/dl/dias/0A1E581E-625F-407C-BCC1-D2B4EE70903F | ||
| Year | 2015 | ||
| Type of Item | Conference Publication | ||
| License |
|
||
| Bibliographic Citation | N. Mitakidis, P. Delias and N. Spanoudakis, "Validating Requirements Using Gaia Analysis Models", in Workshop on Engineering Multi-Agent Systems (EMAS 2015), in conjuction with AAMAS 2015, 5 May 2015. | ||
| Appears in Collections |
This paper presents a method aimed to assist an engineer intransforming agent roles models to a process model. Thus, the softwareengineer can employ available tools to validate specific properties of themodeled system even before its final implementation. The method includes atool for aiding the engineer in the transformation process. This tool uses arecursive algorithm for automating the transformation process and guides theuser to dynamically integrate two or more agent roles in a process model withmultiple pools. The tool usage is demonstrated through a running example,based on a real world project. Simulations of the defined agent roles can beused to a) validate the system requirements and b) determine how it could scale.This way, developers and managers can configure processes’ parameters andidentify and resolve risks early in their project.
Copyright © DIAS 2013
