| 1. |
- Bucchiarone, Antonio, et al.
(författare)
-
CAStlE : A Tool for Collective Adaptive Systems Engineering
- 2017
-
Ingår i: Poster FAS*W. - 9781509065585 ; , s. 385-386
-
Konferensbidrag (refereegranskat)abstract
- In this paper we propose CAStlE, a MDE approach to enhance Collective Adaptive System (CAS) specification. In particular, we introduce a domain-specific language (DSL) made-up of three main views: one devoted to adaptive systems design; one addressing ensembles definition; and one tackling the collective adaptation. These three separate aspects are woven seamlessly by the DSL to constitute a complete CAS design. Moreover, each of the defined views conveys the creation of a corresponding model editor, which allows for the three aspects of a CAS to be independently designed by CAStlE.
|
|
| 2. |
- Bucchiarone, Antonio, et al.
(författare)
-
Gamifying model-based engineering : The PapyGame tool
- 2023
-
Ingår i: Science of Computer Programming. - : Elsevier. - 0167-6423 .- 1872-7964. ; 230
-
Tidskriftsartikel (refereegranskat)abstract
- Modeling is an essential and challenging activity in any engineering environment, and it requires some hard-to-train skills such as abstraction and communication. This makes it difficult for educators to teach or train their students, co-workers, or users. The audience of this paper is both educators and learners who struggle with modeling. To address this challenge, we present PapyGame, a gamified version of a robust modeling environment (Papyrus) that aims to improve the learner's motivation, make the learning process an enjoyable experience, and boost learning outcomes. Gamification is the exploitation of gaming mechanisms for serious purposes, such as promoting behavioral changes, soliciting participation and engagement in activities, and more. The paper presents PapyGame's functionalities, architectures, illustrative scenarios, and its potential impact on both educators and learners.
|
|
| 3. |
|
|
| 4. |
|
|
| 5. |
- Addazi, Lorenzo, et al.
(författare)
-
Systematic Evaluation of Model Comparison Algorithms using Model Generation
- 2020
-
Ingår i: Journal of Object Technology. - : JOURNAL OBJECT TECHNOLOGY. - 1660-1769. ; 19:2
-
Tidskriftsartikel (refereegranskat)abstract
- Model-Driven Engineering promotes the migration from code-centric to model-based software development. Systems consist of model collections integrating different concerns and perspectives, while semi-automated model transformations analyse quality attributes and generate executable code combining the information from these. Raising the abstraction level to models requires appropriate management technologies supporting the various software development activities. Among these, model comparison represents one of the most challenging tasks and plays an essential role in various modelling activities. Its hardness led researchers to propose a multitude of approaches adopting different approximation strategies and exploiting specific knowledge of the involved models. In this respect, almost no support is provided for the systematic evaluation of comparison approaches against specific scenarios and modelling practices, namely benchmarks. In this article we propose Benji, a framework for the automated generation of model comparison benchmarks. In particular, by giving a set of difference patterns and an initial model, users can generate model manipulation scenarios resulting from the application of the patterns on the model. The generation support provided by the framework obeys specific design principles that are considered as essential properties for the systematic evaluation of model comparison solutions, and are inherited from the general principles coming from evidence-based software engineering. The framework is validated through representative scenarios of model comparison benchmark generations.
|
|
| 6. |
- Addazi, Lorenzo, et al.
(författare)
-
Using Benji to systematically evaluate model comparison algorithms
- 2020
-
Ingår i: Proceedings - 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2020 - Companion Proceedings. - New York, NY, USA : Association for Computing Machinery, Inc. - 9781450381352 ; , s. 56-60
-
Konferensbidrag (refereegranskat)abstract
- Model comparison is a critical task in model-driven engineering. Its correctness enables an effective management of model evolution, synchronisation, and even other tasks, such as model transformation testing. The literature is rich as concerns comparison algorithms approaches, however the same cannot be said for their systematic evaluation. In this paper we present Benji, a tool for the generation of model comparison benchmarks. In particular, Benji provides domain-specific languages to design experiments in terms of input models and possible manipulations, and based on those generates corresponding benchmark cases. In this way, the experiment specification can be exploited as a systematic way to evaluate available comparison algorithms against the problem under study.
|
|
| 7. |
- Alkhabbas, Fahed, et al.
(författare)
-
ROUTE : A Framework for Customizable Smart Mobility Planners
- 2022
-
Ingår i: Proc. - IEEE Int. Conf. Softw. Archit., ICSA. - : Institute of Electrical and Electronics Engineers Inc.. - 9781665417280 - 9781665417297 ; , s. 169-180
-
Konferensbidrag (refereegranskat)abstract
- Multimodal journey planners are used worldwide to support travelers in planning and executing their journeys. Generated travel plans usually involve local mobility service providers, consider some travelers' preferences, and provide travelers information about the routes' current status and expected delays. However, those planners cannot fully consider the special situations of individual cities when providing travel planning services. Specifically, authorities of different cities might define customizable regulations or constraints of movements in the cities (e.g., due to construction works or pandemics). Moreover, with the transformation of traditional cities into smart cities, travel planners could leverage advanced monitoring features. Finally, most planners do not consider relevant information impacting travel plans, for instance, information that might be provided by travelers (e.g., a crowded square) or by mobility service providers (e.g., changing the timetable of a bus). To address the aforementioned shortcomings, in this paper, we propose ROUTE, a framework for customizable smart mobility planners that better serve the needs of travelers, local authorities, and mobility service providers in the dynamic ecosystem of smart cities. ROUTE is composed of an architecture, a process, and a prototype developed to validate the feasibility of the framework. Experiments' results show that the framework scales well in both centralized and distributed deployment settings.
|
|
| 8. |
- Amaral, Vasco, et al.
(författare)
-
A Multiparadigm Approach to Integrate Gestures and Sound in the Modeling Framework
- 2013
-
Ingår i: CEUR Workshop Proceedings, Vol. 112. ; , s. 57-66
-
Konferensbidrag (refereegranskat)abstract
- One of the essential means of supporting Human-MachineInteraction is a (software) language, exploited to input commands andreceive corresponding outputs in a well-dened manner. In the past,language creation and customization used to be accessible to softwaredevelopers only. But today, as software applications gain more ubiquity,these features tend to be more accessible to application users themselves.However, current language development techniques are still based on tra-ditional concepts of human-machine interaction, i.e. manipulating textand/or diagrams by means of more or less sophisticated keypads (e.g.mouse and keyboard).In this paper we propose to enhance the typical approach for dealing withlanguage intensive applications by widening available human-machine in-teractions to multiple modalities, including sounds, gestures, and theircombination. In particular, we adopt a Multi-Paradigm Modelling ap-proach in which the forms of interaction can be specied by means ofappropriate modelling techniques. The aim is to provide a more advancedhuman-machine interaction support for language intensive applications.
|
|
| 9. |
- Axelsson, Jakob, et al.
(författare)
-
Towards the architecture of a decision support ecosystem for system component selection
- 2017
-
Ingår i: 11th Annual IEEE International Systems Conference, SysCon 2017 - Proceedings. - 9781509046225 - 9781509046232
-
Konferensbidrag (refereegranskat)abstract
- When developing complex software-intensive systems, it is nowadays common practice to base the solution partly on existing software components. Selecting which components to use becomes a critical decision in development, but it is currently not well supported through methods and tools. This paper discusses how a decision support system for this problem could benefit from a software ecosystem approach, where participants share knowledge across organizations both through reuse of analysis models, and through partially disclosed past decision cases. We show how the ecosystem architecture becomes fundamental to deal with efficient knowledge sharing, while respecting constraints on integrity of intellectual property. A concrete architecture proposal is outlined, which is a web-based distributed system-of-systems. Experiences of a proof-of-concept implementation are also described.
|
|
| 10. |
- Badampudi, Deepika, 1984-, et al.
(författare)
-
A decision-making process-line for selection of software asset origins and components
- 2018
-
Ingår i: Journal of Systems and Software. - : Elsevier Inc.. - 0164-1212 .- 1873-1228. ; 135, s. 88-104
-
Tidskriftsartikel (refereegranskat)abstract
- Selecting sourcing options for software assets and components is an important process that helps companies to gain and keep their competitive advantage. The sourcing options include: in-house, COTS, open source and outsourcing. The objective of this paper is to further refine, extend and validate a solution presented in our previous work. The refinement includes a set of decision-making activities, which are described in the form of a process-line that can be used by decision-makers to build their specific decision-making process. We conducted five case studies in three companies to validate the coverage of the set of decision-making activities. The solution in our previous work was validated in two cases in the first two companies. In the validation, it was observed that no activity in the proposed set was perceived to be missing, although not all activities were conducted and the activities that were conducted were not executed in a specific order. Therefore, the refinement of the solution into a process-line approach increases the flexibility and hence it is better in capturing the differences in the decision-making processes observed in the case studies. The applicability of the process-line was then validated in three case studies in a third company. © 2017 Elsevier Inc.
|
|
