Practical verification strategy for refinement conditions in UML models

Pons, Claudia et al · SEDICI UNLP · 2006

Open-access full text

Quick overview. Review the resource’s basic details, then access the content using the main button. This page shows only the information needed to identify, cite, and open the work.

Author / responsible party

Pons, Claudia et al

Publisher

SEDICI UNLP

Year

2006

Language

English

Resource access

Open the content from the main option or choose another available source.

SEDICI UNLP SEDICI UNLP OAI-PMH

Entrar por SEDICI UNLP

Main access

Open-access full text

Texto completo identificado como acceso abierto.

Open text

Summary

Descripción general del contenido del recurso.

This paper presents an automatic and simple method for creating refinement condition for UML models. Conditions are fully written in OCL, making it unnecessary the application of mathematical languages which are in general hardly accepted to software engineers. Besides, considering that the state space where OCL conditions are evaluated might be too large (or even infinite), the strategy of micromodels is applied in order to reduce the search space. The overall contribution is to propitiate the performing of verification activities during the model-driven development process. 1st International Workshop on Advanced Software Engineering: Expanding the Frontiers of Software Technology - Session 2: Software Modeling Red de Universidades con Carreras en Informática (RedUNCI)

How to cite

Elegí el formato que necesitás y copiá la referencia al portapapeles.

APA 7

Pons, C. E. A. (2006). Practical verification strategy for refinement conditions in UML models. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/24040

MLA

Pons, Claudia et al. Practical verification strategy for refinement conditions in UML models. SEDICI UNLP, 2006. http://sedici.unlp.edu.ar/handle/10915/24040.

Chicago

Pons, Claudia et al. 2006. Practical verification strategy for refinement conditions in UML models. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/24040.

Harvard

Pons, C. E. A. 2006, Practical verification strategy for refinement conditions in UML models, SEDICI UNLP, available at: http://sedici.unlp.edu.ar/handle/10915/24040 [Accessed 10 Aug. 2026].

Share and print

Save the record, copy its permanent link, or print it as a PDF.

Export reference

You can export the record in common formats for use in a reference manager.

RIS BibTeX

Resource details

Bibliographic information to help confirm that this is the correct material.

Title: Practical verification strategy for refinement conditions in UML models

Author / contributors: Pons, Claudia et al

Publisher: SEDICI UNLP

Publication year: 2006

Language: English

Subjects

Explore related resources through these subjects.

Ciencias Informáticas; Verification; Language models; UML models