Modelling languages are heavily used in many disciplines, including software engineering. However, current languages are rigid, since they do not get adapted to fit the users’ expertise, the modelling task, or the usage platform. This may turn some ...

Domain-specific Languages (DSLs) assist in building complex software systems across various domains by creating models that are interpreted or transformed into executable code. Language developers face a tedious and error-prone process when transforming ...

Architects in organizations are often tasked with aligning technical solutions with the business strategy. However, as this involves various organizational departments using different tools, technologies, or modeling languages, this requires continuous ...

Cyber-biophysical systems are complex systems coupling a cyber-physical system to a biological entity. Such systems require the collaboration of multiple domain experts for their operation, which relies more on tacit knowledge than known optimal actions. ...

The paper describes elements of an original approach that uses the principles of model-driven development and transformation to create prototypes of virtual assistants. Models of all levels of abstraction (concretization) are presented, with ...

For the safety assessment of autonomous driving systems (ADS), simulation testing has become an important complementary technique to physical road testing. In essence, simulation testing is a scenario-driven approach, whose effectiveness is highly ...

The development of complex technological systems in healthcare often faces challenging information integration problems that do not always have a complete solution. This paper proposes using model-driven software engineering concepts to address ...

Efficient construction and management of variability is becoming increasingly crucial and poses a growing obstacle for model-based system engineering (MBSE). In this paper, we propose a transformative method that addresses these challenges by automating ...

Enterprise information systems focus on dealing with the complex business logic of collecting, filtering, processing, and distributing data to improve productivity and service in our daily lives. The successful development of enterprise information ...

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 ...

Service compositions are widely used to construct complex applications. Due to the frequent changes of environment and requirements, service compositions need to be adaptable enough. In this work, we propose a feature-driven variability-enabled adaptive ...

As the next step in the development of intelligent computing systems is the addition of human expertise and knowledge, it is a priority to build strong computable and well-documented knowledge bases. Ontologies partially respond to this challenge by ...

Model Animation (MA) is a practical technique for providing modellers and Model Transformation designers an insurance that their models behave as expected. This is specially relevant in expertise domains where models have a natural visual representation,...

Modern-day software systems operate within complex, uncertain, and highly dynamic environments. Managing such systems is a significant challenge; developing self-managing autonomic systems is one way to reduce development and maintenance efforts. In the ...

Software engineering undergraduate students spend a significant time learning various topics related to software design, including notably model-driven engineering (MDE), where different types of structural and behavioral models are used to design, ...

Modern vehicles are extremely complex embedded systems that integrate software and hardware from a large set of contributors. Modeling standards like EAST-ADL have shown promising results to reduce complexity and expedite system development. However, ...

Model transformation has become an established field, and it is important to improve the quality of specifications written in transformation languages. Different transformation patterns have been introduced in the model‐driven engineering (MDE) ...

In this paper a general metamodel for definition of different design patterns in model transformation is provided. The metamodel presents clear description of common aspects of transformation patterns, which facilitates the application of patterns on ...

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 ...

In order to solve the problems of description and verification of semantic properties in model driven development, process algebra is introduced on the basis of extending typed category theory. A unified semantic description framework is established for ...

This paper addresses the trajectory tracking control problem for an underactuated surface vessel (USV) with full state constraints. In order to solve the inconvenience caused by the USV underactuated structure to the system controller design, the ...