Empreu aquest identificador per citar o enllaçar aquest ítem:
http://hdl.handle.net/10609/123106
Títol: | A feasibility study on using classifying terms in alloy. A case study |
Autoria: | Clarisó, Robert Gogolla, Martin |
Altres: | Universitat Oberta de Catalunya (UOC) University of Bremen |
Citació: | Clarisó, R. & Gogolla, M. (2019). A feasibility study on using classifying terms in alloy. A case study. CEUR Workshop Proceedings, 2513(), 45-58. |
Resum: | 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. |
Paraules clau: | programari de modelatge verificació i validació OCL proves terme classificador Alloy |
Tipus de document: | info:eu-repo/semantics/conferenceObject |
Data de publicació: | 16-set-2019 |
Llicència de publicació: | http://creativecommons.org/licenses/by/4.0/es/ |
Apareix a les col·leccions: | Articles cientÍfics Conferències |
Arxius per aquest ítem:
Arxiu | Descripció | Mida | Format | |
---|---|---|---|---|
Clariso_CEUR_Feasibility.pdf | 916,99 kB | Adobe PDF | Veure/Obrir |
Comparteix:
Aquest ítem està subjecte a una llicència de Creative Commons Llicència Creative Commons