Please use this identifier to cite or link to this item:

http://hdl.handle.net/10609/123106
Full metadata record
DC FieldValueLanguage
dc.contributor.authorClarisó Viladrosa, Robert-
dc.contributor.authorGogolla, Martin-
dc.contributor.otherUniversitat Oberta de Catalunya (UOC)-
dc.contributor.otherUniversity of Bremen-
dc.date.accessioned2020-09-29T16:34:49Z-
dc.date.available2020-09-29T16:34:49Z-
dc.date.issued2019-09-16-
dc.identifier.citationClarisó, R. & Gogolla, M. (2019). A feasibility study on using classifying terms in alloy. A case study. CEUR Workshop Proceedings, 2513(), 45-58.-
dc.identifier.issn1613-0073MIAR
-
dc.identifier.urihttp://hdl.handle.net/10609/123106-
dc.description.abstractTo perform the analysis of a structural model of a software system (like a class diagram), it is often necessary to compute sample valid instantiations (like object diagrams), for example, for testing purposes. Classifying terms (CTs) provide a technique for improving diversity in the instantiation generation process. CTs have been proposed and studied in the context of UML class diagrams annotated with OCL invariants. Nevertheless, they can also be employed in other declarative specification languages. This paper explores the feasibility of using CTs in the context of Alloy. The discussion considers both the Alloy notation and the integration with the Alloy Analyzer.en
dc.format.mimetypeapplication/pdf-
dc.language.isoeng-
dc.publisherCEUR Workshop Proceedings-
dc.relation.ispartofCEUR Workshop Proceedings, 2019, 2513()-
dc.relation.ispartofseriesInternational Workshop in OCL and Textual Modeling (OCL), Munic, Alemanya, 16, setembre de 2019-
dc.relation.urihttp://ceur-ws.org/Vol-2513/paper4.pdf-
dc.rightsCC BY-
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/es/-
dc.subjectsoftware modelingen
dc.subjectverification and validationen
dc.subjecttestingen
dc.subjectclassifying termen
dc.subjectOCLen
dc.subjectAlloyen
dc.subjectsoftware de modeladoes
dc.subjectprogramari de modelatgeca
dc.subjectverificació i validacióca
dc.subjectverificación y validaciónes
dc.subjectOCLes
dc.subjectOCLca
dc.subjectprovesca
dc.subjectpruebases
dc.subjectterme classificadorca
dc.subjecttérmino clasificadores
dc.subjectAlloyes
dc.subjectAlloyca
dc.subject.lcshUML (Computer science)en
dc.titleA feasibility study on using classifying terms in alloy. A case study-
dc.typeinfo:eu-repo/semantics/conferenceObject-
dc.subject.lemacUML (Informàtica)ca
dc.subject.lcshesUML (Informática)es
dc.rights.accessRightsinfo:eu-repo/semantics/openAccess-
dc.relation.projectIDinfo:eu-repo/grantAgreement/H2020/737494-
dc.relation.projectIDinfo:eu-repo/grantAgreement/TIN2016-75944-R-
Appears in Collections:Conference lectures
Articles

Files in This Item:
File Description SizeFormat 
Clariso_CEUR_Feasibility.pdf916.99 kBAdobe PDFView/Open

This item is licensed under a Creative Commons License Creative Commons