Search Results

Model transformation languages are domain-specific languages used to define transformations of models. These transformations consist of the translation from one modeling formalism into another or just the updating of a given model. Such ...

• Approach for predicting the execution time of model transformations.
• Our extension considers the size of attributes whose values have an arbitrary size.
• Updated experiment design to reduce the change of overfitting.
• Discussion ...

Model transformations play an essential role in the model-driven engineering paradigm. However, writing a correct transformation requires the user to understand both what the transformation should do and how to enact that change in the ...

The popularity of microservice architecture abbreviated MSA has attracted researchers and practitioners in recent years. MSA aims to divide the complex monolithic system from the service to the database into several autonomous blocks called ...

• Onboard software (OBSW) of HERCCULES mission that characterize the convective heat and radiative environment in the stratosphere.
• Commercial off-the-shelf hardware and software using a Raspberry Pi 4B as an OBC with Linux OS and the ...

Stratospheric balloons have emerged as an affordable and flexible alternative to traditional spacecrafts as they are implemented using commercial off-the-shelf (COTS) equipment without following strict methodologies. HERCCULES is a stratospheric ...

Display Omitted

Model transformation languages are special-purpose languages, which are designed to define transformations as comfortably as possible, i.e., often in a declarative way. Typically, developers create their transformations based on small input models which ...

Model transformations are among the key concepts of model-driven engineering (MDE), and dedicated model transformation languages (MTLs) emerged with the popularity of the MDE pssaradigm about 15 to 20 years ago. MTLs claim to increase the ease of ...

Enterprise architecture has become an important driver to facilitate digital transformation in companies, since it allows to manage IT and business in a holistic and integrated manner by establishing connections among technology concerns and ...

Real‐time systems are complex and composed of time‐bounded events that must satisfy the real‐time constraints for their proper functioning. To cope with the complexity of real‐time systems, model‐driven approaches such as model‐driven architecture ...

This paper presents a metamodel‐based automated transformation technique for mapping the UML/MARTE sequence diagram into the generalized PNML representation of the timed Petri net model using the ATL Transformation Language. The proposed approach supports ...

Model-Driven Software Engineering (MDSE) is a widely used approach to deal with the increasing complexity of software. This increasing complexity also leads to the fact that the models used and the model transformations applied become larger and more ...

We show that a history-based variant of alternating bisimulation with imperfect information allows it to be related to a variant of Alternating-time Temporal Logic (ATL) with imperfect information by a full Hennessy-Milner theorem. The variant of ATL we ...

Model transformations are key elements of model-driven engineering, where they are used to automate the manipulation of models. However, they are typed with respect to concrete source and target meta-models, making their reuse for other (even similar) ...

Enterprises are progressively embedded in business to business atmospheres, in order to achieve their common business objectives. Such collaborations lead to Inter-Organizational Business Processes. Therefore, IOBP modeling involves new challenges, ...

Business process modelling is an essential activity for competitive enterprises, as it enables documenting, analysing, improving and automating their core processes. Several notations have been proposed, including BPMN, service blueprints or Process ...

Cloning is a convenient mechanism to enable reuse across and within software artifacts. On the downside, it is also a practice related to severe long-term maintainability impediments, thus generating a need to identify clones in affected artifacts. A ...

Analysing and reasoning on model transformations has become very relevant for various applications such as ensuring the correctness of transformations. ATL is a model transformation language with rich semantics and a focus on usability, making its ...

Most companies, independently of their sizes and activities types, do not provide sufficient adaptability and evolution of their workflow needed to deal with changes in business agreements and organisation methods. In this paper, we treat the adaptability ...

In Model-Driven Software Development, models are automatically processed to support the creation, build, and execution of systems. A large variety of dedicated model-transformation languages exists, promising to efficiently realize the automated ...

Model transformation (MT) of very large models (VLMs), with millions of elements, is a challenging cornerstone for applying Model-Driven Engineering (MDE) technology in industry. Recent research efforts that tackle this problem have been directed at ...

The Atlas Transformation Language (ATL) is currently one of the most used model transformation languages and has become a de facto standard in model-driven engineering for implementing model transformations. At the same time, it is understood by the ...

Model transformations are central components of most model-based software projects. While ensuring their correctness is vital to guarantee the quality of the solution, current transformation tools provide limited support to statically detect and fix ...