Towards interoperability of i* models using iStarML

Goal-oriented and agent-oriented modelling provides an effective approach to the understanding of distributed information systems that need to operate in open, heterogeneous and evolving environments. Frameworks, firstly introduced more than ten years ago, have been extended along language variants, analysis methods and CASE tools, posing language semantics and tool interoperability issues. Among them, the i* framework is one the most widespread. We focus on i*-based modelling languages and tools and on the problem of supporting model exchange between them. In this paper, we introduce the i* interoperability problem and derive an XML interchange format, called iStarML, as a practical solution to this problem. We first discuss the main requirements for its definition, then we characterise the core concepts of i* and we detail the tags and options of the interchange format. We complete the presentation of iStarML showing some possible applications. Finally, a survey on the i* community perception about iStarML is included for assessment purposes.

[1]  Eric S. K. Yu,et al.  Organizational and Social Concepts in Agent Oriented Software Engineering , 2004, AOSE.

[2]  Connie M. Borror Statistical Case Studies: A Collaboration between Academe and Industry , 1999 .

[3]  Gloria L. Zúñiga Ontology: its transformation from philosophy to information systems , 2001, FOIS.

[4]  Eric Yu,et al.  Social Modeling for Requirements Engineering , 2011, Cooperative information systems.

[5]  Paolo Donzelli,et al.  A goal-driven and agent-based requirements engineering framework* , 2004, Requirements Engineering.

[6]  Carme Quer,et al.  A Comparative Analysis of i*-Based Agent-Oriented Modeling Languages , 2005, SEKE.

[7]  Jan Jürjens,et al.  Towards a Comprehensive Framework for Secure Systems Development , 2006, CAiSE.

[8]  John Mylopoulos,et al.  Requirements Engineering Meets Trust Management: Model, Methodology, and Reasoning , 2004, iTrust.

[9]  Xavier Franch,et al.  Extending Tropos for a Prolog Implementation: A Case Study Using the Food Collecting Agent Problem , 2005, CLIMA.

[10]  John Mylopoulos,et al.  Specifying and analyzing early requirements in Tropos , 2004, Requirements Engineering.

[11]  Guido Wachsmuth,et al.  Metamodel Adaptation and Model Co-adaptation , 2007, ECOOP.

[12]  Dongwon Lee,et al.  Comparative analysis of six XML schema languages , 2000, SGMD.

[13]  M. F. Ramalhoto,et al.  Ordinal Methodology in the Analysis of Likert Scales , 2007 .

[14]  Axel van Lamsweerde,et al.  Requirements engineering in the year 00: a research perspective , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[15]  Carme Quer,et al.  Systematic Construction of I* Strategic Dependency Models for Socio-technical Systems , 2007, Int. J. Softw. Eng. Knowl. Eng..

[16]  E. Rogers,et al.  Diffusion of innovations , 1964, Encyclopedia of Sport Management.

[17]  John Mylopoulos,et al.  An Empirical Evaluation of the i* Framework in a Model-Based Software Generation Environment , 2006, CAiSE.

[18]  L. Brown,et al.  Interval Estimation for a Binomial Proportion , 2001 .

[19]  Oscar Pastor,et al.  From i* Requirements Models to Conceptual Models of a Model Driven Development Process , 2009, PoEM.

[20]  Stephen Fickas,et al.  Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..

[21]  Xavier Franch,et al.  J-PRiM: A Java Tool for a Process Reengineering i* Methodology , 2006, 14th IEEE International Requirements Engineering Conference (RE'06).

[22]  Larry D. Haugh,et al.  Statistical Case Studies: A Collaboration between Academe and Industry, Student Edition , 1998 .

[23]  Winfried Lamersdorf,et al.  Evaluation of Agent-Oriented Software Methodologies - Examination of the Gap Between Modeling and Platform , 2004, AOSE.

[24]  John Mylopoulos,et al.  Agent Capability: Automating the Design to Code Process , 2006, EUMAS.

[25]  Xavier Franch,et al.  On the Quantitative Analysis of Agent-Oriented Models , 2006, CAiSE.

[26]  G. Lakemeyer,et al.  Modeling the Impact of Trust and Distrust in Agent Networks , 2022 .

[27]  John Mylopoulos,et al.  Organizational Patterns for Early Requirements Analysis , 2003, CAiSE.

[29]  John Mylopoulos,et al.  Modeling Social and Individual Trust in Requirements Engineering Methodologies , 2005, iTrust.

[30]  Carme Quer,et al.  A Reference Model for /* , 2011, Social Modeling for Requirements Engineering.

[31]  Pamela Zave Classification of research efforts in requirements engineering , 1997, ACM Comput. Surv..

[32]  Gerhard Lakemeyer,et al.  SNet: A Modeling and Simulation Environment for Agent Networks Based on i* and ConGolog , 2002, CAiSE.

[33]  Franco Zambonelli,et al.  Process models for agent-based development , 2005, Eng. Appl. Artif. Intell..

[34]  David C. Fallside,et al.  Xml schema part 0: primer , 2000 .

[35]  Alan W. Brown An Introduction to Model Driven Architecture - Part 1; MDA and Today's Systems , 2004 .

[36]  John Mylopoulos,et al.  From object-oriented to goal-oriented requirements analysis , 1999, CACM.

[37]  Daniel Amyot,et al.  URN: Towards a New Standard for the Visual Description of Requirements , 2002, SAM.

[38]  Michael Weiss,et al.  Security Patterns Meet Agent Oriented Software Engineering: A Complementary Solution for Developing Secure Information Systems , 2005, ER.

[39]  Marco Pistore,et al.  Model checking early requirements specifications in Tropos , 2001, Proceedings Fifth IEEE International Symposium on Requirements Engineering.

[40]  Xavier Franch,et al.  HiME: Hierarchical i* Modeling Editor , 2010, RITA.

[41]  Angelo Susi,et al.  TAOM4E: an Eclipse ready tool for Agent-Oriented Modeling. Issue on the development process , 2005 .

[42]  John Mylopoulos,et al.  ST-tool: a CASE tool for security requirements engineering , 2005, 13th IEEE International Conference on Requirements Engineering (RE'05).

[43]  John Mylopoulos,et al.  Security and privacy requirements analysis within a social setting , 2003, Proceedings. 11th IEEE International Requirements Engineering Conference, 2003..

[44]  John Mylopoulos,et al.  A Requirements-Driven Development Methodology , 2001, CAiSE.

[45]  Anna Perini,et al.  TAOM 4 E : an Eclipse ready tool for Agent-Oriented Modeling , 2005 .

[46]  Neil A. M. Maiden,et al.  REDEPEND-REACT: an architecture analysis tool , 2005, 13th IEEE International Conference on Requirements Engineering (RE'05).

[47]  Steven J. DeRose,et al.  XML Path Language (XPath) Version 1.0 , 1999 .

[48]  John Mylopoulos,et al.  A Tropos Model-Driven Development Environment , 2006, CAiSE Forum.

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

[50]  John Mylopoulos,et al.  The Tropos Metamodel and its Use , 2005, Informatica.

[51]  Eric Yu,et al.  Modeling Strategic Relationships for Process Reengineering , 1995, Social Modeling for Requirements Engineering.

[52]  Michael Winikoff,et al.  Comparing Agent-Oriented Methodologies , 2003, AOIS.

[53]  Giancarlo Guizzardi,et al.  Towards an Ontological Account of Agent-Oriented Goals , 2007, SELMAS.

[54]  Shailey Minocha,et al.  Linking Business Modelling to Socio-technical System Design , 1999, CAiSE.