Please use this identifier to cite or link to this item:
Title: A feasibility study on using classifying terms in alloy. A case study
Author: Clarisó Viladrosa, Robert
Gogolla, Martin
Others: Universitat Oberta de Catalunya (UOC)
University of Bremen
Keywords: software modeling
verification and validation
classifying term
Issue Date: 16-Sep-2019
Publisher: CEUR Workshop Proceedings
Citation: Clarisó, R. & Gogolla, M. (2019). A feasibility study on using classifying terms in alloy. A case study. CEUR Workshop Proceedings, 2513(), 45-58.
Published in: International Workshop in OCL and Textual Modeling (OCL), Munic, Alemanya, 16, setembre de 2019
Project identifier: info:eu-repo/grantAgreement/H2020/737494
Also see:
Abstract: To 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.
Language: English
ISSN: 1613-0073MIAR
Appears in Collections:Articles cientÍfics
Conference lectures

Files in This Item:
File Description SizeFormat 
Clariso_CEUR_Feasibility.pdf916,99 kBAdobe PDFThumbnail