Developing tools for agent-oriented visual modeling

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3187, Issue , 2004, Pages 169-182

  Perini, Anna ^a   Susi, Angelo ^a  

^a ITC IRST   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; GRAPH THEORY; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; SOFTWARE ENGINEERING; SYNCHRONIZATION; COMPUTATIONAL LINGUISTICS; MODELING LANGUAGES; MULTI AGENT SYSTEMS; SOFTWARE AGENTS; SOFTWARE ARCHITECTURE; SOFTWARE DESIGN; SPECIFICATION LANGUAGES; SPECIFICATIONS;

AGENT ORIENTED (AO) MODELING TOOLS; AGENT-ORIENTED SOFTWARE ENGINEERING; MODEL-BASD ARCHITECTURE; VISUAL MODELING; AGENT ORIENTED MODELING TOOLS; AGENT ORIENTED SOFTWARE ENGINEERING; GRAPH TRANSFORMATION TECHNIQUES; MODEL DRIVEN ARCHITECTURES; MODEL TRANSFORMATION; MODELING ENVIRONMENTS; SYNCHRONIZATION MECHANISMS; TRANSFORMATION MECHANISMS;

SOFTWARE AGENTS; MODEL CHECKING;

EID: 22944459190     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-30082-3_13     Document Type: Conference Paper

References (23)

1. http://www.aund.org, 2004.
2. Objectiver 1.5. a technical overview., 2003. http://www.objectiver.com.
3. Passi documentation, 2003. http://www.csai.unipa.it/passi.
4. R. Bardohl, G. Taentzer, M. Minas, and A. Schürr. Application of Graph Transformation to Visual Languages. In Handbook of Graph Grammars and Computing by Graph Transformation, volume 2: Application, Languages and Tools. World Scientific, 1999.
5. Davide Bertolini, Paolo Bresciani, Alessandro Daprá, Anna Perini, and Fabrizio Sannicoló. Requirement specification of a case tool supporting the tropos methodology. Technical report, IRST Technical Report 0204-02, Istituto Trentino di Cultura, April 2002.
6. P. Bresciani, P. Giorgini, F. Giunchiglia, J. Mylopoulos, and A. Perini. Tropos: An Agent-Oriented Software Development Methodology. Journal of Autonomous Agent and Multi-Agent Systems, 8(3):203 - 236, May 2004.
7. Alan Brown. An introduction to Model Driven Architecture Part I: MDA and today's systems. The Rational Edge, January 2004.
8. Giovanni Caire, Wim Coulier, Francisco J. Garijo, Jorge Gomez, Juan Pavon, Francisco Leal, Paulo Chainho, Paul E. Kearney, Jamie Stark, Richard Evans, and Philippe Massonet. Agent oriented analysis using message/uml. In Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II, pages 119-135. Springer-Verlag, 2002.
9. A. Cimatti, E. M. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, and A. Tacchella. NuSMV 2: An opensource tool for symbolic model checking. In Computer Aided Verification, number 2404 in LNCS, Copenhagen (DK), July 2002. Springer, http://nusmv.irst.itc.it.
10. Krzysztof Czarnecki and Simon Helsen. Classification of Model Transformation Approach. In Proc. of OOPSLA '03 Workshop on Generative Techinques in the Context of Model-Driven Architecture, 2003.
11. Robert Darimont, Emmanuelle Delor, Philippe Massonet, and Axel van Lamsweerde. Grail/kaos: An environment for goal-driven requirements engineering. In Proceedings of ICSE1997, Boston, pages 612 - 613, Boston, MA, USA, 1997. ACM Press.
12. C. Ermel, M. Rudolf, and G. Taentzer. The AGG approach: Language and environment. In Handbook of Graph Grammars and Computing by Graph Transformation, volume 2: Application, Languages and Tools. World Scientific, 1999. See also AGG site: http://tfs.cs.tuberlin.de/agg/.
13. A. Fuxman, L. Liu, M. Pistore, M. Roveri, and J. Mylopoulos. Specifying and analyzing early requirements: Some experimental results. In IEEE Int. Symposium on Requirements Engineering, Monterey (USA), September 2003. IEEE Computer Society. http://dit.unitn.it/ft/ft.tool.html.
14. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns. Addison Wesley, Reading, MA, USA, 1995.
15. Trecy Gardner, Catherine Griffin, Jana Koehler, and Rainer Hauser. A Review of OMG MOF 2.0 Query/View/Transformations Submission and Recommendations towords the final Standard. Technical report, 2003.
16. Honeywell, Inc. DOME Guide 5.2.2, 1999.
17. Sheena R. Judson, Robert B. France, and Doris L. Carver. Specifying Model Transformations at the Metamodel Level, 2004. http://www.omg.org.
18. G. Karsai, A. Agrawal, and F. Shi. On the Use of Graph Transformations for the Formal Specification of Model Interpreters. Journal of Universal Computer Science, 9(11):1296 -1321, January 2003.
19. J. Mylopoulos, A. Borgida, M. Jarke, and M. Koubarakis. Telos: a language for representing knowledge about information systems. ACM Trans. Information Systems, 8(4), 1990.
20. Aliaksei Novikau, Anna Perini, and Marco Pistore. Graph Rewriting for Agent Oriented Visual Modeling. In Proc. of the International Workshop on Graph Transformation and Visual Modeling Techniques, in ETAPS2004 Conference, Barcelona, Spain, 2004.
21. A. Perini, M. Pistore, M. Roveri, and A. Susi. Agent-oriented modeling by interleaving formal and informal specification. In Agent-Oriented Software Engineering IV(AOSE 2003). 4th International Workshop AOSE03, Melbourne, Australia - July 2003, LNCS 2935, pages 36-52. Springer-Verlag, 2004.
22. E. Yu. Modelling Strategic Relationships for Process Reengineering. PhD thesis, University of Toronto, Department of Computer Science, University of Toronto, 1995.
23. F. Zambonelli, N. R. Jonnings, and M. Wooldridge. Developing Multiagent Systems: The Gaia Methodology. ACM Transactions on Software Engineering and Methodology, 12(3):317 - 370, July 2003.