Understanding Refinement and Specialization in the UML

نویسندگان

  • C. Pons
  • G. Perez
  • R. Giandini
  • R. Kutsche
چکیده

The old technique of "abstraction and refinement" makes it possible to understand complex systems by describing them in successive levels of detail. On the other hand the more modern technique of "generalization and specialization" (or Inheritance) facilitates the construction of systems by enabling reuse of specifications. Both techniques enable developers to specify a taxonomic relationship between a more general element and a more specific one. Abstraction is frequently used as a mere synonym for generalization -respectively refinement as a synonym for specialization. Confusion also stems for the occasional use of the same specification notation for both concepts.ion is frequently used as a mere synonym for generalization -respectively refinement as a synonym for specialization. Confusion also stems for the occasional use of the same specification notation for both concepts. However, these terms have different implications and the lack of distinction is the cause of much wrong model interpretations. The purpose of this article is to analyze both refinement and specialization relationship between UML model elements, in order to clarify the main differences (and similarities) between them.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Associations as First-class Elements

Models in general and class diagrams as defined by the UML in particular play an important role throughout all steps of modern software development. However, the UML contains several modeling concepts which are not defined precisely and hence are used either rarely or in varying ways and with different semantics. In this article, an extension of n-ary associations as one of those concepts is pr...

متن کامل

Formal Semantics and Ontological Analysis for Understanding Subsetting, Specialization and Redefinition of Associations in UML

The definition of the exact meaning of conceptual modeling constructs is considered a relevant issue since it contributes to their effective and appropriate use by conceptual modelers. This paper studies three related constructs that enhance the expressiveness of the UML language about associations and which still lack a complete and comprehensive study, namely, association subsetting, speciali...

متن کامل

On the Definition of UML Refinement Patterns

In this article we describe an approach towards increasing the robustness of the UML refinement machinery. The aim of this work is not to formalize the UML notation itself, but to substantiate a number of intuitions about the nature of possible refinement relations in UML, and even to discover particular refinement structures that designers do not perceive as refinements in UML.

متن کامل

Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models

As UML 2.0 is evolving into a family of languages with individually specified semantics, there is an increasing need for automated and provenly correct model transformations that (i) assure the integration of local views (different diagrams) of the system into a consistent global view, and, (ii) provide a well– founded mapping from UML models to different semantic domains (Petri nets, Kripke au...

متن کامل

Language and Tool Support for Class and State Machine Refinement in UML-B

UML-B is a ’UML-like’ graphical front end for Event-B that provides support for object-oriented modelling concepts. In particular, UML-B supports class diagrams and state machines, concepts that are not explicitly supported in plain Event-B. In Event-B, refinement is used to relate system models at different abstraction levels. The same abstraction-refinement concepts can also be applied in UML...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2003