| 1. |
- Addazi, Lorenzo, et al.
(författare)
-
Executable modelling for highly parallel accelerators
- 2019
-
Ingår i: Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019. - : Institute of Electrical and Electronics Engineers Inc.. - 9781728151250 ; , s. 318-321
-
Konferensbidrag (refereegranskat)abstract
- High-performance embedded computing is developing rapidly since applications in most domains require a large and increasing amount of computing power. On the hardware side, this requirement is met by the introduction of heterogeneous systems, with highly parallel accelerators that are designed to take care of the computation-heavy parts of an application. There is today a plethora of accelerator architectures, including GPUs, many-cores, FPGAs, and domain-specific architectures such as AI accelerators. They all have their own programming models, which are typically complex, low-level, and involve explicit parallelism. This yields error-prone software that puts the functional safety at risk, unacceptable for safety-critical embedded applications. In this position paper we argue that high-level executable modelling languages tailored for parallel computing can help in the software design for high performance embedded applications. In particular, we consider the data-parallel model to be a suitable candidate, since it allows very abstract parallel algorithm specifications free from race conditions. Moreover, we promote the Action Language for fUML (and thereby fUML) as suitable host language.
|
|
| 2. |
- Bilic, Damir, et al.
(författare)
-
An integrated model-based tool chain for managing variability in complex system design
- 2019
-
Ingår i: Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019. - : Institute of Electrical and Electronics Engineers Inc.. - 9781728151250 ; , s. 288-293
-
Konferensbidrag (refereegranskat)abstract
- Software-intensive systems in the automotive domain are often built in different variants, notably in order to support different market segments and legislation regions. Model-based concepts are frequently applied to manage complexity in such variable systems. However, the considered approaches are often focused on single-product development. In order to support variable products in a model-based systems engineering environment, we describe a tool-supported approach that allows us to annotate SysML models with variability data. Such variability information is exchanged between the system modeling tool and variability management tools through the Variability Exchange Language. The contribution of the paper includes the introduction of the model-based product line engineering tool chain and its application on a practical case study at Volvo Construction Equipment. Initial results suggest an improved efficiency in developing such a variable system.
|
|
| 3. |
- Bucchiarone, A., et al.
(författare)
-
GDF : A gamification design framework powered by model-driven engineering
- 2019
-
Ingår i: Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019. - : Institute of Electrical and Electronics Engineers Inc.. - 9781728151250 ; , s. 753-758
-
Konferensbidrag (refereegranskat)abstract
- Gamification refers to the exploitation of gaming mechanisms for serious purposes, like promoting behavioural changes, soliciting participation and engagement in activities, and so forth. In this demo paper we present the Gamification Design Framework (GDF), a tool for designing gamified applications through model-driven engineering mechanisms. In particular, the framework is based on a set of well-defined modelling layers that start from the definition of the main gamification elements, followed by the specification on how those elements are composed to design games, and then progressively refined to reach concrete game implementation and execution. The layers are interconnected through specialization/generalization relationships such that to realize a multi-level modelling approach. The approach is implemented by means of JetBrains MPS, a language workbench based on projectional editing, and has been validated through two gameful systems in the Education and Mobility domains. A prototype implementation of GDF and related artefacts are available at the demo GitHub repository: https://github.com/antbucc/GDF.git, while an illustrative demo of the framework features and their exploitation for the case studies are shown in the following video: https://youtu.be/wxCe6CTeHXk.
|
|
| 4. |
- Ciccozzi, Federico, 1983-, et al.
(författare)
-
Blended modelling - What, why and how
- 2019
-
Ingår i: Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019. - : Institute of Electrical and Electronics Engineers Inc.. - 9781728151250 ; , s. 425-430
-
Konferensbidrag (refereegranskat)abstract
- Empirical studies indicate that user experience can significantly be improved in model-driven engineering. Blended modelling aims at mitigating this by enabling users to interact with a single model through different notations. Blended modelling contributes to various modelling qualities, including comprehensibility, analysability, and acceptability. In this paper, we define the notion of blended modelling and propose a set of dimensions that characterise blended modelling. The dimensions are grouped in two classes: user-oriented dimensions and realisation-oriented dimensions. Each dimension describes a facet that is relevant to blended modelling together with its domain (i.e., the range of values for that dimension). The dimensions offer a basic vocabulary to support tool developers with making well-informed design decisions as well as users to select appropriate tools and configure them according to the needs at hand. We illustrate how the dimensions apply to different cases relying on our experience with blended modelling. We discuss the impact of blended modelling on usability and user experience and sketch metrics to measure it. Finally, we outline a number of core research directions in this increasingly important modelling area.
|
|
| 5. |
- Franceschini, R., et al.
(författare)
-
Challenges for automation in adaptive abstraction
- 2019
-
Ingår i: Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019. - : Institute of Electrical and Electronics Engineers Inc.. - 9781728151250 ; , s. 443-448
-
Konferensbidrag (refereegranskat)abstract
- Models are well-defined abstractions that provide cost-effective representations of the real-world for a precise purpose. When dealing with complex problems, there usually exist multiple abstractions, typically describing partially overlapping details of the system under study, and resulting in a hierarchy of abstractions. Adaptive abstraction leverages these levels with the aim of dynamically adapting the abstractions used during system execution. In this paper, we describe such process in terms of a MAPE-K (Monitor-Analyze-Plan-Execute over a shared Knowledge) control loop to discuss the challenges towards adaptive abstraction automation. In particular, we elaborate on adaptively selecting a candidate over multiple abstractions, an unaddressed issue in the literature. The discussion is supported by a running example in an agent-based simulation scenario.
|
|
| 6. |
- Jeusfeld, Manfred A.
(författare)
-
DeepTelos for ConceptBase : A contribution to the MULTI process challenge
- 2019
-
Ingår i: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). - : IEEE. - 9781728151250 - 9781728151267 ; , s. 66-77
-
Konferensbidrag (refereegranskat)abstract
- DeepTelos is a straightforward extension of the Telosmodeling language to allow some form of multi-level modeling. A variant of Telos has been implemented in the ConceptBase system on top of a Datalog engine. Telos defines the concepts of instantiation, specialization and attribution/relations by means of axioms. In addition, the user can define new constructs by deductive rules, integrity constraints, and so-called query classes. In this paper, we tackle the process challenge formulated for the MULTI 2019 workshop to see to which extent DeepTelos is ableto represent the requirements of this challenge.
|
|
| 7. |
- Jeusfeld, Manfred
(författare)
-
DeepTelos Demonstration
- 2019
-
Ingår i: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). - : IEEE. - 9781728151250 - 9781728151267 ; , s. 98-102
-
Konferensbidrag (refereegranskat)abstract
- DeepTelos is defined as a set of rules and constraints that enable multi-level modeling for the Telos metamodeling language. In its ConceptBase implementation, rules and constraints are realized by Datalog clauses. We start with demonstrating first the core functions of Telos, use of simple rules and constraints,then the meta-level rules and constraints defining DeepTelos. A couple of examples show how the DeepTelos rules and constraints are compiled to simple rules and constraints and then realize the desired multi-level modeling environment. The main example is taken from the Galileo satellite domain.
|
|
| 8. |
- Jolak, Rodi, et al.
(författare)
-
Position Paper: Knowledge Sharing and Distances in Collaborative Modeling
- 2019
-
Ingår i: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). - : IEEE. - 9781728151250
-
Konferensbidrag (refereegranskat)abstract
- To develop systems effectively, a shared system understanding is required. Collaborative modeling is one way to capture this shared understanding. Increasingly, in large systems engineering projects different distances lead to social barriers between stakeholders. These barriers affect the quantity and quality of knowledge that is shared between stakeholders, thus reducing the quality of the resulting product. While it has been proposed to limit modeling activities to co-located teams, this might not always be possible or feasible. We argue that, despite the technological advances in collaborative modeling, effective collaboration can only be achieved if we understand how to account for social barriers. We propose to study, in depth, how these barriers affect modeling, and how their effects can be reduced. By understanding the effects of social barriers and accounting for them, we can maximize the benefits of collaborative modeling.
|
|
| 9. |
- Jongeling, Robbert
(författare)
-
How to Live with Inconsistencies in Industrial Model-Based Development Practice
- 2019
-
Ingår i: Doctoral Symposium at ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems. DS@MODELS. - 9781728151250 ; , s. 642-647
-
Konferensbidrag (refereegranskat)abstract
- Modern development of complex embedded systems utilizes models to describe multiple different views on the same system. Consistency between these models is essential to successful development but ensuring it is in current practice often a manual effort. In this research project, we aim to develop a methodology that helps developers to maintain consistency in industrial model-based development projects by identifying inconsistencies throughout the development and maintenance of the system. For such support to be applicable in industrial practice, it should fit in with current development, i.e., should be able to identify inconsistencies between models expressed in different modeling languages and created in different modeling tools. Furthermore, the required user interaction to defining consistency checks should be minimal. This paper sketches an approach meeting these requirements, initial results towards it and discusses future research plans towards a doctoral dissertation.
|
|
