GSBL: an algebraic specification language based on inheritance
on ECOOP '88 (European Conference on Object-Oriented Programming)
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Visual modeling with Rational Rose and UML
Visual modeling with Rational Rose and UML
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
The Unified Modeling Language user guide
The Unified Modeling Language user guide
A systematic approach to transform UML static models to object-oriented code
Unified modeling language
Rational unified process and unified modeling language - a GOMS analysis
Unified modeling language
The whole-part relationship in the unified modeling language: a new approach
Unified modeling language
Formal Object-Oriented Development
Formal Object-Oriented Development
The KeY System: Integrating Object-Oriented Design and Formal Methods
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
On combining semiformal and formal object specification techniques
WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
The UML as a Formal Modeling Notation
«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
A Formal Mapping between UML Static Models and Algebraic Specifications
Workshop of the pUML-Group held together with the «UML»2001 on Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists
Object Oriented Reuse through Algebraic Specifications
TOOLS '98 Proceedings of the Technology of Object-Oriented Languages and Systems
Formalizing the UML class diagram using object-Z
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Correct realizations of interface constraints with OCL
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Hi-index | 0.00 |
This chapter describes a reuse-based rigorous process to transform UML static models to object-oriented code. The bases of this approach are the GSBL00 algebraic language to cope with concepts of UML static models and the SpRelm model for defining structured collections of reusable components. We have defined a mapping between UML static models and GSBL00. The emphasis in this chapter is given to the last steps in the road from UML to code. EiffelTM is the language of choice in which we chose to demonstrate the feasibility of our approach. We analyze how to transform GSBL00 specifications into code. In particular, we show how to translate different kinds of UML associations to Eiffel. Also, we describe how to construct assertions from GSBL00 specifications. All of the proposed transformations can be automated; they allow traceability and can be integrated into the iterative and incremental software development processes supported by the existing UML CASE tools.