Heuristics on the definition of UML refinement patterns

被引：0
|
作者：
Pons, C [1 ]
机构：
[1] Univ La Plata, LIFIA, Fac Comp Sci, La Plata, Buenos Aires, Argentina
[2] Consejo Nacl Invest Cient & Tecn, La Plata, Buenos Aires, Argentina
来源：
SOFSEM 2006: THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS | 2006年 / 3831卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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.
引用
收藏
页码：461 / 470
页数：10
相关论文
共 50 条
  • [1] Refinement Patterns for UML
    Lano, K.
    Androutsopolous, K.
    Clark, D.
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 137 (02) : 131 - 149
  • [2] Refinement Patterns for Hierarchical UML State Machines
    Schoenborn, Jens
    Kyas, Marcel
    [J]. FUNDAMENTALS OF SOFTWARE ENGINEERING, 2010, 5961 : 371 - +
  • [3] Using patterns for the refinement and translationof UML models: A controlled experiment
    Christian Bunse
    [J]. Empirical Software Engineering, 2006, 11 : 227 - 267
  • [4] Using patterns for the refinement and translationof UML models: A controlled experiment
    Bunse, C
    [J]. EMPIRICAL SOFTWARE ENGINEERING, 2006, 11 (02) : 227 - 267
  • [5] Leveraging patterns on domain models to improve UML profile definition
    Lagarde, Francois
    Espinoza, Huascar
    Terrier, Francois
    Andre, Charles
    Gerard, Sebastien
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2008, 4961 : 116 - +
  • [6] Heuristics for refinement relations
    Kammüller, F
    Sanders, JW
    [J]. PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 2004, : 292 - 299
  • [7] UML/OCL and refinement
    Bhiri, Mohamed Tahar
    Mourad, Kmimech
    Graiet, Mohamed
    Aniorte, Phillipe
    [J]. 18TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON ENGINEERING OF COMPUTER BASED SYSTEMS (ECBS 2011), 2011, : 149 - 158
  • [8] The Automatic Definition of the Intuitive Linguistic Heuristics Set to Recognize the Elements of UML Analysis and Design Models in English
    Imam, Ayad Tareq
    [J]. IEEE ACCESS, 2023, 11 : 93381 - 93392
  • [9] Improving the definition of UML
    O'Keefe, Greg
    [J]. MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2006, 4199 : 42 - 56
  • [10] Analysis pattern definition in the UML
    Teniente, E
    [J]. INFORMATION TECHNOLOGY AND ORGANIZATIONS: TRENDS, ISSUES, CHALLENGES AND SOLUTIONS, VOLS 1 AND 2, 2003, : 774 - 777
12345