Software engineering issues for ubiquitous computing
Proceedings of the 21st international conference on Software engineering
Executable UML: A Foundation for Model-Driven Architectures
Executable UML: A Foundation for Model-Driven Architectures
A Relational Approach to Defining Transformations in a Metamodel
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
UMLAUT: An Extendible UML Transformation Framework
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
Visual programming with graph rewriting systems
VL '95 Proceedings of the 11th International IEEE Symposium on Visual Languages
Consistent Code Generation from UML Models
ASWEC '05 Proceedings of the 2005 Australian conference on Software Engineering
Model Mapping Using Formalism Extensions
IEEE Software
Benchmarking for Graph Transformation
VLHCC '05 Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing
AspectJ Cookbook
Modeling and performance analysis for security aspects
Science of Computer Programming - Special issue on quality system and software architectures
Feature-based survey of model transformation approaches
IBM Systems Journal - Model-driven software development
From multi-modal scenarios to code: compiling LSCs into aspectJ
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Formal design analysis framework: an aspect-oriented architectural framework
Formal design analysis framework: an aspect-oriented architectural framework
A meta-level specification and profile for AspectJ in UML
Proceedings of the 10th international workshop on Aspect-oriented modeling
Using FDAF to bridge the gap between enterprise and software architectures for security
Science of Computer Programming
Models for automatic generation of safety-critical real-time systems
ARES '07 Proceedings of the The Second International Conference on Availability, Reliability and Security
Specifying the correctness properties of model transformations
Proceedings of the third international workshop on Graph and model transformations
A Taxonomy of Model Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Validation of model transformations: first experiences using a white box approach
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Cinderella SLIPPER: an SDL to C-code generator
SDL'05 Proceedings of the 12th international conference on Model Driven
On the use of graph transformations for model refactoring
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
KM3: a DSL for metamodel specification
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Aspect-oriented model-driven code generation: A systematic mapping study
Information and Software Technology
Hi-index | 0.00 |
Model-driven code generation has been investigated in traditional and object-oriented design paradigms; significant progress has been made. It offers many advantages including the rapid development of high quality code. Errors are reduced and the consistency between the design and the code is retained, in comparison with a purely manual approach. Here, a model-driven code generation approach based on graph transformations for aspect-oriented development is proposed. The approach has two main transformation activities. The first activity transforms a visual (graphical) model of the design into a formal, text-based notation that can be readily processed. The graphical model is created by the software designer and uses a UML profile for aspect-oriented software (i.e., FDAF) to represent aspects and their components. XML is the target notation for this step; the transformation uses the XML meta-model to ensure that the output complies with the language. The second activity transforms the XML model into AspectJ source code. The transformation uses the AspectJ meta-model to ensure the output complies with the language. The transformations from the extended UML model to XML and from XML to AspectJ code are fully automated. The transformation algorithms are based on graph transformations; tool support has been developed. Key technical issues in the approach are discussed, including performance, the amount of code generated, correctness, and adaptability, in addition to a comparison of the proposal with existing alternative approaches. The approach has been validated on three example systems: a banking system, classroom scheduling system, and an insurance system. The banking system example is presented in the paper.