论文信息 - TRiStar: an i* extension for teleo-reactive systems requirements specifications

TRiStar: an i* extension for teleo-reactive systems requirements specifications

A previous study claims that i* can be used to specify Teleo-Reactive systems requirements. However, that study also reveals that it shows some weaknesses. In this paper we identify those limitations and present TRiStar, an i* extension for specifying Teleo-Reactive systems requirements that overcomes them.

José Miguel Morales | Elena Navarro | Pedro Sánchez-Palma | Diego Alonso

[1] José Miguel Morales,et al. A controlled experiment to evaluate the understandability of KAOS and i* for modeling Teleo-Reactive systems , 2015, J. Syst. Softw..

[2] Axel van Lamsweerde,et al. Requirements Engineering: From System Goals to UML Models to Software Specifications , 2009 .

[3] José Miguel Morales,et al. From Teleo-Reactive specifications to architectural components: A model-driven approach , 2012, J. Syst. Softw..

[4] Elena Navarro,et al. CSRML: A Goal-Oriented Approach to Model Requirements for Collaborative Systems , 2011, ER.

[5] Nils J. Nilsson,et al. Teleo-Reactive Programs for Agent Control , 1993, J. Artif. Intell. Res..

[6] Diego Alonso,et al. A systematic literature review of the Teleo-Reactive paradigm , 2012, Artificial Intelligence Review.

[7] Elena Navarro,et al. Configurable Satisfiability Propagation for Goal Models Using Dynamic Compilation Techniques , 2007 .

[8] 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.