Traceability across refinement steps in UML modeling

Título:

Traceability across refinement steps in UML modeling

Autor:

Pons, Claudia Fabiana

Colaboradores:

; Kutsche, Ralf-Detlef

Temas:

PROCESO DE DESARROLLO DE SOFTWAREMÉTODOS FORMALESREFINAMIENTO DE PROGRAMASHERRAMIENTAS DE SOFTWAREUML

En:

3rd Workshop in Software Model Engineering WiSME at the 7th International Conference on the UML, October 2004.

Resumen:

Documenting the refinement relationship between layers allows developers to verify whether the code meets its specification or not, trace the impact of changes in the business goals and execute test assertions written in terms of abstract model’s vocabulary by translating them to the concrete model’s vocabulary. Refinement has been studied in many formal notations such as Z and B and in different contexts, but there is still a lack of formal definitions of refinement in semi-formal languages, such as the UML. The contribution of this article is to clarify the abstraction/refinement relationship between UML models, providing basis for tools supporting the refinement driven modeling process. We formally describe a number of refinement patterns and present PAMPERO, a tool integrated in the Eclipse environment, based on the formal definition of model refinement.

URL/DOI:

Medio:

Soporte electrónico

Tipo de documento:

Artículo

Idioma:

Inglés

Publicación:

, 2004

Puede solicitar más fácilmente el ejemplar con: A0194

Ver estantes