TAOM4E: an Eclipse ready tool for Agent-Oriented ... - FBK | SE

More documents

Recommendations

Info

Fig. 12. Diagram package of the TAOM4E meta-model. age, FormalCore, add the Formal Tropos specific element (i.e. GlobalProperty, LTL formula and attribute) to the pure Tropos corresponding one. 5 Tool documentation All the public information about the TAOM4E tool can be found in the tool’s web site [35]. The site contains the link to the TAOM4E plug-in; the requirements on the installation of the tool and the installation process; the information about the license; the development team list and papers on the TAOM4E tool. Also it allows for sending founded bugs and proposed improvements. A brief demonstration about how to work with the tool can be downloaded from the following link [34].
Fig. 13. Core package of the TAOM4E meta-model. 6 Tool extensions and maintenance This section contains the information about the current work on the TAOM4E tool and current extensions on the architecture of the tool. In the Appendix A can be found the document with all the current requirements, bugs to be corrected and the features under development. It contains the short description of the problems, the status and the difficulties. Appendix B contains the current versions of the diagrams placed in the Sections 4. 7 Future Work In this report we described: the motivations for the development of a CASE tool at support of Agent-Oriented Modelling in Tropos, called TAOM4E; the requirements on the tool’s functionalities; and the tool’s architecture. Flexibility and modularity requirements motivated the choice of Eclipse Platform. Among the next extensions of TAOM4E: the integration of plug-ins implementing automatic model-to-model transformations following the Model Driven Architecture approach to software development as described in [28]; the integration of tools supporting specific analysis techniques of Tropos like Goal Reasoning Tool (GR-Tool) [36] which support the goal analysis, the Secure Tropos Tool (ST-Tool) [37] which support security modelling; the implementation of the functionalities for the support of the Tropos process providing guidelines on the development of Tropos models.
Page 1 and 2: TAOM4E: an Eclipse ready tool for A
Page 3 and 4: a set of relationships between them
Page 5 and 6: 3 Tool Requirements A core set of r
Page 7 and 8: j) Export the diagrams in the pictu
Page 9 and 10: Fig. 5. Eclipse Plug-in interconnec
Page 11 and 12: 1. Model: the framework is model ag
Page 13: The three high-level packages compo
Page 17 and 18: 23. Ed Merks. The eclipse modeling
Page 24 and 25: Appendix B: TAOM4E meta-model diagr
Page 26 and 27: Fig. 15. The Project package.
Page 28 and 29: Fig. 17. The ActorDiagram package.
Page 30 and 31: Fig. 19. The GenCore package.
Page 32 and 33: Fig. 21. The FormalCore package.

TAOM4E: an Eclipse ready tool for Agent-Oriented ... - FBK | SE

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?