Practical Verification Strategy for Refinement Conditions in UML Models

  title={Practical Verification Strategy for Refinement Conditions in UML Models},
  author={Claudia Pons and Diego Garc{\'i}a},
  booktitle={IFIP Workshop on Advanced Software Engineering},
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… CONTINUE READING


Publications referenced by this paper.

On the definition of UML refinement patterns. Workshop MoDeVa at ACM/IEEE 8th Int. Conference on Model Driven Engineering Languages and Systems (MoDELS) Jamaica

  • Pons Claudia
  • 2005
Highly Influential
4 Excerpts

Precise Assistant for the Modeling Process in an Environment with Refinement Orientation. In "UML Modeling Languages and Applications: Satellite Activities

  • C. Pons, R. Giandini, G Pérez
  • Lecture Notes in Computer Science 3297
  • 2004

An Algebraic Proposal for Handling UML Consistency

  • E. Astesiano, G. Reggio
  • Workshop on Consistency Problems in UML-based…
  • 2003
1 Excerpt