mdh.sePublications
Change search
Refine search result
12 1 - 50 of 81
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Rows per page
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sort
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
Select
The maximal number of hits you can export is 250. When you want to export more records please use the 'Create feeds' function.
  • 1.
    Addazi, Lorenzo
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. IS (Embedded Systems).
    Di Rocco, Juri
    University of L’Aquila, Italy.
    Di Ruscio, Davide
    University of L’Aquila, Italy.
    Iovino, Ludovico
    University of L’Aquila, Italy.
    Pierantonio, Alfonso
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. University of L’Aquila, Italy.
    Semantic-based Model Matching with EMFCompare2016In: CEUR Workshop Proceedings (CEUR-WS.org), Saint Malo, France: CEUR-WS , 2016, Vol. 1706, p. 40-49Conference paper (Refereed)
  • 2.
    Amaral, Vasco
    et al.
    Universidade Nova de Lisboa, Portugal.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Deshayes, Romuald
    Université de Mons-Hainaut, Belgium .
    A Multiparadigm Approach to Integrate Gestures and Sound in the Modeling Framework2013In: CEUR Workshop Proceedings, Vol. 112, 2013, p. 57-66Conference paper (Refereed)
    Abstract [en]

    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.

  • 3.
    Axelsson, Jakob
    et al.
    Swedish Institute of Computer Science, SICS, Sweden.
    Franke, Ulrik
    Swedish Institute of Computer Science, SICS, Sweden.
    Carlson, Jan
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Sentilles, Séverine
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Towards the Architecture of a Decision Support Ecosystem for System Component Selection2017In: 11th Annual IEEE International Systems conference SysCon17, 2017, p. 371-377Conference paper (Refereed)
    Abstract [en]

    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. It is shown how the architecture of this ecosystem becomes fundamental to deal with efficient knowledge sharing, while respecting constraints on integrity of intellectual property. A concrete proposal for an architecture is outlined, which is a distributed system-of-systems using web technologies. Experiences of a proof-of-concept implementation are also described.

  • 4.
    Badampudi, D.
    et al.
    Blekinge Institute of Technology, Karlskrona, Sweden.
    Wnuk, K.
    Blekinge Institute of Technology, Karlskrona, Sweden.
    Wohlin, C.
    Blekinge Institute of Technology, Karlskrona, Sweden.
    Franke, U.
    Blekinge Institute of Technology, Karlskrona, Sweden.
    Smite, D.
    Blekinge Institute of Technology, Karlskrona, Sweden.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    A decision-making process-line for selection of software asset origins and components2018In: Journal of Systems and Software, ISSN 0164-1212, E-ISSN 1873-1228, Vol. 135, p. 88-104Article in journal (Refereed)
    Abstract [en]

    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. 

  • 5.
    Bucaioni, Alessio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Arcticus Systems AB, Järfälla, Sweden.
    Addazi, Lorenzo
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Eramo, Romina
    University of L’Aquila, L’Aquila, Italy..
    Mubeen, Saad
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Arcticus Systems AB, Järfälla, Sweden.
    Nolin, Mikael
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    MoVES: a Model-driven methodology for Vehicular Embedded Systems2018In: IEEE Access, E-ISSN 2169-3536, p. 6424-6445Article in journal (Refereed)
    Abstract [en]

    This paper introduces a novel model-driven methodology for the software development of real-time distributed vehicular embedded systems on single- and multi-core platforms. The proposed methodology discloses the opportunity of improving the cost-efficiency of the development process by providing automated support to identify viable design solutions with respect to selected non-functional requirements. To this end, it leverages the interplay of modelling languages for the vehicular domain whose integration is achieved by a suite of model transformations. An instantiation of the methodology is discussed for timing requirements, which are among the most critical ones for vehicular systems. To support the design of temporally correct systems, a cooperation between EAST-ADL and the Rubus Component Model is opportunely built-up by means of model transformations, enabling timing-aware design and model-based timing analysis of the system. The applicability of the methodology is demonstrated as proof of concepts on industrial use cases performed in cooperation with our industrial partners.

  • 6.
    Bucaioni, Alessio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Addazi, Lorenzo
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Eramo, Romina
    University of LAquila, Italy.
    Mubeen, Saad
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Sjödin, Mikael
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    A Model-based Approach for Vehicular Systems2017Report (Other academic)
    Abstract [en]

    This paper introduces a novel model-based approach for the software development of vehicular embedded systems. The proposed approach discloses the opportunity of improving efficiency of the development process by providing support to identify viable design solutions with respect to selected non functional requirements. To this end, it leverages the interplay of two modelling languages for the vehicular domain whose integration is achieved by a suite of model transformations. An instantiation of the methodology is discussed for timing requirements, which are among the most critical ones for the development of vehicular systems. The applicability of the methodology is demonstrated as proof of concepts on industrial use cases performed in cooperation with our industrial partners.

  • 7.
    Bucaioni, Alessio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Arcticus Systems AB, Järfälla, Sweden.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. 0000-0002-0401-1036.
    Eramo, Romina
    University of L'Aquila, Italy.
    Mubeen, Saad
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Sjödin, Mikael
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Anticipating Implementation-Level Timing Analysis for Driving Design-Level Decisions in EAST-ADL2015In: CEUR Workshop Proceedings, Vol. 1487, 2015, p. 63-72Conference paper (Refereed)
    Abstract [en]

    The adoption of model-driven engineering in the automotive domain resulted in the standardization of a layered architectural description language, namely EAST-ADL, which provides means for enforcing abstraction and separation of concerns, but no support for automation among its abstraction levels. This support is particularly helpful when manual transitions among levels are tedious and error-prone. This is the case of design and implementation levels. Certain fundamental analyses (e.g., timing), which have a significant impact on design decisions, give precise results only if performed on implementation level models, which are currently created manually by the developer. Dealing with complex systems, this task becomes soon overwhelming leading to the creation of a subset of models based on the developers experience; relevant implementation level models may therefore be missed. In this work, we describe means for automation between EAST-ADL design and implementation levels to anticipate end-to-end delay analysis at design level for driving design decisions.

  • 8.
    Bucaioni, Alessio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Kodali, M.
    Westermo, Västerås, Sweden.
    Sjödin, Mikael
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Alignment of Requirements and Testing in Agile: An Industrial Experience2018In: Advances in Intelligent Systems and Computing, ISSN 2194-5357, E-ISSN 2194-5365, Vol. 738, p. 225-232Article in journal (Refereed)
    Abstract [en]

    Agile development aims at switching the focus from processes to interactions between stakeholders, from heavy to minimalistic documentation, from contract negotiation and detailed plans to customer collaboration and prompt reaction to changes. With these premises, requirements traceability may appear to be an overly exigent activity, with little or no return-of-investment. However, since testing remains crucial even when going agile, the developers need to identify at a glance what to test and how to test it. That is why, even though requirements traceability has historically faced a firm resistance from the agile community, it can provide several benefits when promoting precise alignment of requirements with testing. This paper reports on our experience in promoting traceability of requirements and testing in the data communications for mission-critical systems in an industrial Scrum project. We define a semi-automated requirements tracing mechanism which coordinates four traceability techniques. We evaluate the solution by applying it to an industrial project aiming at enhancing the existing Virtual Router Redundancy Protocol by adding Simple Network Management Protocol support. 

  • 9.
    Bucaioni, Alessio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Mubeen, Saad
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Pierantonio, Alfonso
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Sjödin, Mikael
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Towards Design-Space Exploration of Component Chains in Vehicle Software2016In: 42nd Euromicro Conference series on Software Engineering and Advanced Applications, Work In Progress (WiP) SEAA 2016 WiP, 2016Conference paper (Refereed)
    Abstract [en]

    The size, complexity and heterogeneity of vehicular software systems has been constantly increasing. As a result, there is a growing consensus on the need to leverage modelbased techniques for automating, thus taming, error-proneness of tedious engineering tasks. Our methodology employs a one-tomany model transformation for generating a set of implementation models from a single design model. Then, it evaluates the appropriateness of each generated model by means of modelbased timing analysis. In this ongoing work, we discuss an enhancement of our methodology where model-based timing analysis is extended for running on a single model with uncertainty.

  • 10.
    Bucaioni, Alessio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Arcticus Syst, Järfälla, Sweden.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Mubeen, Saad
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Sjödin, Mikael
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Pierantonio, Alfonso
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Univ Aquila, DISIM, Laquila, Italy.
    Handling Uncertainty in Automatically Generated Implementation Models in the Automotive Domain2016In: 42nd Euromicro Conference series on Software Engineering and Advanced Applications SEAA 2016, 2016, p. 173-180Conference paper (Refereed)
    Abstract [en]

    Models and model transformations, the two core constituents of Model-Driven Engineering, aid in software development by automating, thus taming, error-proneness of tedious engineering activities. In most cases, the result of these automated activities is an overwhelming amount of information. This is the case of one-to-many model transformations that, e.g. in designspace exploration, can potentially generate a massive amount of candidate models (i.e., solution space) from one single model. In our scenario, from one design model we generate a set of possible implementation models on which timing analysis is run. The aim is to find the best model from a timing perspective. However, multiple implementation models can have equally good analysis results. Therefore, the engineer is expected to investigate the solution space for making a final decision, using criteria which fall outside the analysis’ criteria themselves. Since candidate models can be many and very similar to each other, manually finding differences and commonalities is an impractical and errorprone task. In order to provide the engineer with an expressive representation of models’ commonalities and differences, we propose the use of modelling with uncertainty. We achieve this by elevating the solution space to a first-class status, adopting a compact notation capable of representing the solution space by means of a single model with uncertainty. Commonalities and differences are thus represented by means of uncertainty points for the engineer to easily grasp them and consistently make her decision without manually inspecting each model individually.

  • 11.
    Bucaioni, Alessio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Sjödin, Mikael
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Towards a metamodel for the Rubus Component Model2014In: CEUR Workshop Proceedings, vol 1281, 2014, p. 46-56Conference paper (Refereed)
    Abstract [en]

    Component-Based Software Engineering has been recognized as an effective practice for dealing with the increasing complexity of the software for vehicular embedded systems. Despite the advantages it has introduced in terms of reasoning, design and reusability, the software development for vehicular embedded systems is still hampered by constel- lations of different processes, file formats and tools, which often require manual ad hoc translations. By exploiting the crossplay of Component- Based Software Engineering and Model-Driven Engineering, we take ini- tial steps towards the definition of a seamless chain for the structural, functional and execution modeling of software for vehicular embedded systems. To this end, one of the entry requirements is the metamodels definition of all the technologies used along the software development. In this work, we define a metamodel for an industrial component model, Rubus Component Model, used for the software development of vehicular real-time embedded systems by several international companies. We focus on the definition of metamodeling elements representing the software architecture.

  • 12.
    Bucaioni, Alessio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Arcticus Systems AB, Jarfalla, Sweden.
    Mubeen, Saad
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Arcticus Systems AB, Jarfalla, Sweden.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Sjödin, Mikael
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Exploring Timing Model Extractions at EAST-ADL Design-level Using Model Transformations2015In: Proceedings - 12th International Conference on Information Technology: New Generations, ITNG 2015, 2015, Vol. Article number 7113538, p. 596-600Conference paper (Refereed)
    Abstract [en]

    We discuss the problem of extracting control and data flows from vehicular distributed embedded systems at higher abstraction levels during their development. Unambiguous extraction of control and data flows is vital part of the end-to-end timing model which is used as input by the end-to end timinganalysis engines. The goal is to support end-to-end timing analysis at higher abstraction levels. In order to address the problem, we propose a two-phase methodology that exploits the principles of ModelDriven Engineering and Component Based Software Engineering. Using this methodology, the software architecture at a higher level is automatically transformed to all legal implementation-level models. The end-to-end timing analysis is performed on each generated implementation-level model and the analysis results are fed back to the design-level model. This activity supports design space exploration, modelrefinement and/or remodeling at higher abstraction levels for tuning the timing behavior of the system.

  • 13.
    Bucaioni, Alessio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Arcticus Systems AB.
    Mubeen, Saad
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Sjödin, Mikael
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    A Metamodel for the Rubus Component Model: Extensions for Timing and Model Transformation from EAST-ADL2017In: IEEE Access, E-ISSN 2169-3536, ISSN 2169-3536, p. 9005-9020Article in journal (Other academic)
    Abstract [en]

    According to the Model-Driven Engineering paradigm, one of the entry requirements when realising a seamless tool chain for the development of software is the definition of metamodels, to regulate the specification of models, and model transformations, for automating manipulations of models. In this context, we present a metamodel definition for the Rubus Component Model, an industrial solution used for the development of vehicular embedded systems. The metamodel includes the definition of structural elements as well as elements for describing timing information. In order to show how, using Model-Driven Engineering, the integration between different modelling levels can be automated, we present a model-to-model transformation between models conforming to EAST-ADL and models described by means of the Rubus Component Model. To validate our solution, we exploit a set of industrial automotive applications to show the applicability of both the Rubus Component Model metamodel and the model transformation.

  • 14.
    Bucaioni, Alessio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Arcticus Systems AB, Järfälla, Sweden.
    Mubeen, Saad
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Sjödin, Mikael
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Comparative Evaluation of Timing Model Extraction Methodologies at EAST-ADL Design Level2015In: Proceedings - 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security and 2015 IEEE 12th International Conference on Embedded Software and Systems, HPCC-CSS-ICESS 2015, 2015, p. 1110-1115Conference paper (Refereed)
    Abstract [en]

    There are various methodologies that support the extraction of timing models from EAST-ADL design-level models during the development of vehicular embedded software systems. These timing models are used to predict timing behavior of the systems by performing end-to-end timing analysis. This paper presents, for the first time, a comparative evaluation of three methodologies. We present an evaluation framework that consists of several evaluation features. Using the framework, we compare and evaluate the methodologies against each feature. Eventually, the evaluation results can be used as guidelines for the selection of the most suitable methodology with respect to the end-to-end timing behavior of a given vehicular embedded application.

  • 15.
    Bucaioni, Alessio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Arcticus Systems AB, Järfälla, Sweden.
    Mubeen, Saad
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Arcticus Systems AB, Järfälla, Sweden.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Sjödin, Mikael
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Technology-preserving transition from single-core to multi-core in modelling vehicular systems2017In: Lecture Notes in Computer Science, vol. 10376, Springer Verlag , 2017, p. 285-299Chapter in book (Refereed)
    Abstract [en]

    The vehicular industry has exploited model-based engineering for design, analysis, and development of single-core vehicular systems. Next generation of autonomous vehicles will require higher computational power, which can only be provided by parallel computing platforms such as multi-core electronic control units. Current model-based software development solutions and related modelling languages, originally conceived for single-core, cannot effectively deal with multi-core specific challenges, such as core-interdependency and allocation of software to hardware. In this paper, we propose an extension to the Rubus Component Model, central to the Rubus model-based approach, for the modelling, analysis, and development of vehicular systems on multi-core. Our goal is to provide a lightweight transition of a model-based software development approach from single-core to multi-core, without disrupting the current technological assets in the vehicular domain.

  • 16.
    Bucchiarone, A.
    et al.
    Fondazione Bruno Kessler, Trento, Italy.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Sanctis, M. D.
    Fondazione Bruno Kessler, Trento, Italy.
    Towards a domain specific language for engineering collective adaptive systems2017In: Proceedings - 2017 IEEE 2nd International Workshops on Foundations and Applications of Self* Systems, FAS*W 2017, Institute of Electrical and Electronics Engineers Inc. , 2017, p. 19-26Conference paper (Refereed)
    Abstract [en]

    Heterogeneous agents that cooperate to accomplish collective tasks constitute Collective Adaptive Systems (CAS). Engineering a CAS not only involves the definition of the individual agents, but also their roles in achieving a collective task and adaptation strategies to counteract to environmental changes. Current solutions for specifying CAS typically tackle the problem at a low level of abstraction (e.g., writing XML files), making this task time-consuming and error-prone. Moreover, such a low level of abstraction hinders the understandability of the specification. Model-Driven Engineering (MDE) proposes to reduce the complexity of development by adopting models as first class artifacts in the process. In this respect, this work proposes a MDE approach to enhance 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. While the different views allow us to exploit separation-of-concerns to reduce complexity and focus on a specific aspect of the system, facing CAS specification at a higher-level of abstraction permits to use concepts closer to the experts of the involved domains. Moreover, the precise definition of modeling concepts through corresponding meta-models enables correctness-by-construction of the system specification. 

  • 17.
    Bucchiarone, Antonio
    et al.
    Fondazione Bruno Kessler, Trento, Italy.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    De Sanctis, Martina
    Fondazione Bruno Kessler, Trento, Italy.
    CAStlE: A Tool for Collective Adaptive Systems Engineering2017In: Poster FAS*W, 2017, p. 385-386Conference paper (Refereed)
    Abstract [en]

    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.

  • 18.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Emergent Model-Driven Engineering Ecosystems by means of Patterns2016In: CEUR Workshop Proceedings, 2016, Vol. 1657, p. 35-40Conference paper (Refereed)
    Abstract [en]

    In Model-Driven Engineering (MDE) design of modelling languages and model transformations is still an expert’s task. Domain experts, i.e. the stakeholders of languages and transformations, would like to independently define and use their own MDE ecosystem, but can only support those activities. In this position paper we discuss this problem from a more general perspective, arguing for the need of emergent MDE, that is modelling languages and transformations shall be inferred from the usage it is done of modelling concepts. Moreover, the paper outlines a possible research agenda with corresponding challenges towards the goal of emergent MDE ecosystems.

  • 19.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Towards a deep metamodelling based formalization of component models2015In: CEUR Workshop Proceedings, 2015, Vol. 1463, p. 12-17Conference paper (Refereed)
    Abstract [en]

    Component-based software engineering (CBSE) is based on the fundamental concepts of components and bindings, i.e. units of decomposition and their interconnections. By adopting CBSE, a system is built-up by means of a set of re-usable parts. This entails that system’s functionalities are appropriately identified so that implementing components can be accordingly selected. In turn, this means that each component-based design is at least made-up of two different instantiation levels, i) one for designing the system in terms of components and their interconnections, ii) and one for linking possible implementation alternatives for each of the existing components. In general, this twofold instantiation is managed at the same metamodelling level through the use of relationships. Despite such solutions are expressive enough to model a component-based system, they cannot represent the instantiation relationship between, e.g., a component and its implementations. As a consequence, validity checks have to be hard-coded in a tool, while the interconnection between component and implementation have to be managed by the user. In this paper we propose to exploit deep metamodelling techniques for implementing CBSE mechanisms. We revisit CBSE main concepts through this new vision by showing their counter- parts in a deep metamodelling based environment. Interestingly, multiple instantiation levels enhance the expressive power of CBSE approaches, thus enabling a more precise system design.

  • 20.
    Cicchetti, Antonio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Borg, M.
    SICS Swedish Institute of Computer Science, Kista.
    Sentilles, Séverine
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Wnuk, K.
    Blekinge Institute of Technology, Karlskrona, Sweden.
    Carlson, Jan
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Papatheocharous, Efi
    Mälardalen University.
    Towards Software Assets Origin Selection Supported by a Knowledge Repository2016In: Proceedings - 2016 1st International Workshop on Decision Making in Software ARCHitecture, MARCH 2016, 2016, p. 22-29Conference paper (Refereed)
    Abstract [en]

    Software architecture is no more a mere system specification as resulting from the design phase, but it includes the process by which its specification was carried out. In this respect, design decisions in component-based software engineering play an important role: They are used to enhance the quality of the system, keep the current market level, keep partnership relationships, reduce costs, and so forth. For non trivial systems, a recurring situation is the selection of an asset origin, that is if going for in-house, outsourcing, open-source, or COTS, when in the need of a certain missing functionality. Usually, the decision making process follows a case-by-case approach, in which historical information is largely neglected: hence, it is avoided the overhead of keeping detailed documentation about past decisions, but it is hampered consistency among multiple, possibly related, decisions.The ORION project aims at developing a decision support framework in which historical decision information plays a pivotal role: it is used to analyse current decision scenarios, take well-founded decisions, and store the collected data for future exploitation. In this paper, we outline the potentials of such a knowledge repository, including the information it is intended to be stored in it, and when and how to retrieve it within a decision case. 

  • 21.
    Cicchetti, Antonio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Towards a Novel Model Versioning Approach based on the Separation between Linguistic and Ontological Aspects2013In: ME 2013 – Models and Evolution Workshop Proceedings, CEUR-WS , 2013, p. 60-69Conference paper (Refereed)
    Abstract [en]

    With the increasing adoption of Model-Driven Engineering (MDE) the support of distributed development and hence model versioning has become a necessity. MDE research investigations targeting (meta-)model versioning, conflict management, and model co-evolution have progressively recognized the importance of tackling the problem at higher abstraction level and a number of solving techniques have been proposed. However, in general existing mechanisms hit the wall of semantics, i.e. when not only syntax is involved in the manipulations the chances for providing precision and automation are remarkably reduced. In this paper we illustrate a novel version management proposal that leverages on the separation between linguistic and ontological aspects involved in a (meta-)modelling activity. In particular, we revisit the main versioning tasks in terms of the mentioned separation. The aim is to maximize the amount of versioning problems that can be automatically addressed while leaving the ones intertwined with domain-specific semantics to be solved separately, possibly by means of semi-automatic techniques and additional precision.

  • 22.
    Cicchetti, Antonio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. IS (Embedded Systems).
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. IS (Embedded Systems).
    Carlson, Jan
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. IS (Embedded Systems).
    Software Evolution Management: Industrial Practices2016In: ME 2016 Models and Evolution: Proceedings of the 10th Workshop on Models and Evolution, Saint Malo, France: CEUR-WS , 2016, p. 8-13Conference paper (Refereed)
  • 23.
    Cicchetti, Antonio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering.
    Krekola, Mikael
    Mazzini, Silvia
    Panunzio, Marco
    Puri, Stefano
    Santamaria, Carlo
    Vardanega, Tullio
    Zovi, Alessandro
    CHESS Tool presentation2011Conference paper (Refereed)
  • 24.
    Cicchetti, Antonio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering.
    Leveque, Thomas
    Mälardalen University, School of Innovation, Design and Engineering.
    A hybrid approach for multi-view modeling2011Conference paper (Refereed)
  • 25.
    Cicchetti, Antonio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering.
    Leveque, Thomas
    Orange Labs, Orange, France.
    A Solution for Concurrent Versioning of Metamodels and Models2012In: Journal of Object Technology (JOT), ISSN 1660-1769, Vol. 11, no 3, p. 1-32Article in journal (Refereed)
    Abstract [en]

    Model-Driven Engineering has been widely recognised as a powerful paradigm for shifting the focus of software development from codingto modelling in order to cope with the rising complexity of modern systems. Models become the main artefacts in the development process and therefore undergo evolutions performed in different ways until the final implementation is produced. Moreover, modelling languages are expectedto evolve too and such evolutions have to be taken into account when dealing with model versioning. Since consistency between models and related metamodels is one of the pillars on which model-driven engineering relies, evolution of models and metamodels cannot be considered as independentevents in a model versioning system.This article exploits model comparison and merging mechanisms toprovide a solution to the issues related to model versioning when considering metamodel and model manipulations as concurrent and even misaligned. A scenario-based description of the challenges arising from versioning of models is given and a running example is exploited to demonstrate the proposed solutions.

  • 26.
    Cicchetti, Antonio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering.
    Leveque, Thomas
    Mälardalen University, School of Innovation, Design and Engineering.
    Supporting incremental synchronization in hybrid multi-view modelling2012In: Lecture Notes in Computer Science, vol. 7167, Springer, 2012, p. 89-103Chapter in book (Refereed)
    Abstract [en]

    Multi-view modelling is a widely accepted technique to reduce the complexity in the development of modern software systems. It allows developers to focus on a narrowed portion of the specification dealing with a selected aspect of the problem. However, multi-view modelling support discloses a number of issues mainly due to consistency management, expressiveness, and customization needs. A possible solution to alleviate those problems is to adopt a hybrid solution for multi-view modelling based on an arbitrary number of custom views defined on top of an underlying modelling language. In this way it is possible to benefit from the consistency by-construction granted by well-formed views while at the same time providing malleable perspectives through which the system under development can be specified. In this respect, this paper presents an approach for supporting synchronization mechanism based on model differences in hybrid multi-view modelling. Model differences allow to focus only on the manipulations operated by the user in a particular view, and to propagate them to the other views in a incremental way thus reducing the overhead of a complete recomputation of modified models.

  • 27.
    Cicchetti, Antonio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering.
    Leveque, Thomas
    Mälardalen University, School of Innovation, Design and Engineering.
    Pierantonio, A.
    University of L'Aquila, Italy .
    On the concurrent versioning of metamodels and models: Challenges and possible solutions2011In: ACM International Conference Proceeding Series, 2011, 2011, p. 16-25Conference paper (Refereed)
    Abstract [en]

    Model-Driven Engineering aims at shifting the focus of software development from coding to modelling in order to reduce the complexity of realizing nowadays applications. In this respect, models are expected to evolve due to refinements, improvements, bug fixes, and so forth. Because of the same reasons, also modelling languages (i.e. metamodels) are expected to be changed, even though at a different speed if compared to models. The relevant corpus of research grown up in the latest years and dealing with both these problems considers them as separate events; however, in normal practice not all the models are migrated instantaneously due to a metamodel adaptation, rather the co-adaptation is required when commits are attempted from a local workspace to the model repository, which can demand for different management policies. This paper illustrates the challenges arising in coping with concurrent metamodel and model versioning. In particular, it details a set of desired behaviours among which the user would usually select the appropriate management for the scenario into consideration together with entailed problems. Moreover, the work proposes corresponding solutions and discusses open issues. 

  • 28.
    Cicchetti, Antonio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering.
    Leveque, Thomas
    Mälardalen University, School of Innovation, Design and Engineering.
    Sentilles, Séverine
    Mälardalen University, School of Innovation, Design and Engineering.
    Evolution Management of Extra-Functional Properties in Component-Based Embedded Systems2011In: Proceedings of the 14th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE-2011), New York: ACM Special Interest Group on Computer Science Education, 2011, p. 93-102Conference paper (Refereed)
    Abstract [en]

    As software complexity increases in embedded systems domain, component-based development becomes increasingly attractive. A main challenge in this approach is however to analyze the system's extra-functional properties (such as timing properties, or resource requirements), an important step in a development of embedded systems. Analysis of such properties are computational and time consuming, and often difficult. For this reason reuse of the results of the analysis is as important as the reuse of the component itself, especially in case of modifications of the context in which the component is used. This paper presents concepts and mechanisms that allow to automatically discover whether a property value is still valid when related components evolve: a value context language is proposed to formally define the validity conditions and identify possible threats

  • 29.
    Cicchetti, Antonio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Ciccozzi, Federico
    Mälardalen University, School of Innovation, Design and Engineering.
    Mazzini, Silvia
    Intecs SpA, Pisa, Italy.
    Puri, Stefano
    Intecs SpA, Pisa, Italy.
    Panunzio, Marco
    University of Padova.
    Vardanega, Tullio
    University of Padova.
    Zovi, Alessandro
    University of Padova.
    CHESS: a Model-Driven Engineering Tool Environment for Aiding the Development of Complex Industrial Systems2012In: 27th International Conference on Automated Software Engineering (ASE 2012) Proceedings, 2012, p. 362-365Conference paper (Refereed)
    Abstract [en]

    Modern software systems require advanced design support capable of mastering rising complexity, as well as of automating as many development tasks as possible. Model- Driven Engineering (MDE) is earning consideration as a solid response to those challenges on account of its support for abstraction and domain specialisation. However, MDE adoption often shatters industrial practice because its novelty opposes the need to preserve vast legacy and to not disband the skills matured in pre-MDE or alternative development solutions. This work presents the CHESS tool environment, a novel approach for cross-domain modelling of industrial complex systems. It leverages on UML profiling and separation of concerns realised through the specification of well-defined design views, each of which addresses a particular aspect of the problem. In this way, extra-functional, functional, and deployment descriptions of the system can be given in a focused manner, avoiding issues pertaining to distinct concerns to interfere with one another.

  • 30.
    Cicchetti, Antonio
    et al.
    Università degli Studi dell'Aquila, Italia.
    Di Ruscio, Davide
    Università degli Studi dell'Aquila, Italia.
    Decoupling Web Application Concerns through Weaving Operations2008In: Science of Computer Programming, ISSN 0167-6423, E-ISSN 1872-7964, Vol. 70, no 1, p. 62-86Article in journal (Refereed)
    Abstract [en]

    Today's Web applications require instruments and techniques able to face their complexity which has noticeably increased at the expense of productivity and quality factors. A number of design methodologies have been proposed in the process of trying to provide developers with languages and tools to abstract and capture Web applications under orthogonal views, like data, navigation and presentation. While the different modeling language constructs can be unified in a common metamodel, consistency among the distinct concerns is guaranteed by less formal relations. Usually, they are based on name conventions and/or ad hoc tool support that could affect reuse and maintenance ratings of specifications. In order to define rigorous and explicit correspondences between the artifacts produced during a system development, this paper proposes the exploitation of dedicated weaving models. The approach aims at providing structural mappings that do not interfere with the definition of the views on either side achieving a clear separation between them and their connections. Furthermore, following the "everything is a model" principle, this work can enable the use of general-purpose theories and tools. For example, model transformations can be applied to evaluate the given specifications or to derive alternative descriptions like Webile or WebML.

  • 31.
    Cicchetti, Antonio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Di Ruscio, Davide
    Università degli Studi dell’Aquila.
    Eramo, Romina
    Università degli Studi dell’Aquila.
    Maccarrone, Francesco
    Università degli Studi dell’Aquila.
    Pierantonio, Alfonso
    Università degli Studi dell’Aquila.
    beContent: a model-driven platform for designing and mantainig Web applications2009In: Lecture Notes in Computer Science, Volume 5648, Springer, 2009, p. 518-522Chapter in book (Refereed)
    Abstract [en]

    Model Driven Engineering (MDE) is increasingly gaining acceptance in the development of Web Applications as a mean to leverage abstraction and render business logic resilient to technological changes. This paper describes the beContent project with its modeling languages and tools, which aims at the automated generation of rich Web applications.

  • 32.
    Cicchetti, Antonio
    et al.
    Università degli Studi di L'Aquila, Italy.
    Di Ruscio, Davide
    Università degli Studi di L'Aquila, Italy.
    Eramo, Romina
    Università degli Studi di L'Aquila, Italy.
    Pierantonio, Alfonso
    Università degli Studi di L'Aquila, Italy.
    Automating Co-evolution in Model-Driven Engineering2008In: Proceedings - 12th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2008, IEEE Computer Society , 2008, p. 222-231Conference paper (Refereed)
    Abstract [en]

    Software development is witnessing the increasing need of version management techniques for supporting the evolution of model-based artefacts. In this respect, metamodels can be considered one of the basic concepts of Model-Driven Engineering and are expected to evolve during their life-cycle. As a consequence, models conforming to changed metamodels have to be updated for preserving their well-formedness. This paper deals with the co-adaptation problems by proposing higher-order model transformations which take a difference model recording the metamodel evolution and produce a model transformation able to co-evolve the involved models.

  • 33.
    Cicchetti, Antonio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Di Ruscio, Davide
    Universit`a degli Studi dell’Aquila, Italy.
    Eramo, Romina
    Universit`a degli Studi dell’Aquila, Italy.
    Pierantonio, Alfonso
    Universit`a degli Studi dell’Aquila, Italy.
    JTL: a bidirectional and change propagating transformation language2010In: Lecture Notes in Computer Science, Vol 6563 / [ed] Malloy, B; Staab, S; VanDenBrand, M, Berlin: Springer, 2010, p. 183-202Chapter in book (Refereed)
    Abstract [en]

     In Model Driven Engineering bidirectional transformations are considered a core ingredient for managing both the consistency and synchronization of two or more related models. However, while non-bijectivity in bidirectional transformations is considered relevant, current languages still lack of a common understanding of its semantic implications hampering their applicability in practice.

    In this paper, the Janus Transformation Language (JTL) is presented, a bidirectional model transformation language specifically designed to support non-bijective transformations and change propagation. In particular, the language propagates changes occurring in a model to one or more related models according to the specified transformation regardless of the transformation direction. Additionally, whenever manual modifications let a model be non reachable anymore by a transformation, the closest model which approximate the ideal source one is inferred. The language semantics is also presented and its expressivity and applicability are validated against a reference benchmark. JTL is embedded in a framework available on the Eclipse platform which aims to facilitate the use of the approach, especially in the definition of model transformations.

  • 34.
    Cicchetti, Antonio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Di Ruscio, Davide
    Eramo, Romina
    Pierantonio, Alfonso
    Logical constraints for managing non-determinism in bidirectional model transformations2011Conference paper (Refereed)
  • 35.
    Cicchetti, Antonio
    et al.
    University of LAquila.
    Di Ruscio, Davide
    University of LAquila.
    Eramo, Romina
    University of LAquila.
    Pierantonio, Alfonso
    University of LAquila.
    Meta-model Differences for Supporting Model Co-evolution2008Conference paper (Refereed)
  • 36.
    Cicchetti, Antonio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Di Ruscio, Davide
    Computer Science Department, University of L'Aquila.
    Iovino, Ludovico
    Computer Science Department, University of L'Aquila.
    Pierantonio, Alfonso
    Computer Science Department, University of L'Aquila.
    Managing the evolution of data-intensive Web applications by model-driven techniques2013In: Software and Systems Modeling, ISSN 1619-1366, E-ISSN 1619-1374, Vol. 12, no 1, p. 53-83Article in journal (Refereed)
    Abstract [en]

    The adoption of Model-Driven Engineering (MDE) in the development of Web Applications permitted to decouple the functional description of applications from the underlying implementation platform. This is of paramount relevance for preserving the intellectual property encoded in models and making applications, languages and processes resilient to technological changes. This paper proposes a model-driven approach for supporting the migration and evolution of data-intensive Web applications. In particular, model differencing techniques are considered to realize a migration facility capable of detecting the modifications a model underwent during its lifecycle and to automatically derive from them the programs that are capable of migrating/adapting also those aspects which are not directly derivable from the source models, as for instance the data persistently stored in a database and the page layout usually written using graphic templates. The approach is validated by considering applications described with the beContent and WebML modeling languages

  • 37.
    Cicchetti, Antonio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Di Ruscio, Davide
    Kolovos, Dimitrios S.
    Pierantonio, Alfonso
    A Test-Driven Approach for Metamodel Development2011In: Emerging Technologies for the Evolution and Maintenance of Software Models / [ed] Rech, J & Bunse, C, Business science reference , 2011, p. 319-342Chapter in book (Other academic)
  • 38.
    Cicchetti, Antonio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Di Ruscio, Davide
    Università degli Studi dell’Aquila.
    Pierantonio, Alfonso
    Università degli Studi dell’Aquila.
    Managing dependent changes in coupled evolution2009In: THEORY AND PRACTICE OF MODEL TRANSFORMATIONS, Springer, 2009, p. 35-51Chapter in book (Refereed)
    Abstract [en]

    In Model-Driven Engineering models and metamodels are not preserved from the evolutionary pressure which inevitably affects almost any artefacts. Moreover, the coupling between models and metamodels implies that when a metamodel undergoes a modification, the conforming models require to be accordingly co-adapted. One of the main obstacles to the complete automation of the adaptation process is represented by the dependencies which occur among the different kinds of modifications. The paper illustrates a dependency analysis, classifies such dependencies, and proposes a metamodeling language driven resolution which is independent from the evolving metamodel and its underlying semantics. The resolution enables a decomposition and consequent scheduling of the adaptation steps allowing the full automation of the process.

  • 39.
    Cicchetti, Antonio
    et al.
    Università degli Studi dell'Aquila, Italy .
    Di Ruscio, Davide
    Università degli Studi dell'Aquila, Italy .
    Pierantonio, Alfonso
    Università degli Studi dell'Aquila, Italy .
    Managing model conflicts in distributed development2008In: Lecture Notes in Computer Science, vol. 5301, Springer-Verlag Berlin , 2008, p. 311-325Chapter in book (Refereed)
    Abstract [en]

    The growing complexity of current software systems naturally conveyed their development toward incremental and distributed approaches to speed up the process. Several developers update the same artefact operating concurrent manipulations which need to be coherently combined. The interaction among those changes inevitably involves conflicts which must be detected and reconciled. This paper proposes a domain specific language able to define and manage conflicts caused by cooperative updates over the same model elements. The approach relies on a model-based representation of model differences and enables the specification and the detection of both syntactical and semantic conflicts.

  • 40.
    Cicchetti, Antonio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Di Ruscio, Davide
    Università degli Studi dell'Aquila, Italy.
    Pierantonio, Alfonso
    Università degli Studi dell'Aquila, Italy.
    Model Patches in Model-Driven Engineering2009In: Lecture Notes in Computer Science, vol. 6002, Springer, 2009, p. 190-204Chapter in book (Refereed)
    Abstract [en]

    Increasingly, recording the various kinds of design-level structural evolution that a system undergoes throughout its entire life-cycle is gaining relevance in software modeling and development. In this respect, an interesting and useful operation between subsequent system versions is model difference consisting in calculation, representation, and visualization. This work shows how to generalize the application of differences, represented as first-class artefacts, in order to abstract from persistent identifiers and enable more flexibility. Then, modifications can be applied as model patches to arbitrary models according to weaving specifications

  • 41.
    Cicchetti, Antonio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Mayers, Bart
    University of Antwerp.
    Wimmer, Manuel
    Vienna University of Technology.
    Abstract and Concrete Syntax Migration of Instance Models2010In: Proceedings of the Transformation Tool Contest (TTC) 2010, 2010Conference paper (Refereed)
    Abstract [en]

    In this paper, we present a solution for the TTC 2010 modelmigration case study. Firstly, we present a modular approach to migratethe instance models' abstract syntax. Secondly, the problem ofco-evolution of diagrammatical information such as icon positions andbend points of edges is identied and a solution specic to this casestudy is presented. Our solution implemented using ATL and Java.

  • 42.
    Cicchetti, Antonio
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Muccini, Henry
    Universit`a degli Studi dell’Aquila.
    Pelliccione, Patrizio
    Universit`a degli Studi dell’Aquila.
    Pierantonio, Alfonso
    Universit`a degli Studi dell’Aquila.
    Towards a Framework for Distributed and Collaborative Modeling2009In: 2009 18TH IEEE INTERNATIONAL WORKSHOP ON ENABLING TECHNOLOGIES: INFRASTRUCTURES FOR COLLABORATIVE ENTERPRISES, 2009, p. 149-154Conference paper (Refereed)
    Abstract [en]

     Increasingly, models are becoming first class core assets, and model-driven engineering requires novel techniques, tools, and practices to face the globalization of software development in the (always more) pervasive IT world. This paper proposes a framework for synchronous and asynchronous concurrent and collaborative modeling. Synchronous collaborative modeling offers services for sharing the modeling space, models, documentation, and configuration, while asynchronous collaborative modeling offers services for supporting merging of models modified and edited separately by different software engineers. Our approach is based on the observation that it is in general more convenient to store differences between subsequent versions of a system than the whole models of each stage. 

  • 43.
    Ciccozzi, Federico
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering.
    Towards Migration-Aware Filtering in Model Differences Application2012In: Proceedings of the 6th International Workshop on Models and Evolution, ME 2012, 2012, p. 45-50Conference paper (Other academic)
    Abstract [en]

    The management of consistency among modelling artefacts is of crucial importance in model-driven engineering. Especially in distributed development, refinements of both metamodels and models are usually performed in a concurrent and misaligned manner, thus breaking consistency among model versions. Inconsistency situations become harmful when propagating changes from a local workspace to the shared repository or vice versa. The changes propagation can be achieved through model differences detection and application, exploiting filtering mechanisms when migration is not permitted. Nevertheless, loss of information due to metamodel evolutions may occur when filtering differences between models conforming to different versions of the modelling language. In this work we propose to minimise this loss of information by enhancing the filtering mechanism to take into account metamodel evolution information.

  • 44.
    Ciccozzi, Federico
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering.
    Krekola, Mikael
    Mälardalen University, School of Innovation, Design and Engineering.
    Sjödin, Mikael
    Mälardalen University, School of Innovation, Design and Engineering.
    Generation of Correct-by-Construction Code from Design Models for Embedded Systems2011In: 6th IEEE International Symposium on Industrial Embedded Systems (SIES'11), IEEE , 2011, p. 63-66Conference paper (Refereed)
    Abstract [en]

    In a model-driven engineering development process that focuses on guaranteeing that extra-functional concerns modeled at design level are preserved at platform execution level, the task of automated code generation must produce artifacts that enable back-annotation activities. In fact when the target platform code has been generated, quality attributes of the system are evaluated by appropriate code execution monitoring/analysis tools and their results back-annotated to the source models to be extensively evaluated. Only at this point the preservation of analysed extra-functional aspects can be either asserted or achieved by re-applying the code generation chain to the source models properly optimized according to the evaluation results. In this work we provide a solution for the problem of automatically generating target platform code from source models focusing on producing code artifacts that facilitate analysis and enable back-annotation activities. Arisen challenges and solutions are described together with completed and planned implementation of the proposed approach.

  • 45.
    Ciccozzi, Federico
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering.
    Seceleanu, Tiberiu
    Mälardalen University, School of Innovation, Design and Engineering.
    Åkerberg, Johan
    Mälardalen University, School of Innovation, Design and Engineering.
    Delsing, Jerker
    Mälardalen University, School of Innovation, Design and Engineering.
    Carlsson, Lars Eric
    Mälardalen University, School of Innovation, Design and Engineering.
    Integrating Wireless Systems into Process Industry and Business Management2010In: ETFA10 - IEEE International Conference on Emerging Technology and Factory Automation, Bilbao, Spain, 2010Conference paper (Refereed)
    Abstract [en]

    We analyze here the topic of integration, in the area of process automation, from sensor/actuator levels to plant management levels. The communication at fieldbus level is based on wireless technology while management applications run in wired control systems, but can also be distributed, communicating via the Internet. This work aims at building a real-life demonstrator at Boliden, a mining and smelting plant located in Boliden, Sweden.. A small process control environment is to be deployed at the plant to supervise a tank level control system. Targeted results are an interface between wireless and wired systems, the deployment of a wireless process control environment at Boliden, and the development of the enterprise business management facilities.

  • 46.
    Ciccozzi, Federico
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering.
    Siljamäki, Toni
    Ericsson AB.
    Kavadiya, Jenis
    Tata Consultancy Services, Hyderabad,.
    Automating Test Cases Generation: From xtUML System Models to QML Test Models2010In: Proceedings - 7th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2010, Antwerp, Belgium, 2010, p. 9-16Conference paper (Refereed)
    Abstract [en]

    The scope of Model-Driven Engineering is not limited to Model-Based Development (MBD), i.e. the generation of code from system models, but involves also Model-Based Testing (MBT), which is the automatic generation of efficient test procedures from corresponding test models. Both MBD and MBT include activities such as model creation, model checking, and use of model compilers for the generation of system/test code. By reusing these common activities, the efficiency of MBT can be significantly improved for those organizations which have already adopted MBD, since one of the major efforts in MBT is the creation of test models. In this work, we propose to exploit modeling activity efforts by deriving test models from system models. In this respect, we present a case study in which the Executable and Translatable UML system models are used for automatically generating test models in the QTronic Modeling Language using horizontal model transformations. In turn, the derived artefacts can be used to produce test cases which result to be appropriate for the system under development.

  • 47.
    Ciccozzi, Federico
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Sjödin, Mikael
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Exploiting UML Semantic Variation Points to Generate Explicit Component Interconnections in Complex Systems2013In: ITNG '13 Proceedings of the 2013 10th International Conference on Information Technology: New Generations, 2013, p. 225-232Conference paper (Refereed)
    Abstract [en]

    Modern modelling languages provide dedicated features to support the detailed design of complex systems from different domains. Nevertheless, especially general-purpose languages provide extensive syntactical expressiveness that, in some cases, may be hard to align with well-defined semantics. This is often inevitable due to the fact that, in order for model-driven approaches to be fruitful, modelling activities should require a lower effort than code-based approaches. In the case of UML and component-based design, precise syntactical definition of the number of component and port instances building up the system is provided. How component instances are explicitly connected to each other via ports is left as a semantic variation point in order for the modeller to freely interpret the related metamodel semantics. On the one hand, in order to allow model analysability, simulation and generation of target code, ad-hoc choices regarding this semantics need to be taken. On the other hand, leaving the burden of this task to the developers is often unthinkable for complex industrial systems (composed by a number of components and connections in the magnitude of 10^4 and above). Therefore we propose a set of semantic rules for the establishment of explicit links between component instances and provide a solution for the automatic generation of these links by applying the defined rules.

  • 48.
    Ciccozzi, Federico
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering.
    Sjödin, Mikael
    Mälardalen University, School of Innovation, Design and Engineering.
    Full Code Generation from UML Models for Complex Embedded Systems2012In: Second International Software Technology Exchange Workshop (STEW) 2012, 2012Conference paper (Refereed)
    Abstract [en]

    The complexity of modern software systems is ever increasing thus demanding new powerful development mechanisms. In the research work summarised in this paper we aim at providing a model-driven engineering approach centred on the generation of 100% of the implementation from source models defined using a UML profile enriched with Action Language for Foundational UML. The focus is on the development of industrial embedded systems. The final aim is to increase productivity by automating development tasks through the exploitation of model-driven and component-based techniques as well as to tackle the error-proneness typical of code-based approaches.

  • 49.
    Ciccozzi, Federico
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Sjödin, Mikael
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    On the Generation of Full-fledged Code from UML Profiles and ALF for Complex Systems2015In: Proceedings - 12th International Conference on Information Technology: New Generations, ITNG 2015, 2015, p. 81-88Conference paper (Refereed)
    Abstract [en]

    Modern software systems are becoming more and more complex thus demanding for new powerful development mechanisms. Model-driven engineering has been recognised as a promising paradigm for the development of complex systems especially for its capability of abstracting the problem through models and then manipulating them to reach the implementation. In this work we provide a solution for the problem of automatically generating target code from models expressed in CHESS-ML, a UML profile that leverages the Action Language for Foundational UML. The goal is to produce code that does not require any manual intervention after its automatic generation to be executed on the target platform. Focus is on the generation of complex systems targeting both single and multi process deployment configurations as well as different execution platforms.

  • 50.
    Ciccozzi, Federico
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Cicchetti, Antonio
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Sjödin, Mikael
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Round-Trip Support for Extra-functional Property Management in Model-Driven Engineering of Embedded Systems2013In: Information and Software Technology, ISSN 0950-5849, E-ISSN 1873-6025, Vol. 55, no 6, p. 1085-1100Article in journal (Refereed)
    Abstract [en]

    Context: In order for model-driven engineering to succeed, automated code generation from models through model transformations has to guarantee that extra-functional properties modelled at design level are preserved at code level. Objective: The goal of this research work is to provide a full round-trip engineering approach in order to evaluate quality attributes of the embedded system by code execution monitoring as well as code static analysis and then provide back-propagation of the resulting values to modelling level. In this way, properties that can only be roughly estimated statically are evaluated against observed values and this consequently allows to refine the design models for ensuring preservation of analysed extra-functional properties at code level. Method: Following the model-driven engineering vision, (meta-)models and transformations are used as main artefacts for the realisation of the round-trip support which is finally validated against an industrial case-study. Result: This article presents an approach to support the whole round-trip process starting from the generation of source code for a target platform, passing through the monitoring of selected system quality attributes at code level, and finishing with the back-propagation of observed values to modelling level. The technique is validated against an industrial case-study in the telecommunications applicative domain. Conclusion: Preservation of extra-functional properties through appropriate description, computation and evaluation allows to reduce final product verification and validation effort and costs by providing correctness-by-construction of the generated code. The proposed round-trip support aids a model-driven component-based development process in ensuring a desired level of extra-functional properties preservation from the source modelling artefacts to the generated code.

12 1 - 50 of 81
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf