Graph Rewriting for Agent Oriented Visual Modeling

In this paper we will describe our approach, based on Graph Rewriting (GR), to support the visual modeling process in Tropos, an Agent Oriented software engineering methodology. We will give examples of the rewriting rules which specify the syntax of Tropos and will discuss how this graph rewriting rule-set can support an analyst in building correct models (that is models consistent with the Tropos language). Moreover we will consider how GR permits to adopt modeling language variants in a flexible way and to support an incremental modeling process.

[1]  Alan Bundy,et al.  Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.

[2]  Fausto Giunchiglia,et al.  Tropos: An Agent-Oriented Software Development Methodology , 2004, Autonomous Agents and Multi-Agent Systems.

[3]  Ugo Montanari,et al.  Two Graph-Based Techniques for Software Architecture Reconfiguration , 2001, Electron. Notes Theor. Comput. Sci..

[4]  Nicholas R. Jennings.  Agent-Oriented Software Engineering , 1999, MAAMAW.

[5]  Reiko Heckel,et al.  Formal agent-oriented modeling with UML and graph transformation , 2002, Sci. Comput. Program..

[6]  Anna Perini,et al.  Developing a decision support system for integrated production in agriculture , 2004, Environ. Model. Softw..

[7]  Gabriele Taentzer,et al.  The AGG approach: language and environment , 1999 .

[8]  Eric S. K. Yu,et al.  Agent-Oriented Modelling: Software versus the World , 2001, AOSE.

[9]  Hartmut Ehrig,et al.  Consistency analysis of UML class and se-quence diagrams using attributed graph grammars , 2000 .

[10]  Fausto Giunchiglia,et al.  Agent-Oriented Software Engineering III , 2003, Lecture Notes in Computer Science.

[11]  M. Minas,et al.  Application of graph transformation to visual languages , 1999 .

[12]  Marco Pistore,et al.  Specifying and analyzing early requirements: some experimental results , 2003, Proceedings. 11th IEEE International Requirements Engineering Conference, 2003..

[13]  Andy Schürr,et al.  Adding Graph Transformation Concepts to UML's Constraint Language OCL , 2001, UNIGRA.