Filters








12 Hits in 3.1 sec

Model Instantiation and Type Checking in UMLX

Edward Daniel Willink
2007
OMG's MDA initiative encourages the use of meta-model based transformations and re-usable specifications.  ...  We discuss how Graphical Transformation Notations such as UMLX reduce opportunities for errors in this programming domain.  ...  Model Instantiation and Type Checking in UMLX Proc.  ... 
doi:10.14279/tuj.eceasst.4.18.9 fatcat:r6pgxuwu2zdsjeer7u22afvcuq

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 development of model transformations is commonly an ad-hoc activity in MDE. Transformations are engineering artefacts, and can be developed in a disciplined way, like other software artefacts.  ...  Other attempts to visually represent transformation specification commonly adopt typed, labelled or attributed graph languages (eg. the BOTL [7] , UMLX [8] ).  ... 
doi:10.1109/mysec.2011.6140647 fatcat:qj6x4o7byzbtzoqzd5o2gz4e3q

Automatic Transformation of Hospital Processes into an Executable Model with EPML

Matthias Kühn, Joachim Lippold, Horst Salzwedel
2013 International Journal of Computer Applications  
Executable specifications are realized by models in simulation software systems. This requires collection of all necessary information about the real system and its environment.  ...  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).  ...  The connectors need to be checked regarding their correct functionality and if the instantiation is in line with the original eEPC.  ... 
doi:10.5120/13890-1818 fatcat:wbt2ugeg2fajzlebkmbgngxcqu

On marrying ontological and metamodeling technical spaces

Fernando Silva Parreiras, Steffen Staab, Andreas Winter
2007 Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering - ESEC-FSE '07  
In software engineering, the use of models and metamodeling approaches (e.g., MDA with MOF/UML) for purposes such as software design or software validation is an established practice.  ...  Ontologies constitute domain models formalized using expressive logic languages for class definitions and rules.  ...  [7] ) and one may check class hierarchy relationships, property hierarchies as well as the logical consistency of instantiating classes.  ... 
doi:10.1145/1287624.1287687 dblp:conf/sigsoft/ParreirasSW07 fatcat:4x7jfna74fadlhyfjcf2wqq2bi

On marrying ontological and metamodeling technical spaces

Fernando Silva Parreiras, Steffen Staab, Andreas Winter
2007 The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering companion papers - ESEC-FSE companion '07  
In software engineering, the use of models and metamodeling approaches (e.g., MDA with MOF/UML) for purposes such as software design or software validation is an established practice.  ...  Ontologies constitute domain models formalized using expressive logic languages for class definitions and rules.  ...  [7] ) and one may check class hierarchy relationships, property hierarchies as well as the logical consistency of instantiating classes.  ... 
doi:10.1145/1295014.1295017 fatcat:jxvlqaigq5fivo22b23u5qip2q

Model-Driven Plug-in Development for UML Based Modeling Systems. Information Technology and Control

Ruslanas Vitiutinas, Darius Silingas, Laimutis Telksnys
2011 Information Technology and Control  
The paper describes three cases of AMI -model validation, methodology wizards, and model patterns -and sample plug-in models based on them.  ...  UML is the main modeling language used in model-driven development (MDD). In many cases, UMLbased modeling systems need to be extended by plug-ins to support different modeling approaches.  ...  Willink has proposed UMLX, a language for graphically specifying transformations [46] .  ... 
doi:10.5755/j01.itc.40.3.627 fatcat:cmrgl7qyergtzn6wpcqus4nm6q

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.  ...  These tools can be used to develop, transform, merge, exchange, compare and verify models or meta-models.  ...  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

Feature-based survey of model transformation approaches

K. Czarnecki, S. Helsen
2006 IBM Systems Journal  
Model transformations are touted to play a key role in Model Driven Developmente.  ...  We propose a framework for the classification of several existing and proposed model transformation approaches.  ...  22 ), ATL (Atlas Transformation Language 23, 24 ), UMLX, 25 AToM3 (A Tool for Multi-formalism and Meta-Modeling 26 (Constraint-Specification Aspect Weaver), 36 and MT Model Transformation Language  ... 
doi:10.1147/sj.453.0621 fatcat:ychkdouacred5jb4yodei54bey

Modeling Turnpike Frontend System: A Model-Driven Development Framework Leveraging UML Metamodeling and Attribute-Oriented Programming [chapter]

Hiroshi Wada, Junichi Suzuki
2005 Lecture Notes in Computer Science  
The mTurnpike frontend system transforms domain-specific concepts from the modeling layer to programming layer, and vise versa, in a seamless manner.  ...  This paper describes and empirically evaluates a new model-driven development framework, called Modeling Turnpike (or mTurnpike).  ...  For example, it checks if the DSM uses appropriate stereotypes and tagged-values defined in the DSL.  ... 
doi:10.1007/11557432_44 fatcat:kil23swjljc4xnljsiwrye5n6a

Reflections on OCL 2

Ed Willink
2020 Journal of Object Technology  
However despite these flaws, OCL remains the language of choice for specifying model constraints.  ...  We briefly relate the history that allowed an imprecise draft to be adopted by the OMG as the OCL 2.0 specification resulting in a language that was fatally flawed from the outset.  ...  Acknowledgments Many thanks to Horacio Hoyos Rodriguez and the anonymous reviewers for helpful comments on an inadequate initial submission.  ... 
doi:10.5381/jot.2020.19.3.a17 fatcat:en3ewp4cire6vdnho7w2pya2a4

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
2011
Changes to the behaviour model necessarily provoke an iteration in the code generation workflow and a re-deployment of the generated artefacts.  ...  Behaviour model interpretation has a performance overhead when compared to code generation. In the context of the network and systems manag [...]  ...  It is also necessary to determine which part of the context and which events are used by the partial model to later re-instantiate these in the context of the new model.  ... 
doi:10.14279/depositonce-2842 fatcat:bnbyod3awza7nku5g3y4z34ov4

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
2015
This thesis investigates a novel approach to reverse engineering, in which modeling information such as UML associations, state machines and attributes is incrementally added to code written in Java or  ...  The approach, called umplification, produces a program with behavior identical to the original one, but written in Umple and enhanced with model-level abstractions.  ...  We provide some information on these systems in Table 6 .2 including their version, number of lines of code and the number of classes.  ... 
doi:10.20381/ruor-4206 fatcat:ntx3ffolqzfidi3ztzviavb46m