Algebraic definition of iStar2.0 models
Document typeConference report
Rights accessOpen Access
iStar2.0 was delivered in 2016 with the intention of becoming a standard de facto for the i* community. It includes a lightweight definition of the language adorned with a metamodel (in the form of a UML class diagram) that is useful for most purposes. However, in some contexts, a more precise algebraic definition including a notion of satisfaction is needed. This paper presents such elements. First, an algebraic definition of iStar2.0. Then, some auxiliary operations. Last, the notion of satisfaction over i* models using first order logic. Satisfaction is still defined mainly in a syntactic form, relying upon the satisfaction of the individual intentional elements comprising the model.
CitationFranch, X.; López, L.; Marco, J. Algebraic definition of iStar2.0 models. A: International i* Workshop. "Proceedings of the 12th International i* Workshop: co-located with 38th International Conference on Conceptual Modeling (ER 2019): Salvador, Brazil, November 4th, 2019". CEUR-WS.org, 2019, p. 1-7.