ON THE CHALLENGE OF A SEMI-AUTOMATIC TRANSFORMATION PROCESS IN MODEL DRIVEN ENTERPRISE INFORMATION SYSTEMS

Recently, Model Driven Engineering (MDE) approaches have been proposed for supporting the development, maintenance and evolution of software systems. Model driven architecture (MDA) from OMG (Object Management Group), “Software Factories” from Microsoft and the Eclipse Modelling Framework (EMF) from IBM are among the most representative MDE approaches. Nowadays, it is well recognized that model transformations are at the heart of these approaches and represent as a consequence one of the most important operations in MDE. However, despite the multitude of model transformation languages proposals emerging from university and industry, these transformations are often created manually. In this paper we present in the first part our previous works towards automation of the transformation process in the context of MDA. It consists on an extended architecture which introduces mapping and matching as first class entities in the transformation process, represented by models and metamodels. Our architecture is enforced by a methodology which details the different steps leading to a semi-automatic transformation process. In the second part, we propose the illustration of the architecture and methodology to the main case of transforming a PIM into PSM

Towards an Automation of the Mutation Analysis Dedicated to Model Transformation

International audienceA major benefit of Model Driven Engineering (MDE) relies on the automatic generation of artefacts from high-level models through intermediary levels using model transformations. In such a process, the input must be well-designed and the model transformations should be trustworthy. Due to the specificities of models and transformations, classical software test techniques have to be adapted. Among these techniques, mutation analysis has been ported and a set of mutation operators has been defined. However, mutation analysis currently requires a considerable manual work and suffers from the test data set improvement activity. This activity is seen by testers as a difficult and time-consuming job, and reduces the benefits of the mutation analysis. This paper addresses the test data set improvement activity. Model transformation traceability in conjunction with a model of mutation operators, and a dedicated algorithm allow to automatically or semi-automatically produce test models that detect new faults. The proposed approach is validated and illustrated in a case study written in Kermeta

Active learning based laboratory towards engineering education 4.0

Universities have a relevant and essential key role to ensure knowledge and development of competencies in the current fourth industrial revolution called Industry 4.0. The Industry 4.0 promotes a set of digital technologies to allow the convergence between the information technology and the operation technology towards smarter factories. Under such new framework, multiple initiatives are being carried out worldwide as response of such evolution, particularly, from the engineering education point of view. In this regard, this paper introduces the initiative that is being carried out at the Technical University of Catalonia, Spain, called Industry 4.0 Technologies Laboratory, I4Tech Lab. The I4Tech laboratory represents a technological environment for the academic, research and industrial promotion of related technologies. First, in this work, some of the main aspects considered in the definition of the so called engineering education 4.0 are discussed. Next, the proposed laboratory architecture, objectives as well as considered technologies are explained. Finally, the basis of the proposed academic method supported by an active learning approach is presented.Postprint (published version

Towards two-stage service representation and reasoning: from lightweight annotations to comprehensive semantics

Semantics are used to mark up a wide variety of data-centric Web resources but are not used to annotate online functionality in significant numbers. That is despite considerable research dedicated to Semantic Web Services (SWS). This has led to the emergence of a new Linked Services approach with simplified and less costly to produce service models, which targets a wider audience and allows even non-SWS developers to annotate services. However, such models merely aim at enabling semantic search by humans or automated service clustering rather than automation of service tasks such as discovery or orchestration. Thus, more expressive solutions are still required to achieve automated discovery and orchestration of services. In this paper, we describe our investigation into combining the strengths of two distinct approaches to modeling semantic Web services – 'lightweight' Linked Services and 'heavyweight' SWS automation - into a coherent SWS framework. In our vision, such integration is achieved by means of model cross-referencing and model transformation and augmentation

The Value of IS in Business Model Innovation for Sustainable Mobility Services - The Case of Carsharing

Result-oriented services that provide mobility on demand seem to be a promising means of meeting both societal trends and environmental sustainability targets. In this paper, we investigate the contribution of Information Systems (IS) to drive this substantial business model change towards sustainable mobility from a cus-tomer\u27s perspective. While doing so, we focus on the specific case of carsharing - a result-oriented mobility service that has been known for decades, which is re-cently receiving more attention due to environmental concerns. Employing a choice-based conjoint analysis (n = 221), we explore and evaluate the role of IS for the perceived attractiveness of carsharing. With our investigation, we show how IS, by their three functions of information, automation and transformation, may improve this sustainable form of individual mobility and thus contribute to the shift towards sustainable mobility

Controlling Concurrent Change - A Multiview Approach Toward Updatable Vehicle Automation Systems

The development of SAE Level 3+ vehicles [{SAE}, 2014] poses new challenges not only for the functional development, but also for design and development processes. Such systems consist of a growing number of interconnected functional, as well as hardware and software components, making safety design increasingly difficult. In order to cope with emergent behavior at the vehicle level, thorough systems engineering becomes a key requirement, which enables traceability between different design viewpoints. Ensuring traceability is a key factor towards an efficient validation and verification of such systems. Formal models can in turn assist in keeping track of how the different viewpoints relate to each other and how the interplay of components affects the overall system behavior. Based on experience from the project Controlling Concurrent Change, this paper presents an approach towards model-based integration and verification of a cause effect chain for a component-based vehicle automation system. It reasons on a cross-layer model of the resulting system, which covers necessary aspects of a design in individual architectural views, e.g. safety and timing. In the synthesis stage of integration, our approach is capable of inserting enforcement mechanisms into the design to ensure adherence to the model. We present a use case description for an environment perception system, starting with a functional architecture, which is the basis for componentization of the cause effect chain. By tying the vehicle architecture to the cross-layer integration model, we are able to map the reasoning done during verification to vehicle behavior