Transforming UML static models into object-oriented code

被引：2
|
作者：
Favre, L [1 ]
Martínez, L [1 ]
Pereira, C [1 ]
机构：
[1] Comis Invest Cient Pcia Buenos Aires, Buenos Aires, DF, Argentina
来源：
37TH INTERNATIONAL CONFERENCE ON TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS, PROCEEDINGS | 2000年
关键词：
D O I：
10.1109/TOOLS.2000.891367
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
In this paper we propose a reuse-based rigorous method using UML and algebraic specifications. Our contribution is towards an embedding of the abject-oriented code generation within a rigorous process that facilitates reuse, evolution and maintenance of the software. In previous work we describe the GSBL(00) language to cope with the formalization of UML static models, and the SpReIm model por the definition of the structure of reusable components. Our current goal is to map design artifacts to object-oriented code. We describe a rigorous process to forward engineer UML static models. The emphasis in this contribution is given to the transformation of UML class diagrams into object-oriented code. In particular, we describe how to transform OCL specifications into GSBL(00) axioms.
引用
收藏
页码：170 / 181
页数：12
相关论文
共 50 条
  • [1] Transforming object-oriented models to process-oriented models
    Redding, Guy
    Dumas, Marlon
    ter Hofstede, Arthur H. M.
    Iordachescu, Adrian
    BUSINESS PROCESS MANAGEMENT WORKSHOPS, 2008, 4928 : 132 - +
  • [2] UML tool support: Utilization of object-oriented models
    Wolf, M
    Ivanov, E
    Philippow, I
    Burkhardt, R
    TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS - TOOLS 34, PROCEEDINGS, 2000, : 529 - 534
  • [3] Extending the UML for dimensional models in object-oriented database
    Borba, SDP
    Morales, ABT
    Sixteenth International Workshop on Database and Expert Systems Applications, Proceedings, 2005, : 1150 - 1154
  • [4] UML to B: Formal verification of object-oriented models
    Lano, K
    Clark, D
    Androutsopoulos, K
    INTEGRATED FORMAL METHODS, PROCEEDINGS, 2004, 2999 : 187 - 206
  • [5] Static techniques for concept location in object-oriented code
    Marcus, A
    Rajch, V
    Buchta, J
    Petrenko, M
    Sergeyev, A
    13TH INTERNATIONAL WORKSHOP ON PROGRAM COMPREHENSION, PROCEEDINGS, 2005, : 33 - 42
  • [6] Refactoring UML Models of Object-Oriented Software: A Systematic Review
    Sidhu, Brahmaleen K.
    Singh, Kawaljeet
    Sharma, Neeraj
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2018, 28 (09) : 1287 - 1319
  • [7] Object-Oriented Design with UML and Java
    Barclay, Kenneth
    Savage, John
    Object-Oriented Des. with UML and Java, 1600, (1-401):
  • [8] Object-oriented reading techniques for inspection of UML models - An industrial experiment
    Conradi, R
    Mohagheghi, P
    Arif, T
    Hegde, LC
    Bunde, GA
    Pedersen, A
    ECOOP 2003 - OBJECT-ORIENTED PROGRAMMING, PROCEEDINGS, 2003, 2743 : 483 - 500
  • [9] A formal object-oriented approach to defining consistency constraints for UML models
    Kim, SK
    Carrington, D
    2004 AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2004, : 87 - 94
  • [10] Reengineering object-oriented code
    Fanta, R
    Rajlich, V
    INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS, 1998, : 238 - 246
12345