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 条
  • [1] Code generation from UML models
    Frohner, Ákos
    Porkoláb, Zoltán
    Varga, László
    [J]. Periodica Polytechnica Electrical Engineering, 2000, 44 (02): : 141 - 157
  • [2] UML Models Engineering from Static and Dynamic Aspects of Formal Specifications
    Idani, Akram
    [J]. ENTERPRISE, BUSINESS-PROCESS AND INFORMATION SYSTEMS MODELING, 2009, 29 : 237 - 250
  • [3] Transforming UML static models into object-oriented code
    Favre, L
    Martínez, L
    Pereira, C
    [J]. 37TH INTERNATIONAL CONFERENCE ON TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS, PROCEEDINGS, 2000, : 170 - 181
  • [4] SystemC code generation from UML models
    Baresi, L
    Bruschi, F
    Di Nitto, E
    Sciuto, D
    [J]. SYSTEM SPECIFICATION AND DESIGN LANGUAGES: BEST OF FDL '02, 2003, : 161 - 171
  • [5] Consistent code generation from UML models
    Long, Q
    Liu, ZM
    Li, XS
    He, JF
    [J]. 2005 Australian Software Engineering Conference, Proceedings, 2005, : 23 - 30
  • [6] Typechecking UML static models
    Clark, T
    [J]. UML'99 - THE UNIFIED MODELING LANGUAGE: BEYOND THE STANDARD, 1999, 1723 : 503 - 517
  • [7] UML static models in formal approach
    Szlenk, Marcin
    [J]. BALANCING AGILITY AND FORMALISM IN SOFTWARE ENGINEERING, 2008, 5082 : 129 - 142
  • [8] Incremental UML for Agile Development Embedding UML Class Models in Source Code
    Braude, Eric
    [J]. 2017 IEEE/ACM 3RD INTERNATIONAL WORKSHOP ON RAPID CONTINUOUS SOFTWARE ENGINEERING (RCOSE), 2017, : 27 - 31
  • [9] Dynamic secure aspect modeling with UML:: From models to code
    Jürjens, J
    Houmb, SH
    [J]. MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2005, 3713 : 142 - 155
  • [10] UJECTOR: A tool for Executable Code Generation from UML Models
    Usman, Muhammad
    Nadeem, Aamer
    Kim, Tai-hoon
    [J]. PROCEEDINGS OF THE 2008 ADVANCED SOFTWARE ENGINEERING & ITS APPLICATIONS, 2008, : 165 - +
12345