Comparing GRL and KAOS using the UEML Approach

Goal-oriented modelling languages are central in the information systems (IS) field, both for aligning new IS with organisational needs and for developing agent-oriented software systems. However, existing goal-oriented languages differ significantly in both syntax and semantics. The paper analyses and compares the syntax and semantics of GRL and KAOS using the UEML approach, providing a systematic and detailed comparison of the two languages, in part based on the Bunge-Wand-Weber (BWW) model and Bunge’s ontology. The work offers a path towards integrated management and use of models expressed in GRL and KAOS, it contributes to incorporating GRL and KAOS into version 2 of the unified enterprise modelling language, which is currently being developed.

[1]  Patrick Heymans,et al.  A Template-based Analysis of GRL , 2005 .

[2]  Julio Cesar Sampaio do Prado Leite,et al.  On Non-Functional Requirements in Software Engineering , 2009, Conceptual Modeling: Foundations and Applications.

[3]  Ron Weber,et al.  On the ontological expressiveness of information systems analysis and design grammars , 1993, Inf. Syst. J..

[4]  Evangelia Kavakli,et al.  Goal-Oriented Requirements Engineering: A Unifying Framework , 2002, Requirements Engineering.

[5]  Annie I. Antón,et al.  Goal-based requirements analysis , 1996, Proceedings of the Second International Conference on Requirements Engineering.

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

[7]  Brian Henderson-Sellers,et al.  A Unified Modelling Language without referential redundancy , 2005, Data Knowl. Eng..

[8]  Emmanuel Letier.  Reasoning about Agents in Goal-Oriented Requirements Engineering , 2002 .

[9]  Giuseppe Berio,et al.  A Roadmap for UEML , 2006, I-ESA.

[10]  Andreas L. Opdahl,et al.  Ontological Analysis of KAOS Using Separation of Reference , 2007 .

[11]  Gil Regev,et al.  A Systemic Paradigm for Early IT System Requirements Based on Regulation Principles: The Lightswitch Approach , 2003 .

[12]  Alain Wegmann,et al.  Where do goals come from: the underlying principles of goal-oriented requirements engineering , 2005, 13th IEEE International Conference on Requirements Engineering (RE'05).

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

[14]  François Vernadat,et al.  UEML: Towards a unified enterprise modelling language , 2002 .

[15]  Andreas L. Opdahl,et al.  Comparison of Goal‐oriented Languages using the UEML Approach , 2010 .

[16]  Eric S. K. Yu,et al.  Towards modelling and reasoning support for early-phase requirements engineering , 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.

[17]  Ron Weber,et al.  On the deep structure of information systems , 1995, Inf. Syst. J..

[18]  John Mylopoulos,et al.  Goal-Oriented Requirements Engineering, Part II , 2006, 14th IEEE International Requirements Engineering Conference (RE'06).

[19]  Brian Henderson-Sellers,et al.  A Template for Defining Enterprise Modeling Constructs , 2004, J. Database Manag..

[20]  Giuseppe Berio,et al.  Interoperable language and model management using the UEML approach , 2006, GaMMa '06.

[21]  Pericles Loucopoulos,et al.  Goal Modeling in Requirements Engineering: Analysis and Critique of Current Methods , 2005, Information Modeling Methods and Methodologies.

[22]  John Mylopoulos.  Goal-Oriented Requirements Engineering , 2008, CIbSE.