[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 …
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 …
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 …
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
Cloud computing is a modern paradigm that significantly reduces development, deployment
and maintenance cost of software systems. Model Driven Engineering (MDE) is system …
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 …
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 …
computer science domain. One particular challenge is the acceptance of industry. This …
Traceability mappings as a fundamental instrument in model transformations
Technological importance of traceability mappings for model transformations is well-known,
but they have often been considered as an auxiliary element generated during the …
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 …
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
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 …
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 …
series of model-to-model (M2M) transformations to compile a model or program to a …