Filters








13 Hits in 2.9 sec

VMTL: a language for end-user model transformation

Vlad Acreţoaie, Harald Störrle, Daniel Strüber
2016 Journal of Software and Systems Modeling  
This property is arguably important in the context of end-user model transformation, as most end-user modelers have no prior experience with MT technology.  ...  The Visual Model Transformation Language A transparent approach to model transformation Intuitively, an MTL aiming for end-user modeler accessibility should leverage languages and tools familiar to end-user  ... 
doi:10.1007/s10270-016-0546-9 fatcat:fso6jxaxpzedjkmf7fvztmk7fy

Transparent Model Transformation: Turning Your Favourite Model Editor into a Transformation Tool [chapter]

Vlad Acretoaie, Harald Störrle, Daniel Strüber
2015 Lecture Notes in Computer Science  
VMTL works by weaving a transformation aspect into its host modeling language.  ...  We show how our implementation of VMTL turns any model editor into a flexible model transformation tool sharing the model editor's benefits, transparently.  ...  The authors would like to thank Gabriele Taentzer for her insightful comments on the content and presentation of this paper.  ... 
doi:10.1007/978-3-319-21155-8_10 fatcat:ncnicm5tufge5ppmnaffnfopc4

SoSyM reflections of 2016: a journal status report

Geri Georg, Jeff Gray, Bernhard Rumpe, Martin Schindler
2017 Journal of Software and Systems Modeling  
/ s10270-016-0532-2 • Vlad Acretoaie, Harald Störrle, and Daniel Strüber, "VMTL: A Language for End-user Model Transfor- mation", In Journal on Software and Systems Model- ing (SoSyM), Springer, 2016  ...  Transformation from UML to Alloy," In Journal on Software and Systems Modeling (SoSyM), 2010, vol. 9, no. 1, pp. 69-86. http:// dx.doi.org/10.1007/s10270-008-0110-3 Thanks to the authors for considering  ... 
doi:10.1007/s10270-017-0582-0 fatcat:vcisfwbsu5awvfsynrdikjddvm

Agile model-based system development

Jeff Gray, Bernhard Rumpe
2018 Journal of Software and Systems Modeling  
Furthermore, a plethora of tools has been developed to assist practitioners with each of the individual modeling languages.  ...  However, the state-of-the-art in systems modeling has several challenges, where each modeling aspect and view is often assisted by an individual modeling and analysis tool.  ...  • "VMTL: a language for end-user model transformation" by Vlad Acretoaie, Harald Störrle, and Daniel Strüber • "A model-driven development approach for context-aware systems" by Imen Jaouadi, Raoudha Ben  ... 
doi:10.1007/s10270-018-0694-1 fatcat:hhjedg7ekzhclbrss6k7us7d2m

Compiling Finite Domain Constraints to SAT with BEE [article]

Amit Metodi, Michael Codish
2012 arXiv   pre-print
Using BEE both eases the encoding process for the user and also performs transformations to simplify constraints and optimize their encoding to CNF.  ...  A BEE implementation is available with this paper.  ...  To address the two VMTL instances not solvable using the BEE models described above (K 10 with magic labels 259 and 258), we partition the problem fixing the values of e 1,2 and e 1,3 and maintaining all  ... 
arXiv:1206.3883v1 fatcat:gnzmxr64ljdctibrjojdzl45ki

CoMiTe: Context Aware Middleware Architecture for Time-Dependent Systems: A Case Study on Vehicular Safety

Ra. K. Saravanaguru, Arunkumar Thangavelu
2014 The Arabian Journal for Science and Engineering  
Models and Approaches for Vehicular Safety: The various issues of vehicular middleware [38] can be summarized as follows: tight coupling with raw data, complexity in reasoning, dynamic sharing of data,  ...  Key words: Context aware Middleware Vehicular safety Context models Context types of WAVE are optimized for single-radio and no support for GSM or other technology.  ...  the support for two devices: OBU and RSU. The protocols  ... 
doi:10.1007/s13369-014-0955-4 fatcat:xwufx4e5nrayzamrwwb7tk6bni

Automatic Inference of Rule-Based Specifications of Complex In-place Model Transformations [chapter]

Timo Kehrer, Abdullah Alshanqiti, Reiko Heckel
2017 Lecture Notes in Computer Science  
An important aspect is the set of change operations available to modify models. In-place model transformations are well-suited for that purpose.  ...  We follow a model transformation by-example approach to mitigate that problem: Users generate transformation rules by creating examples of transformations using standard visual editors as macro recorders  ...  Acknowledgments The work of the first author was partially supported by the DFG (German Research Foundation) under the Priority Programme SPP1593: Design For Future -Managed Software Evolution.  ... 
doi:10.1007/978-3-319-61473-1_7 fatcat:a2rjyxo2q5fjtaoxznintfmece

Claimed advantages and disadvantages of (dedicated) model transformation languages: a systematic literature review

Stefan Götz, Matthias Tichy, Raffaela Groner
2020 Journal of Software and Systems Modeling  
There exists a plethora of claims about the advantages and disadvantages of model transformation languages compared to general-purpose programming languages.  ...  With this work, we aim to create an overview over these claims in the literature and systematize evidence thereof.  ...  For example, graph transformation approaches only reveal parts of the meta-model C12 Graph transformations defined on abstract syntax are hard to read because the user has to be familiar with meta-model  ... 
doi:10.1007/s10270-020-00815-4 fatcat:ihqwlympqrgdxcjrt4m43fxgaa

A survey of model transformation design patterns in practice

Kevin Lano, Shekoufeh Kolahdouz-Rahimi, Sobhan Yassipour-Tehrani, Mohammadreza Sharbaf
2018 Journal of Systems and Software  
We evaluate how widely patterns have been used, and how their use differs in different transformation languages and for different categories of transformation.  ...  Model transformation design patterns have been proposed by a number of researchers, but their usage appears to be sporadic and sometimes patterns are applied without recognition of the pattern.  ...  For example, maintaining an explicit sourcetarget correspondence relation as an auxiliary model (Auxiliary Correspondence Model pattern). 6) Model-to-text/Concrete syntax -these are concerned with aspects  ... 
doi:10.1016/j.jss.2018.03.001 fatcat:32b56svlwrawzc2l5xhoamgjsq

A Systematic Literature Review on Enterprise Architecture Visualization Methodologies

Zhengshu Zhou, Qiang Zhi, Shuji Morisaki, Shuichiro Yamamoto
2020 IEEE Access  
For example, the applications include business modeling, information system architecture design, technology infrastructure configuration, software maintenance, and system security analysis.  ...  However, up to now, the purpose and means of these EA visualization methods have never been systematically analyzed and discussed, and a generalized EA visualization methodology with the ability to meet  ...  Acreţoaie et al. introduced the VMTL (Visual Model Trans- formation Language) addressing the skills and requirements of end-user modelers [101].  ... 
doi:10.1109/access.2020.2995850 fatcat:cbdcgx4ntjdmxh6i7oyrqrcmf4

Durchgängiges mechatronisches Engineering für Sondermaschinen [article]

Gernot Frank, Universität Stuttgart, Universität Stuttgart
2016
This is the base for the presented method, starting with the definition of requirements, which is supported via a class list of characteristics.  ...  mechatronic modules with nominal efforts.  ...  This is the base for the presented method, starting with the definition of requirements, which is supported via a class list of characteristics.  ... 
doi:10.18419/opus-8761 fatcat:sbezwhmwa5hgpeg5j2d3y3f2v4

Ubiquitäre Systeme (Seminar) und Mobile Computing (Proseminar) WS 2013/14. Mobile und Verteilte Systeme. Ubiquitous Computing. Teil X

Martin Alexander [Hrsg.] Neumann, Anja [Hrsg.] Bachmann, Matthias [Hrsg.] Berning, Markus [Hrsg.] Scholz, Yong [Hrsg.] Ding, Matthias [Hrsg.] Budde
2014
Second installing high-end components like industrial sensors is too expensive for the end user market. These facts acclaim to be a perfect environment to apply the presented approaches.  ...  It is called BBQ, which abbreviates the name "Barbie-Q: A Tiny-Model Query System". This model is used for generating approximations for sensor network queries from a user.  ...  Following, the implementation of the SAPS reward elements: [10] [6] Status: Status is achieved as users gain points for collecting noise pollution information.  ... 
doi:10.5445/ir/1000040034 fatcat:ajdmignirbejxcg4cp47qr4xg4

Beiträge zum Mathematikunterricht 2012

Matthias Ludwig, Michael Kleine, Technische Universität Dortmund, Technische Universität Dortmund
2014
Acknowledgments This research is supported by Center for Research in Mathematics Education, Khon Kaen University, Thailand.  ...  They were trained to organize teaching sequence in a new way, which starting with posing prepared open-ended problems to the students, allowing time for the students to think by themselves within their  ...  Almost of teachers who had been trained to use open-ended problem called for open-ended problems which covering all of the contents in every grade.  ... 
doi:10.17877/de290r-6587 fatcat:eobb6tzbavfnjbnhgu2c76mxza