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 条
  • [41] UML Diagram for Design Patterns
    Mustapha, Muhazam
    Daud, Nik Ghazali Nik
    [J]. SOFTWARE ENGINEERING AND COMPUTER SYSTEMS, PT 3, 2011, 181 : 215 - 230
  • [42] Definition and correct refinement of operation specifications
    Baar, Thomas
    Markovic, Slavisa
    Fondement, Frederic
    Strohmeier, Alfred
    [J]. DEPENDABLE SYSTEMS: SOFTWARE, COMPUTING, NETWORKS, 2006, 4028 : 127 - 144
  • [43] DEFINITION AND EXISTENCE OF AN (LIR)-REFINEMENT INTEGRAL
    WRIGHT, FM
    [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1971, 18 (05): : 769 - &
  • [44] Towards a new definition of the concept of refinement
    Pollo, S.
    Augusto, V.
    [J]. FOLIA PRIMATOLOGICA, 2004, 75 : 132 - 133
  • [45] UML profiles for design patterns
    Garis, A
    Riesco, D
    Montejano, G
    Debnath, N
    [J]. PROCEEDINGS OF THE ISCA 20TH INTERNATIONAL CONFERENCE ON COMPUTERS AND THEIR APPLICATIONS, 2005, : 435 - 440
  • [46] Design patterns application in UML
    Sunyé, G
    Le Guennec, A
    Jézéquel, JM
    [J]. ECOOP 2000 - OBJECT-ORIENTED PROGRAMMING, 2000, 1850 : 44 - 62
  • [47] Diagram Definition: A Case Study with the UML Class Diagram
    Elaasar, Maged
    Labiche, Yvan
    [J]. MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, 2011, 6981 : 364 - +
  • [48] The real-time UML standard: Definition and application
    Selic, B
    [J]. DOA'01: 3RD INTERNATIONAL SYMPOSIUM ON DISTRIBUTED OBJECTS & APPLICATIONS, PROCEEDINGS, 2001, : 355 - 355
  • [49] Patterns for Refinement Automation
    Iliasov, Alexei
    Troubitsyna, Elena
    Laibinis, Linas
    Romanovsky, Alexander
    [J]. FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2010, 6286 : 70 - +
  • [50] Refinement patterns for ASTDs
    Frappier, Marc
    Gervais, Frederic
    Laleau, Regine
    Milhau, Jeremy
    [J]. FORMAL ASPECTS OF COMPUTING, 2014, 26 (05) : 919 - 941
12345