Integrating the analysis of multiple non-functional properties in model-driven engineering
This paper discusses the progress made so far and future challenges in integrating the analysis of multiple Non-Functional Properties (NFP) (such as performance, schedulability, reliability, availability, scalability, security, safety, and ...
Evaluation of a machine learning classifier for metamodels
Modeling is a ubiquitous activity in the process of software development. In recent years, such an activity has reached a high degree of intricacy, guided by the heterogeneity of the components, data sources, and tasks. The democratized use of ...
Unified verification and monitoring of executable UML specifications: A transformation-free approach
The increasing complexity of embedded systems renders software verification more complex, requiring monitoring and formal techniques, like model-checking. However, to use such techniques, system engineers usually need formal expertise to express ...
Automatic generation of atomic multiplicity-preserving search operators for search-based model engineering
Recently, there has been increased interest in combining model-driven engineering and search-based software engineering. Such approaches use meta-heuristic search guided by search operators (model mutators and sometimes breeders) implemented as ...
Runtime translation of OCL-like statements on Simulink models: Expanding domains and optimising queries
- Beatriz A. Sanchez,
- Athanasios Zolotas,
- Horacio Hoyos Rodriguez,
- Dimitris Kolovos,
- Richard F. Paige,
- Justin C. Cooper,
- Jason Hampson
Open-source model management frameworks such as OCL and ATL tend to focus on manipulating models built atop the Eclipse Modelling Framework (EMF), a de facto standard for domain specific modelling. MATLAB Simulink is a widely used proprietary ...
Applying MDD in the content management system domain: Scenarios, tooling, and a mixed-method empirical assessment
Content management systems (CMSs) such as Joomla and WordPress dominate today’s web. Enabled by standardized extensions, administrators can build powerful web applications for diverse customer demands. However, developing CMS extensions requires ...
Model-based resource analysis and synthesis of service-oriented automotive software architectures
Automotive software architectures describe distributed functionality by an interaction of software components. One drawback of today’s architectures is their strong integration into the onboard communication network based on predefined ...
Testing cockpit display systems of aircraft using a model-based approach
Avionics are highly critical systems that require extensive testing to comply with international safety standards. Cockpit display systems (CDS) are a mandatory part of modern cockpits of both manned and unmanned aircraft. The information from ...
Model-driven engineering city spaces via bidirectional model transformations
Engineering cyber-physical systems inhabiting contemporary urban spatial environments demands software engineering facilities to support design and operation. Tools and approaches in civil engineering and architectural informatics produce ...
Guided architecture trade space exploration: fusing model-based engineering and design by shopping
Advances in model-based system engineering have greatly increased the predictive power of models and the analyses that can be run on them. At the same time, designs have become more modular and component-based. It can be difficult to manually ...
Bootstrapping MDE development from ROS manual code: Part 2—Model generation and leveraging models at runtime
Model-driven engineering (MDE) addresses central aspects of robotics software development. MDE could enable domain experts to leverage the expressiveness of models, while implementation details on different hardware platforms would be handled by ...
Modeling data protection and privacy: application and experience with GDPR
In Europe and indeed worldwide, the General Data Protection Regulation (GDPR) provides protection to individuals regarding their personal data in the face of new technological developments. GDPR is widely viewed as the benchmark for data ...
CMMN evaluation: the modelers’ perceptions of the main notation elements
- Ioannis Routis,
- Cleopatra Bardaki,
- Georgia Dede,
- Mara Nikolaidou,
- Thomas Kamalakis,
- Dimosthenis Anagnostopoulos
Case Management Model and Notation (CMMN) has been introduced as a graphical modeling language targeting the modeling of human-centric processes. Despite its growing reputation since 2016, when the OMG standant was released, the usage and the ...
Characteristics, potentials, and limitations of open-source Simulink projects for empirical research
Simulink is an example of a successful application of the paradigm of model-based development into industrial practice. Numerous companies create and maintain Simulink projects for modeling software-intensive embedded systems, aiming at early ...
Unleashing textual descriptions of business processes
Textual descriptions of processes are ubiquitous in organizations, so that documentation of the important processes can be accessible to anyone involved. Unfortunately, the value of this rich data source is hampered by the challenge of analyzing ...
Conceptualization, measurement, and application of semantic transparency in visual notations: A systematic literature review
Numerous visual notations are present in technical and business domains. Notations have to be cognitively effective to ease the planning, documentation, and communication of the domains’ concepts. Semantic transparency (ST) is one of the ...