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: | Articles cientÍfics Conference lectures |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Clariso_CEUR_Feasibility.pdf | 916,99 kB | Adobe PDF |  View/Open |
Share:
Google Scholar
Microsoft Academic
This item is licensed under a Creative Commons License
