Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/4147
Full metadata record
DC FieldValueLanguage
dc.contributor.authorNuno Moreira Macedoen
dc.contributor.authorAlcino Cunhaen
dc.contributor.authorGuimaraes,Ten
dc.date.accessioned2017-12-15T12:10:00Z-
dc.date.available2017-12-15T12:10:00Z-
dc.date.issued2015en
dc.identifier.urihttp://repositorio.inesctec.pt/handle/123456789/4147-
dc.identifier.urihttp://dx.doi.org/10.1007/978-3-662-46675-9_20en
dc.description.abstractModel finders are very popular for exploring scenarios, helping users validate specifications by navigating through conforming model instances. To be practical, the semantics of such scenario exploration operations should be formally defined and, ideally, controlled by the users, so that they are able to quickly reach interesting scenarios. This paper explores the landscape of scenario exploration operations, by formalizing them with a relational model finder. Several scenario exploration operations provided by existing tools are formalized, and new ones are proposed, namely to allow the user to easily explore very similar (or different) scenarios, by attaching preferences to model elements. As a proof-of-concept, such operations were implemented in the popular Alloy Analyzer, further increasing its usefulness for (user-guided) scenario exploration.en
dc.languageengen
dc.relation5625en
dc.relation5612en
dc.rightsinfo:eu-repo/semantics/openAccessen
dc.titleExploring Scenario Explorationen
dc.typeconferenceObjecten
dc.typePublicationen
Appears in Collections:HASLab - Articles in International Conferences

Files in This Item:
File Description SizeFormat 
P-00G-BM3.pdf612.29 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.