Normal view MARC view ISBD view

Heuristics on the definition of UML refinement patterns

By:

Pons, Claudia Fabiana

Material type: Article

ArticleSeries: ^p Datos electrónicos (1 archivo : 205 KB)Subject(s):

Online resources:

Click here to access online

Summary: 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.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes ( 3 )

Holdings
Item type	Home library	Collection	Call number	URL	Status	Date due	Barcode
Capítulo de libro	Biblioteca de la Facultad de Informática	Biblioteca digital	A0116 (Browse shelf(Opens below))	Link to resource	Recurso en Línea

Browsing Biblioteca de la Facultad de Informática shelves, Collection: Biblioteca digital Close shelf browser (Hides shelf browser)

Previous								Next
Previous	A0113 MoDELS 2007 Doctoral Symposium summary	A0114 Generalization relation in UML model elements	A0115 On the definition of UML refinement patterns	A0116 Heuristics on the definition of UML refinement patterns	A0117 Formal foundations of object-oriented modeling notations	A0118 Reasoning about the correctness of software development process	A0119 A lightweight approach for the semantic validation of model refinements	Next

Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática-UNLP (Colección BIPA / Biblioteca.) -- Disponible también en línea (Cons. 09/03/2009)

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.

J. Wiedermann et al. (eds.): SOFSEM 2006, LNCS 3831, pp. 461 – 470, 2006.