14 Hits in 5.6 sec

On Challenges for a Graphical Transformation Notation and the UMLX Approach

Edward D. Willink
2008 Electronical Notes in Theoretical Computer Science  
We identify many disadvantages of the graphical approach, consider how they can be circumvented and describe changes in the UMLX notation and tool support to improve usability and QVT compatibility.  ...  Graphical transformation notations are proving rather less successful.  ...  Transformations based on UML-like meta-models might be expected to continue the graphical tradition of class diagrams and favour a graphical notation.  ... 
doi:10.1016/j.entcs.2008.04.039 fatcat:va7mjxtuwnegjgkbat4mzsmnz4

Model transformation specification for automated formal verification

Asmiza Abdul Sani, Fiona A. C. Polack, Richard F. Paige
2011 2011 Malaysian Conference in Software Engineering  
The paper introduces a process for planning transformation and a language for capturing structural and behavioural characteristics of a model transformation, that supports templates which, when instantiated  ...  The approach is illustrated with a small example, UML Class to Relational Database transformation, and verification using Alloy.  ...  Trans-DV proposes a declarative, relational-based approach to design transformation using an intuitive and compact graphical design notation for structural and behavioural features which has a corresponding  ... 
doi:10.1109/mysec.2011.6140647 fatcat:qj6x4o7byzbtzoqzd5o2gz4e3q

Open MDA Using Transformational Patterns [chapter]

Mika Siikarla, Kai Koskimies, Tarja Systä
2005 Lecture Notes in Computer Science  
No generally accepted understanding on the characteristics of MDA transformation mechanisms exists. Various approaches to support such transformations have been proposed.  ...  We exploit existing tool support for this concept and show a small example of how it can be applied. Finally, we analyse the ability of the proposed technique to fill the requirements.  ...  Both use attributed labelled graphs and offer a graphical notation for describing a source (LHS) and target template (RHS) for transformation rules.  ... 
doi:10.1007/11538097_8 fatcat:5hx3ytbyq5dfflvlq67jdra4ri

Towards user-centric concrete model transformation

I. Avazpour
2012 2012 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)  
To generate a transformation with most current MDE approaches, users are required to specify (or provide) complex abstractions and meta-models and engage in quite lowlevel coding in usually textual transformation  ...  This specification technique provides pragmatic barriers for users of model transformations and prevents them from adapting MDE technologies.  ...  As a result, it provides a graphical visualisation of rules that is similar to UML standards. Visual transformation rules in UMLx are transformed to XSLT and then applied on meta models.  ... 
doi:10.1109/vlhcc.2012.6344520 dblp:conf/vl/Avazpour12 fatcat:izqupk5eubhalhgrfahy7y3cbm

Survey and classification of model transformation tools

Nafiseh Kahani, Mojtaba Bagherzadeh, James R. Cordy, Juergen Dingel, Daniel Varró
2018 Journal of Software and Systems Modeling  
In this paper, we compare and evaluate the current model transformation tools based on a qualitative framework.  ...  We then classify, compare and evaluate the tools based on a number of facets, each one consisting of several attributes with the possibility of overlap.  ...  We also thank the anonymous reviewers for their valuable comments and suggestions in improving this report.  ... 
doi:10.1007/s10270-018-0665-6 fatcat:xo2spo3qynf5bnulmei3hioczi

Integrating Refinement into Software Development Tools

Lu Yang, Volker Stolz
2008 Electronical Notes in Theoretical Computer Science  
In this paper, we bring this matter to the attention of the research community and discuss a component-based model transformational approach for integrating refinement into software development tools.  ...  It is a challenge for automatic tool support to formal design by refinement transformations.  ...  Acknowledgement I would like to thank Zhiming Liu and Volker Stolz from UNU-IIST for their discussions and useful comments for the paper.  ... 
doi:10.1016/j.entcs.2008.03.086 fatcat:cpsndrq3p5bdrffhsq3bzqr4lm

Model Instantiation and Type Checking in UMLX

Edward Daniel Willink
We discuss how Graphical Transformation Notations such as UMLX reduce opportunities for errors in this programming domain.  ...  OMG's MDA initiative encourages the use of meta-model based transformations and re-usable specifications.  ...  With the exception of UMLX, Graphical Transformation notations based on declarative principles rely on non-graphical annotations to define the mapping between input and output patterns.  ... 
doi:10.14279/tuj.eceasst.4.18.9 fatcat:r6pgxuwu2zdsjeer7u22afvcuq

Feature-based survey of model transformation approaches

K. Czarnecki, S. Helsen
2006 IBM Systems Journal  
We propose a framework for the classification of several existing and proposed model transformation approaches.  ...  Based on our analysis of model transformation approaches, we propose a few major categories in which most approaches fit.  ...  Similarly, model transformation is a form of metaprogramming and, thus, must face the same challenge.  ... 
doi:10.1147/sj.453.0621 fatcat:ychkdouacred5jb4yodei54bey

Component Tools: Integrating Petri Nets with Other Formal Methods [chapter]

Ekkart Kindler, Vladimir Rubin, Robert Wagner
2006 Lecture Notes in Computer Science  
This way, an engineer can use these components for designing, verifying, and validating a system with support from formal methods and their tools under a uniform graphical user interface -without even  ...  To this end, Component Tools supports the definition of components with different underlying formal models in different notations and on different levels of abstraction for different purposes.  ...  We would like to thank all the students that participated in our one year master's project 'Component Tools', which helped to advance the concepts of Component Tools and implemented the prototype.  ... 
doi:10.1007/11767589_3 fatcat:elk4iqnbmzfrrajiky75e6iteu

Automatic Transformation of Hospital Processes into an Executable Model with EPML

Matthias Kühn, Joachim Lippold, Horst Salzwedel
2013 International Journal of Computer Applications  
The process descriptions are generally incomplete, often not formal standardized and thereby not able to be transformed into a simulation model.  ...  It is critical that all relevant information is included in the model and the correct level of abstraction is being used. Often, process descriptions are available for real systems (e.g. hospitals).  ...  A group of these are Graph-Transformation-Based Approaches, as UMLX [9] , VIATRA -VIsual Automated model TRAnsformations [10] , MOLA -Model transformation LAnguage [11] or GReAT -Graph Rewriting and  ... 
doi:10.5120/13890-1818 fatcat:wbt2ugeg2fajzlebkmbgngxcqu

Adaptive Model-Driven User Interface Development Systems

Pierre A. Akiki, Arosha K. Bandara, Yijun Yu
2014 ACM Computing Surveys  
An overview of these systems is presented and a set of criteria is established to evaluate the strengths and shortcomings of the state-of-the-art, which is categorized under architectures, techniques,  ...  Model-driven engineering formed the basis for most of the systems targeting the development of such UIs.  ...  This work is funded by the Computing and Communications department at The Open University, and ERC Advanced Grant 291652.  ... 
doi:10.1145/2597999 fatcat:7ax5mtk66bgd5odoarb5lln7yu

Reverse Engineering Object-Oriented Systems into Umple: An Incremental and Rule-Based Approach

Miguel Alejandro Garzón, Université D'Ottawa / University Of Ottawa, Université D'Ottawa / University Of Ottawa
The approach, called umplification, produces a program with behavior identical to the original one, but written in Umple and enhanced with model-level abstractions.  ...  The rules used to transform code to model have been iteratively refined by using the tool on a variety of open-source software systems. The thesis consists of three main parts.  ...  More concisely, for each system studied, we have followed these steps: 1 . We apply the different transformation steps on the input object-oriented system. 2 .  ... 
doi:10.20381/ruor-4206 fatcat:ntx3ffolqzfidi3ztzviavb46m

Engineering Adaptive Model-Driven User Interfaces for Enterprise Applications

Pierre A. Akiki
To fill these gaps, this thesis presents an approach that offers the following novel contributions: - The Cedar Architecture serves as a reference for developing adaptive model-driven enterprise application  ...  Adaptive UIs can help in improving usability by tailoring the features and layout based on the context-of-use.  ...  However, UI designers might only work on the CUI level and leave the model transformations to the developers. Also, the authors state that a graphical WYSIWYG editor would improve on their approach.  ... 
doi:10.21954/ fatcat:uswv6bv6arfnpewbecup3v4kq4

Interpretation of Behaviour Models at Runtime: Performance Benchmark and Case Studies [article]

Edzard Höfig, Technische Universität Berlin, Technische Universität Berlin, Ina Schieferdecker
For the quantitative evaluation, a novel benchmark is introduced, that enables a performance comparison between the proof-of-concept implementations and generated code.  ...  We investigate a solution to this problem by employing interpretation techniques for the runtime execution of behaviour models, enabling the adaptability of a system's runtime behaviour on the level of  ...  There are a number of languages available for model transformations on general UML: MOLA [245] , UMLX (which has a graphical syntax for specification of transformations) [285] , the textual ATLAS Transformation  ... 
doi:10.14279/depositonce-2842 fatcat:bnbyod3awza7nku5g3y4z34ov4