Forward engineering and UML: From UML static models to Eiffel code

被引：0
|
作者：
Favre, L
Martinez, L
Pereira, C
机构：
来源：
ISSUES AND TRENDS OF INFORMATION TECHNOLOGY MANAGEMENT IN CONTEMPORARY ORGANIZATIONS, VOLS 1 AND 2 | 2002年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In a previous research work we have proposed a rigorous process to forward engineering UML static models. This approach is based on the integration of semi-formal notations in UML, algebraic specifications and object-oriented code. The GSBL(oo) language was defined to cope with concepts of UML, models. The emphasis is given to the last steps in the road from UML to code: we describe how to transform GSBL(oo) specifications into object-oriented code. Eiffel was the language chosen to demonstrate the feasibility of our approach. In particular we analyze the transformation of different kinds of associations and the generation of Eiffel assertions.
引用
收藏
页码：584 / 588
页数：5
相关论文
共 50 条
  • [31] Mappings for accurately reverse engineering UML class models from C++
    Sutton, A
    Maletic, JI
    [J]. WCRE: 12TH WORKING CONFERENCE ON REVERSE ENGINEERING 2005, PROCEEDINGS, 2005, : 175 - 184
  • [32] Complete Code Generation from UML State Machine
    Van Cam Pham
    Radermacher, Ansgar
    Gerard, Sebastien
    Li, Shuai
    [J]. MODELSWARD: PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2017, : 208 - 219
  • [33] SLICING OF UML MODELS
    Lano, K.
    Kolandouz-Rahimi, S.
    [J]. ICSOFT 2010: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL 2, 2010, : 259 - 262
  • [34] Temporal models in UML
    Douglass, BP
    Vasan, S
    [J]. DR DOBBS JOURNAL, 1999, 24 (12): : 74 - +
  • [35] Quality of UML models
    Genero, Marcela
    Piattini, Mario
    Chaudron, Michel
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2009, 51 (12) : 1629 - 1630
  • [36] UML/Analyzer: A tool for the instant consistency checking of UML models
    Egyed, Alexander
    [J]. ICSE 2007: 29th International Conference on Software Engineering, Proceedings, 2007, : 793 - 796
  • [37] Automatic Validation of UML Specifications Based on UML Environment Models
    Naveed, Shamshad
    [J]. 2017 4TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING TECHNOLOGIES AND APPLIED SCIENCES (ICETAS), 2017,
  • [38] Code Generation and Parallel Code Execution from Business UML Models: A Case Study for an Algorithmic Trading System
    Hains, Gaetan
    Li, Chong
    Atkinson, Daniel
    Redly, Jarrod
    Wilkinson, Nicholas
    Khmelevsky, Youry
    [J]. 2015 SCIENCE AND INFORMATION CONFERENCE (SAI), 2015, : 84 - 93
  • [39] On the Impact of UML Analysis Models on Source-Code Comprehensibility and Modifiability
    Scanniello, Giuseppe
    Gravino, Carmine
    Genero, Marcela
    Cruz-Lemus, Jose A.
    Tortora, Genoveffa
    [J]. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2014, 23 (02)
  • [40] Static- and Dynamic Consistency Analysis of UML State Chart Models
    Schwarzl, Christian
    Peischl, Bernhard
    [J]. MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PT I, 2010, 6394 : 151 - +
12345