Agent-oriented visual modeling and model validation for engineering distributed systems

Computer Systems Science and Engineering

Volumn 20, Issue 4, 2005, Pages 319-329

  Perini, Anna ^a   Susi, Angelo ^a  

^a ITC IRST   (Italy)

Author keywords

Distributed systems; Model validation; Visual modeling

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER ARCHITECTURE; COMPUTER SIMULATION; MULTI AGENT SYSTEMS; SYSTEMS ANALYSIS;

DISTRIBUTED SYSTEM; MODEL TRANSFORMATIONS; MODEL VALIDATION; VISUAL MODELING;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 27644534294     PISSN: 02676192     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (34)

1. http://www.auml.org, 2004
2. ECLIPSE Platform Technical Overview, object technology international edition, July 2001.
3. Objectiver 1.5. a technical overview, 2003.http://www.objectiver.com
4. Passi documentation, 2003. http://www.csai.unipa.it/passi.
5. ARGO. http://argouml.tigris.org/.
6. 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.
7. 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.
8. 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.
9. Alan Brown. An introduction to Model Driven Architecture Part I: MDA and today's systems. The Rational Edge, January 2004.
10. 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, pp. 119-135. Springer-Verlag,2002
11. 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.
12. Krzysztof Czarnecki and Simon Helsen. Classification of Model Transformation Approach. Proc. of OOPSLA'03 Workshop on Generative Techinques in the Context of Model-Driven Architecture, 2003.
13. Robert Darimont, Emmanuelle Delor, Philippe Massonet, and Axel van Lamsweerde. Grail/kaos: An environment for goal-driven requirements engineering. In Proceedings of ICSE 1997, Boston, pages 612-613, Boston, MA, USA, 1997. ACM Press.
14. 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.tu-berlin.de/agg/
15. A. Fuxman. Formal analysis of early requirements specifications. Master's thesis, University of Toronto, 2001.
16. A. Fuxman, L. Liu, M. Pistore, M. Roveri, and J. Mylopoulos. Specifying and analyzing early requirements: Some experimental results. IEEE Int. Symposium on Requirements Engineering, Monterey (USA), September 2003. IEEE Computer Society http://dit.unhn.it/~ft/ft_tool.html
17. A. Fuxman, M. Pistore, J. Mylopoulos, and P. Traverso. Model checking early requirements specifications in Tropos. IEEE Int. Symposium on Requirements Engineering, pages 174-181, Toronto (CA), August 2001. IEEE Computer Society.
18. Lin Padgham G. Buddhinath Jayatilleke and Michael Winikoff. Towards a Component-Based Development Framework for Agents. In Lindemann et al.
19. A. Garro G. Fortino and W. Russo. From Modeling to Simulation of Multi-agent Systems: An Integrated Approach and a Case Study. In Lindemann et al.
20. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns. Addison Wesley, Reading, MA, USA, 1995.
21. 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.
22. GEF. http://gef.tigris.org/.
23. F. Giunchiglia, J. Odell, and G. Weiss, editors. Agent-Oriented Software Engineering III. LNCS. Springer-Verlag, Bologna, Italy, Third International Workshop, AOSE2002 edition, July 2002.
24. Honey well, Inc. DOME Guide 5.2.2, 1999.
25. Sheena R. Judson, Robert B. France, and Doris L. Carver. Specifying Model Transformations at the Metamodel Level, 2004.http://www.omg.org.
26. 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.
27. G. Lindemann, J. Denzinger, I. J. Timm, and R. Unlans, editors. Multiagent System Technologies. Number 3187 in LNAI. Springer-Verlag, Erfurt, Germany, Second German Conference, MATES 2004 edition, Sept 2004.
28. 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.
29. Aliaksei Novikau, Anna Perini, and Marco Pistore. Graph Rewriting for Agent Oriented Visual Modeling. Proc. of the International Workshop on Graph Transformation and Visual Modeling Techniques, in ETAPS 2004 Conference, Barcelona, Spain, 2004.
30. OME3.http://www.cs.toronto.edu/km/ome/.
31. A. Perini, P. Bresciani, F. Giunchiglia, P. Giorgini, and J. Mylopoulos. A Knowledge Level Software Engineering Methodology for Agent Oriented Programming. In Proceedings of Agents 2001, Montreal CA, May 2001. ACM.
32. 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.
33. E. Yu. Modelling Strategic Relationships for Process Reengineering. PhD thesis, University of Toronto, Department of Computer Science, University of Toronto, 1995.
34. F. Zambonelli, N. R. Jennings, and M. Wooldridge. Developing Multiagent Systems: The Gaia Methodology. ACM Transactions on Software Engineering and Methodology 12(3): 317-370, July 2003.