An iStar 2.0 Syntax Validation Formal Rules and Its Implementation on a New Translator

摘要

i * framework is a socio-technical goal-based modeling framework and models the actors in the project/system environment. In 2016 iStar 2.0 was proposed to further evolve i* basic concepts to be more acceptable for wider users. Therefore, it motivates us to propose a formal rule for validating iStar 2.0 in XML-based modelling standard similar to iStarML, called iStarML 2.0. In addition to validation process, this paper proposes formal methods for translating i* to iStar 2.0 model and iStar 2.0 to class diagram. iStarService is a tool developed for iStar 2.0 modelling based on iStarML 2.0 with functionalities such as iStar 2.0 model validation, i* to iStar 2.0 model translation, and iStar 2.0 model to class diagram translation. It is implemented in form of web API using Java and had been tested with various models from multiple iStar proceedings.