Heuristics on the definition of UML refinement patterns

Authors:
Claudia Pons
Affiliations:
LIFIA – Computer Science Faculty, University of La Plata and CONICET, La Plata, Buenos Aires, Argentina
Venue:
SOFSEM'06 Proceedings of the 32nd conference on Current Trends in Theory and Practice of Computer Science
Year:
2006

Citing 7
Cited 4

Refinement in Z and object-Z: foundations and advanced applications

Refinement in Z and object-Z: foundations and advanced applications
A methodology for specifying and analyzing consistency of object-oriented behavioral models

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Refinement Calculus: A Systematic Introduction

Refinement Calculus: A Systematic Introduction
OCL: Syntax, Semantics, and Tools

Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B

APSEC '02 Proceedings of the Ninth Asia-Pacific Software Engineering Conference
Formalizing the UML class diagram using object-Z

UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
PAMPERO: precise assistant for the modeling process in an environment with refinement orientation

UML'04 Proceedings of the 2004 international conference on UML Modeling Languages and Applications

Automated traceability analysis for UML model refinements

Information and Software Technology
Documenting the Progress of the System Development

Methods, Models and Tools for Fault Tolerance
Formal verification of Tokeneer behaviours modelled in fUML using CSP

ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
An OCL-Based technique for specifying and verifying refinement-oriented transformations in MDE

MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this article we present a strategy to formalize frequently occurring forms of refinement that take place in UML model construction. Such strategy consists in recognizing a set of well founded refinement structures in a formal language which are then immersed into a UML-based development, giving origin to a set of UML refinement patterns. Apart from providing semi-formal evidence on the presence of refinement structures in object-oriented designs, this strategy made it possible to reveal hidden refinements and to discover weaknesses of the UML language that hinder the specification of refinement. An automatic tool is provided to support model refinement activities.