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

http://hdl.handle.net/10609/123106
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
testing
classifying term
OCL
Alloy
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
info:eu-repo/grantAgreement/TIN2016-75944-R
Also see: http://ceur-ws.org/Vol-2513/paper4.pdf
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
URI: http://hdl.handle.net/10609/123106
ISSN: 1613-0073MIAR
Appears in Collections:Conference lectures
Articles

Share:
Export:
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