Show simple item record

dc.contributor.authorFranch Gutiérrez, Javier
dc.contributor.authorLópez Cuesta, Lidia
dc.contributor.authorMarco Gómez, Jordi
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.date.accessioned2019-11-14T08:23:19Z
dc.date.available2019-11-14T08:23:19Z
dc.date.issued2019
dc.identifier.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.
dc.identifier.isbn1613-0073
dc.identifier.urihttp://hdl.handle.net/2117/172373
dc.description.abstractiStar2.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.
dc.format.extent7 p.
dc.language.isoeng
dc.publisherCEUR-WS.org
dc.rightsAttribution 3.0 Spain
dc.rights.urihttp://creativecommons.org/licenses/by/3.0/es/
dc.subjectÀrees temàtiques de la UPC::Informàtica::Enginyeria del software
dc.subject.lcshFormal methods (Computer science)
dc.subject.lcshFormal languages
dc.subject.lcshRequirements engineering
dc.subject.otheriStar2.0
dc.subject.otheri* framework
dc.subject.otherGoal-oriented requirements engineering
dc.subject.otherFormal definition of languages
dc.subject.otherSatisfaction
dc.titleAlgebraic definition of iStar2.0 models
dc.typeConference report
dc.subject.lemacMètodes formals (Informàtica)
dc.subject.lemacLlenguatges formals
dc.subject.lemacEnginyeria de requisits
dc.contributor.groupUniversitat Politècnica de Catalunya. inSSIDE - integrated Software, Service, Information and Data Engineering
dc.description.peerreviewedPeer Reviewed
dc.relation.publisherversionhttp://ceur-ws.org/Vol-2490/paper3.pdf
dc.rights.accessOpen Access
local.identifier.drac25963029
dc.description.versionPostprint (published version)
local.citation.authorFranch, X.; López, L.; Marco, J.
local.citation.contributorInternational i* Workshop
local.citation.publicationNameProceedings of the 12th International i* Workshop: co-located with 38th International Conference on Conceptual Modeling (ER 2019): Salvador, Brazil, November 4th, 2019
local.citation.startingPage1
local.citation.endingPage7


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

Attribution 3.0 Spain
Except where otherwise noted, content on this work is licensed under a Creative Commons license : Attribution 3.0 Spain