[HTML][HTML] Higher-order transformations for the generation of synchronization infrastructures in blended modeling

M Latifaj, F Ciccozzi, M Mohlin - Frontiers in Computer Science, 2023 - frontiersin.org
Introduction Blended modeling aims at boosting the development of complex multi-domain
systems by enabling seamless multi-notation modeling. The synchronization mechanisms …

[HTML][HTML] Analysis of intelligent transportation systems using model-driven simulations

A Fernández-Isabel, R Fuentes-Fernández - Sensors, 2015 - mdpi.com
Intelligent Transportation Systems (ITSs) integrate information, sensor, control, and
communication technologies to provide transport related services. Their users range from …

Facilitate modelling using method integration: An approach using mappings and integration rules

S Zivkovic, H Kuhn, D Karagiannis - 2007 - aisel.aisnet.org
Conceptual modelling is one of the core disciplines within business informatics. Often,
different metamodels have to be integrated to provide project specific or domain specific …

Application of model driven engineering in cloud computing: A systematic literature review

AW Muzaffar, SR Mir, MW Anwar, A Ashraf - Proceedings of the Second …, 2017 - dl.acm.org
Cloud computing is a modern paradigm that significantly reduces development, deployment
and maintenance cost of software systems. Model Driven Engineering (MDE) is system …

[HTML][HTML] European railway traffic management system validation using UML/Petri nets modelling strategy

S Jabri, EM El Koursi, T Bourdeaud'huy… - European Transport …, 2010 - Springer
Abstract Purpose The European Union set up a European management system for rail
traffic: the ERTMS system to ensure, in full safety, train circulation on different European …

Model based system engineering for safety of railway critical systems

P Sun - 2015 - theses.hal.science
Development and application of formal languages are a long-standing challenge within the
computer science domain. One particular challenge is the acceptance of industry. This …

Traceability mappings as a fundamental instrument in model transformations

Z Diskin, A Gómez, J Cabot - … Conference, FASE 2017, Held as Part of the …, 2017 - Springer
Technological importance of traceability mappings for model transformations is well-known,
but they have often been considered as an auxiliary element generated during the …

[PDF][PDF] Model integration through mega operations

T Reiter, E Kapsammer, W Retschitzegger… - Workshop on Model …, 2005 - Citeseer
With the advent of the Model Driven Architecture, models are replacing code as the major
artifact in software development. A critical success factor for this is the possibility to derive …

Automatic transformation co-evolution using traceability models and graph transformation

A Rutle, L Iovino, H König, Z Diskin - … , ECMFA 2018, Held as Part of STAF …, 2018 - Springer
In rule-based approaches, a model transformation definition tells how an instance of a
source model should be transformed to an instance of a target model. As these models …

Interactive model-based compilation continued–incremental hardware synthesis for SCCharts

F Rybicki, S Smyth, C Motika… - … Applications of Formal …, 2016 - Springer
Abstract The Single-Pass Language-Driven Incremental Compilation (slic) strategy uses a
series of model-to-model (M2M) transformations to compile a model or program to a …