Abstract
Most of the Agent-Oriented software engineering methodologies that have been developed in the last years tend to propose a model-based approach to software development. To be put into practice, this approach demands flexible modeling tools as well as tools that provide transformation mechanisms to support the translation from one specification language to another, and finally to code, in a transparent and simple manner. The Model-Based Architecture initiative by OMG is proposing a challenging scenario for the research in this area and it is going to influence it providing standards.
In this paper we describe a modeling environment which integrates an Agent-Oriented (AO) modeling tool with other tools, such as a model-checker for the verification of formal properties of the model and a library which implements graph transformation techniques which can be used to support model refinement as well as model transformations. In designing it we are taking into account recommendations from the Model-Driven Architecture initiative. A scenario is given with the aim of presenting practical motivations for supporting a light integration of different specification languages as well as the need for stronger synchronization mechanisms between different views on a model.
We describe the modeling environment architecture, give details on the AO modeling tool and on the components that allows for the integration with other tools.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
(2004), http://www.auml.org
Objectiver 1.5. a technical overview (2003), http://www.objectiver.com
Passi documentation (2003), http://www.csai.unipa.it/passi
Bardohl, R., Taentzer, G., Minas, M., Schürr, A.: Application of Graph Transformation to Visual Languages. In: Handbook of Graph Grammars and Computing by Graph Transformation, Application, Languages and Tools, vol. 2, World Scientific, Singapore (1999)
Bertolini, D., Bresciani, P., Daprá, A., Perini, A., Sannicoló, F.: Requirement specification of a case tool supporting the tropos methodology. Technical report, IRST Technical Report 0204-02, Istituto Trentino di Cultura (April 2002)
Bresciani, P., Giorgini, P., Giunchiglia, F., Mylopoulos, J., Perini, A.: Tropos: An Agent- Oriented Software Development Methodology. Journal of Autonomous Agent and Multi-Agent Systems 8(3), 203–236 (2004)
Brown, A.: An introduction to Model Driven Architecture, Part I: MDA and today’s systems. The Rational Edge, January 2004.
Caire, G., Coulier, W., Garijo, F.J., Gomez, J., Pavon, J., Leal, F., Chainho, P., Kearney, P.E., Stark, J., Evans, R., Massonet, P.: 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, Heidelberg (2002)
Cimatti, A., Clarke, E.M., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NUSMV 2: An opensource tool for symbolic model checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, p. 359. Springer, Heidelberg (2002), http://nusmv.irst.itc.it
Czarnecki, K., Helsen, S.: Classification of Model Transformation Approach. In: Proc. of OOPSLA 2003 Workshop on Generative Techinques in the Context of Model-Driven Architecture (2003)
Darimont, R., Delor, E., Massonet, P., van Lamsweerde, A.: Grail/kaos: An environment for goal-driven requirements engineering. In: Proceedings of ICSE 1997, pp. 612–613. ACM Press, Boston (1997)
Ermel, C., Rudolf, M., Taentzer, G.: The AGG approach: Language and environment. In: Handbook of Graph Grammars and Computing by Graph Transformation, Application, Languages and Tools, vol. 2, World Scientific, Singapore (1999), http://tfs.cs.tuberlin.de/agg/
Fuxman, A., Liu, L., Pistore, M., Roveri, M., Mylopoulos, J.: Specifying and analyzing early requirements: Some experimental results. In: IEEE Int. Symposium on Requirements Engineering, IEEE Computer Society, Monterey (September 2003), http://dit.unitn.it/ft/ft_tool.html
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns. Addison Wesley, Reading (1995)
Gardner, T., Griffin, C., Koehler, J., Hauser, R.: A Review of OMG MOF 2.0 Query/View/Transformations Submission and Recommendations towords the final Standard. Technical report (2003)
Honeywell, Inc. DOME Guide 5.2.2 (1999)
Judson, S.R., France, R.B., Carver, D.L.: Specifying Model Transformations at the Metamodel Level (2004), http://www.omg.org
Karsai, G., Agrawal, A., Shi, F.: On the Use of Graph Transformations for the Formal Specification of Model Interpreters. Journal of Universal Computer Science 9(11), 1296–1321 (2003)
Mylopoulos, J., Borgida, A., Jarke, M., Koubarakis, M.: Telos: a language for representing knowledge about information systems. ACM Trans. Information Systems 8(4) (1990)
Novikau, A., Perini, A., Pistore, M.: Graph Rewriting for Agent Oriented Visual Modeling. In: Proc. of the International Workshop on Graph Transformation and Visual Modeling Techniques, in ETAPS 2004 Conference, Barcelona, Spain (2004)
Perini, A., Pistore, M., Roveri, M., Susi, A.: Agent-oriented modeling by interleaving formal and informal specification. In: Giorgini, P., Müller, J.P., Odell, J.J. (eds.) AOSE 2003. LNCS, vol. 2935, pp. 36–52. Springer, Heidelberg (July 2004)
Yu, E.: Modelling Strategic Relationships for Process Reengineering. PhD thesis, University of Toronto, Department of Computer Science, University of Toronto (1995)
Zambonelli, F., Jennings, N.R., Wooldridge, M.: Developing Multiagent Systems: The Gaia Methodology. ACM Transactions on Software Engineering and Methodology 12(3), 317–370 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Perini, A., Susi, A. (2004). Developing Tools for Agent-Oriented Visual Modeling. In: Lindemann, G., Denzinger, J., Timm, I.J., Unland, R. (eds) Multiagent System Technologies. MATES 2004. Lecture Notes in Computer Science(), vol 3187. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30082-3_13
Download citation
DOI: https://doi.org/10.1007/978-3-540-30082-3_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23222-3
Online ISBN: 978-3-540-30082-3
eBook Packages: Springer Book Archive