Les collaborations inter-organisationnelles relèvent généralement de circonstances opportunistes et s’avèrent par conséquent éphémères. Les organisations doivent alors être disposées à s’intégrer dans ce type de collaboration tout en gardant leur identité propre. Ce constat est le point de départ du projet MISE (Mediation Information System Engineering), qui aborde cette notion de collaboration d’organisations selon l’angle du système d’information, en proposant une démarche de conception d’un SIM (système d’information de médiation). Ce SIM constitue un système tiers, médiateur des SI des diverses organisations, destiné à prendre en charge, d’une part la coordination des actions des partenaires (orchestration de la dynamique collective) et d’autre part, de gérer la circulation de l’information au sein de la collaboration (acheminement et traduction des données). La conception du SIM repose sur une démarche d’ingénierie dirigée par les modèles (IDM). Par ailleurs, la notion de crise, reposant par définition sur la sollicitation d’acteurs hétérogènes concernés par une collaboration opportuniste (qui plus est dans le cadre d’un phénomène évolutif d’une durée indéterminée), fait du domaine de la gestion de crise un parfait cas d’étude pour le projet MISE. Ces travaux de thèse, liés au projet ANR-CSOSG ISyCri, présentent cette démarche de conception du SIM appliqué au domaine de la gestion de crise. Le manuscrit parcourt la démarche MISE appliquée au domaine de la gestion de crise depuis la définition conceptuelle jusqu’à la réalisation technique selon les trois étapes de cette démarche IDM : (i) au niveau « métier » : l’utilisation d’une base de connaissance, représentée par une ontologie, permet, à partir des caractéristiques de la situation de crise et du savoir-faire des partenaires de la collaboration, de définir le processus collaboratif représentatif de la succession des activités à exécuter dans le cadre de la réponse à la crise. (ii) au niveau « logique » : une transformation de modèle permet de construire, à partir du modèle de processus collaboratif obtenu au niveau « métier », une architecture logique du SIM (orientée service, selon les préceptes SOA). (iii) au niveau « technique » : une deuxième transformation de modèles permet de générer les éléments nécessaires à la configuration du SIM, notamment le fichier BPEL. L’agilité du SIM ainsi déployé constitue une exigence incontournable. Les travaux présentés dans ce manuscrit proposent donc d’intégrer ces différentes étapes de conception du SIM sous la forme de composants logiciels indépendants, sollicités à loisir au sein d’une architecture orientée service. Cette solution apporte une grande flexibilité structurelle à la démarche, en autorisant la reconfiguration partielle du SIM à partir du niveau adapté à la situation. / Organizations should be able to take part into opportunistic and brief collaborative networks. However, they should also control their identity. The MISE project (Mediation Information System Engineering) aims at dealing with that issue from the information system point of view. The main principle is to design a specific third part mediation information system (MIS) in charge of, first, orchestrating the collaborative workflow of the collaborative network and, second, managing information (carrying and translating data). Designing such a MIS is based on a model-driven engineering approach (MDE). Considering crisis management field, it is obvious that such a domain requires opportunistic collaboration of heterogeneous partners involved in the crisis response (furthermore, crisis management is a very dynamic process where agility is a crucial point). Directly linked to the French funded ISyCri project, this PhD research work presents the overall approach for MIS design in a crisis management context.That MDE approach is based on three steps: (i) “Business” level: a collaborative process model is deduced from a knowledge base represented through an ontology. (ii) “Logical” level: an abstract service-oriented architecture of MIS is built, based on a model transformation from the previously obtained collaborative process model. (iii) “Technical” level: all the required deployment files are generated (including BPEL file), based on another model transformation, from the logical architecture. Besides, agility is a strong requirement for such a MIS. Therefore, these three steps are integrated, as independent software components, in a service-oriented architecture of a MIS-design tool. This solution brings structural flexibility to the overall approach by allowing partial redesign of the MIS (at theexpected step)

Problemformulering: Hur påverkas organisationer vid digitala transformationer?  Syfte: Uppsatsens primära syfte är att redogöra för hur en digital transformation har påverkat organisationers affärsmodeller samt påverkat verksamheters användande av strategier. Vi ämnar även att undersöka varför organisationer genomgick en digital transformation och vad som önskades att uppnås med förändringen.  Metod: En kvalitativ datainsamling med en deduktiv ansats. Det empiriska materialet samlades in via strukturerade intervjuer på respondenternas arbetsplatser.  Slutsats: Studien påvisar att organisationerna efter en digital transformation har kunnat skapa ett högre värde genom kostnadsminimering och effektivisering genom användning av mindre medel. Studien visar även att organisationsförändringen förändrar en verksamhet från grunden eftersom nya strukturer och system tillämpas samt delvis påverkar affärsmodeller. Det är därför av vikt att ha en digital strategi, en handlingsplan och mål för förändringsprocessen.

This thesis investigates the performance of business model innovation (BMI) by incumbent power utility and clean-tech start-up firms influenced by the German Energiewende. It emphasises the factors that impact BMI from a managers’ perspective, examines success factors for managers to overcome BMI challenges, and addresses contingencies to perform BMI in a more structured way. The research is driven by the German Energiewende. It has been chosen as Germany is considered one of the world’s leading markets for renewable energies and a transformation of the power sector is currently underway. Therefore, established power utility firms face severe changes, which have the characteristics of a potential disruption to their business model (BM). At the same time, new players are challenging these incumbents with new BMs. The research is underpinned by the extant literature on BMs and BMI. The research approach is based on two case studies; the incumbent power utility and the clean-tech start-up sector. The qualitative study comprises of 24 semi-structured interviews conducted with top tier managers, from 18 firms, responsible for BMI within these firms. Key findings: This study extends our knowledge of BMI in both a start-up and an incumbent environment that is influenced by various contingent events. It portrays barriers to BMI and depicts critical success factors for BMI that point out solutions on how to overcome these barriers. It provides a structured BMI framework for established firms and illustrates future BM archetypes in this sector. It clearly documents the German Energiewende is regarded as a disruptive threat from the perspective of incumbent power utility managers. The theoretical contribution of this thesis is a process framework including all identified drivers and challenges for BMI in both established and start-up firms. Contributions to practice include critical success factors for BMI, recommendations to overcome barriers to BMI and future BM archetypes within the newly evolving Energiewende industry based on sustainable technologies.

Zunehmende Vernetzung und gesteigerte Flexibilität in Planungs- und Produktionsprozessen sind die notwendigen Antworten auf die gesteigerten Anforderungen an die Industrie in Bezug auf Agilität und Einführung von Mehrwertdiensten. Dafür ist eine stärkere Digitalisierung aller Prozesse und Vernetzung mit den Informationshaushalten von Partnern notwendig. Heutige Informationssysteme sind jedoch nicht in der Lage, die Anforderungen eines solchen integrierten, verteilten Informationsraums zu erfüllen. Ein vielversprechender Kandidat ist jedoch Linked Data, das aus dem Bereich des Semantic Web stammt. Aus diesem Ansatz wurde Linked Enterprise Data entwickelt, welches die Werkzeuge und Prozesse so erweitert, dass ein für die Industrie nutzbarer und flexibler Informationsraum entsteht. Kernkonzept dabei ist, dass die Informationen aus den Spezialwerkzeugen auf eine semantische Ebene gehoben, direkt auf Datenebene verknüpft und für Abfragen sicher bereitgestellt werden. Dazu kommt die Erfüllung industrieller Anforderungen durch die Bereitstellung des Revisionierungswerkzeugs R43ples, der Integration mit OPC UA über OPCUA2LD, der Anknüpfung an industrielle Systeme (z.B. an COMOS), einer Möglichkeit zur Modelltransformation mit SPARQL sowie feingranularen Informationsabsicherung eines SPARQL-Endpunkts. / Increasing collaboration in production networks and increased flexibility in planning and production processes are responses to the increased demands on industry regarding agility and the introduction of value-added services. A solution is the digitalisation of all processes and a deeper connectivity to the information resources of partners. However, today’s information systems are not able to meet the requirements of such an integrated, distributed information space. A promising candidate is Linked Data, which comes from the Semantic Web area. Based on this approach, Linked Enterprise Data was developed, which expands the existing tools and processes. Thus, an information space can be created that is usable and flexible for the industry. The core idea is to raise information from legacy tools to a semantic level, link them directly on the data level even across organizational boundaries, and make them securely available for queries. This includes the fulfillment of industrial requirements by the provision of the revision tool R43ples, the integration with OPC UA via OPCUA2LD, the connection to industrial systems (for example to COMOS), a possibility for model transformation with SPARQL as well as fine granular information protection of a SPARQL endpoint.

Cette thèse se situe dans le contexte de l’importante mutation stratégique qu’opère l’Industrie européenne face à l’émergence de nouveaux Marchés. Une caractéristique majeure de ces nouveaux Marchés est la grande variabilité des besoins clients. Cette mutation remplace le produit manufacturé, au coeur des stratégies Métier, par ses services d’accompagnement, en réponse aux nouvelles exigences des clients. Ainsi, les processus Métier, initialement pensés,construits et pilotés autour du produit, doivent aujourd’hui être revus et complétés de manière à intégrer les services. C’est cette question que veut traiter la thèse, à travers une proposition d’architecture d’ingénierie des services dirigée par les modèles, supportée par un environnement logiciel appelé SLMToolBox qui permet la semi automatisation d’une partie de la gestion du cycle de vie d’un service (modélisation, simulation et évaluation de performances). Ce travail de recherche était dans le cadre de projet MSEE, un projet européen de recherche et développement en collaboration avec 18 partenaires de 9 pays européen. Le but de ce projet est de faire évoluer le concept de SSME (Service Science Management and Engineering) vers des systèmes de production et des usines du futur, i.e. d'un point de vue méthodologique, pour adapter, modifier et étendre les concepts de SSME pour les rendre applicables à des entreprises traditionnellement orientées vers une production orientée produit et d'un point de vue implantation, d'instancier les architectures et les plateformes orientées vers les services liés au futur internet pour des systèmes globaux de production de services.La thèse à apporter plusieurs résultats (MDSEA, Etended Actigram Star EA*, Transformation de modèle, simulation, et SLMToolBox) pour répondre aux besoins de servitization. / In today’s world of business, manufacturers are facing many challenges. Business strategiesivare changing and manufacturers are entering new markets and striving to meet new andchanging customer needs. Manufacturers are outsourcing more components and services tosuppliers around the world, restructuring their internal operating and information systems, andre-engineering production processes to eliminate waste and lower costs. They are changingthe nature of their organizations by partnering with other companies in complex supply chainsand business networks that now extend globally. Manufacturing is being redefined by changesin market place and how companies react to them. As a result, many manufacturers wanted tomake the shift to services as a solution, but they find themselves trapped in the world ofproducts. At the end of the nineties, the concept of Service in Manufacturing appeared and theevolution from an economy of products towards an economy of services surrounding productsbecame more and more important in manufacturing. The process of creating value by addingservices to a tangible product has first been called “servitization”. Based on the problematic ofServitization and service system engineering and in order to reduce effort and time in servicesystem engineering, this thesis (as being part of the MSEE project) contributed in thedevelopment of solutions. The contribution of the thesis’s result can be classified into relatedand connected pillars. The first pillar is the participation in the development of the ModelDriven Service Engineering Architecture (MDSEA) which permits Virtual ManufacturingEnterprises (VME) to model their service systems (AS-IS and TO-BE models) starting frommodeling the system from business experts angle and then adding more details to reach thedevelopers and technical experts angle. The second pillar is the development of a modelingand simulation tool, the SLMToolBox. This tool is a partial implementation of MDSEA andits name Service Lifecycle Management ToolBox implies a role in the service’s lifecycle. Thethird pillar is the development of a DEVS graphical editor and simulator integrated in theSLMToolBox.

The objective of this dissertation is to introduce a unified framework for modeling and simulating discrete event logistics systems (DELS) by using a formal language, the System Modeling Language (SysML), for conceptual modeling and a corresponding methodology for translating the conceptual model into a simulation model. There are three parts in this research: plant modeling, control modeling, and simulation generation. Part 1:Plant Modeling of Discrete Event Logistics Systems. Contemporary DELS are complex and challenging to design. One challenge is to describe the system in a formal language. We propose a unified framework for modeling DELS using SysML. A SysML subset for plant modeling is identified in this research. We show that any system can be described by using the proposed subset if the system can be modeled using finite state machines or finite state automata. Furthermore, the system modeled by the proposed subset can avoid the state explosion problem, i.e., the number of the system states grows exponentially when the number of the components increases. We also compare this approach to other existing modeling languages. Part 2:Control Modeling of Discrete Event Logistics Systems. The development of contemporary manufacturing control systems is an extremely complex process. One approach for modeling control systems uses activity diagrams from SysML, providing a standard object-oriented graphical notation and enhancing reusability. However, SysML activity diagrams do not directly support the kind of analysis needed to verify the control model, such as might be available with a Petri net (PN) model. We show that a control model represented by UML/SysML activity diagrams can be transformed into an equivalent PN, so the analysis capability of PN can be used and the results applied back in the activity diagram model. We define a formal mathematical notation for activity diagrams, show the mapping rules between PN and activity diagrams, and propose a formal transformation algorithm. Part 3:Discrete Event Simulation Generation. The challenge of cost-effectively creating discrete event simulation models is well-known. One approach to alleviate this issue is to describe a system using a descriptive modeling language and then transform the system model to a simulation model. Some researchers have tried to realize this idea using a transformation script. However, most of the transformation approaches depend on a domain specific language, so extending the domain specific language may require modifying the transformation script. We propose a transformation approach from SysML to a simulation language. We show that a transformation script can be independent of the associated domain specific language if the domain specific language is implemented as domain libraries using a proposed SysML subset. In this case, both the domain library and the system model can be transformed to a target simulation language. We demonstrate a proof-of-concept example using AnyLogic as the target simulation language.

This research is focused on helping engineers design better systems by supporting their decision making. When engineers design a system, they have an almost unlimited number of possible system alternatives to consider. Modern systems are difficult to design because of a need to satisfy many different stakeholder concerns from a number of domains which requires a large amount of expert knowledge. Current systems engineering practices try to simplify the design process by providing practical approaches to managing the large amount of knowledge and information needed during the process. Although these methods make designing a system more practical, they do not support a structured decision making process, especially at early stages when designers are selecting the appropriate system architecture, and instead rely on designers using ad hoc frameworks that are often self-contradictory. In this dissertation, a framework for performing architecture exploration at early stages of the design process is presented. The goal is to support more rational and self-consistent decision making by allowing designers to explicitly represent their architecture exploration problem and then use computational tools to perform this exploration. To represent the architecture exploration problem, a modeling language is presented which explicitly models the problem as an architecture selection decision. This language is based on the principles of decision-based design and decision theory, where decisions are made by picking the alternative that results in the most preferred expected outcome. The language is designed to capture potential alternatives in a compact form, analysis knowledge used to predict the quality of a particular alternative, and evaluation criteria to differentiate and rank outcomes. This language is based on the Object Management Group's System Modeling Language (SysML). Where possible, existing SysML constructs are used; when additional constructs are needed, SysML's profile mechanism is used to extend the language. Simply modeling the selection decision explicitly is not sufficient, computational tools are also needed to explore the space of possible solutions and inform designers about the selection of the appropriate alternative. In this investigation, computational tools from the mathematical programming domain are considered for this purpose. A framework for modeling an architecture selection decision in mixed-integer linear programming (MIP) is presented. MIP solvers can then solve the MIP problem to identify promising candidate architectures at early stages of the design process. Mathematical programming is a common optimization domain, but it is rarely used in this context because of the difficulty of manually formulating an architecture selection or exploration problem as a mathematical programming optimization problem. The formulation is presented in a modular fashion; this enables the definition of a model transformation that can be applied to transform the more compact SysML representation into the mathematical programming problem, which is also presented. A modular superstructure representation is used to model the design space; in a superstructure a union of all potential architectures is represented as a set of discrete and continuous variables. Algebraic constraints are added to describe both acceptable variable combinations and system behavior to allow the solver to eliminate clearly poor alternatives and identify promising alternatives. The overall framework is demonstrated on the selection of an actuation subsystem for a hydraulic excavator. This example is chosen because of the variety of potential architecture embodiments and also a plethora of well-known configurations which can be used to verify the results.

This dissertation develops a new model transformation approach that supports engineering model integration, which is essential to support contemporary interdisciplinary system design processes. We extend traditional model transformation, which has been primarily used for software engineering, to enable model-based systems engineering (MBSE) so that the model transformation can handle more general engineering models. We identify two issues that arise when applying the traditional model transformation to general engineering modeling domains. The first is instance data integration: the traditional model transformation theory does not deal with instance data, which is essential for executing engineering models in engineering tools. The second is syntactical inconsistency: various engineering tools represent engineering models in a proprietary syntax. However, the traditional model transformation cannot handle this syntactic diversity. In order to address these two issues, we propose a new multi-layer syntactical model transformation approach. For the instance integration issue, this approach generates model transformation rules for instance data from the result of a model transformation that is developed for user model integration, which is the normal purpose of traditional model transformation. For the syntactical inconsistency issue, we introduce the concept of the complete meta-model for defining how to represent a model syntactically as well as semantically. Our approach addresses the syntactical inconsistency issue by generating necessary complete meta-models using a special type of model transformation.

La recherche en génie logiciel a depuis longtemps tenté de mieux comprendre le processus de développement logiciel, minimalement, pour en reproduire les bonnes pratiques, et idéalement, pour pouvoir le mécaniser. On peut identifier deux approches majeures pour caractériser le processus. La première approche, dite transformationnelle, perçoit le processus comme une séquence de transformations préservant certaines propriétés des données à l’entrée. Cette idée a été récemment reprise par l’architecture dirigée par les modèles de l’OMG. La deuxième approche consiste à répertorier et à codifier des solutions éprouvées à des problèmes récurrents. Les recherches sur les styles architecturaux, les patrons de conception, ou les cadres d’applications s’inscrivent dans cette approche. Notre travail de recherche reconnaît la complémentarité des deux approches, notamment pour l’étape de conception: dans le cadre du développement dirigé par les modèles, nous percevons l’étape de conception comme l’application de patrons de solutions aux modèles reçus en entrée. Il est coutume de définir l’étape de conception en termes de conception architecturale, et conception détaillée. La conception architecturale se préoccupe d’organiser un logiciel en composants répondant à un ensemble d’exigences non-fonctionnelles, alors que la conception détaillée se préoccupe, en quelque sorte, du contenu de ces composants. La conception architecturale s’appuie sur des styles architecturaux qui sont des principes d’organisation permettant d’optimiser certaines qualités, alors que la conception détaillée s’appuie sur des patrons de conception pour attribuer les responsabilités aux classes. Les styles architecturaux et les patrons de conception sont des artefacts qui codifient des solutions éprouvées à des problèmes récurrents de conception. Alors que ces artefacts sont bien documentés, la décision de les appliquer reste essentiellement manuelle. De plus, les outils proposés n’offrent pas un support adéquat pour les appliquer à des modèles existants. Dans cette thèse, nous nous attaquons à la conception détaillée, et plus particulièrement, à la transformation de modèles par application de patrons de conception, en partie parce que les patrons de conception sont moins complexes, et en partie parce que l’implémentation des styles architecturaux passe souvent par les patrons de conception. Ainsi, nous proposons une approche pour représenter et appliquer les patrons de conception. Notre approche se base sur la représentation explicite des problèmes résolus par ces patrons. En effet, la représentation explicite du problème résolu par un patron permet : (1) de mieux comprendre le patron, (2) de reconnaître l’opportunité d’appliquer le patron en détectant une instance de la représentation du problème dans les modèles du système considéré, et (3) d’automatiser l’application du patron en la représentant, de façon déclarative, par une transformation d’une instance du problème en une instance de la solution. Pour vérifier et valider notre approche, nous l’avons utilisée pour représenter et appliquer différents patrons de conception et nous avons effectué des tests pratiques sur des modèles générés à partir de logiciels libres. / Software engineering researchers have long tried to understand the software process development to mechanize it or at least to codify its good practices. We identify two major approaches to characterize the process. The first approach—known as transformational—sees the process as a sequence of property-preserving transformations. This idea was recently adopted by the OMG’s model-driven architecture (MDA). The second approach consists in identifying and codifying proven solutions to recurring problems. Research on architectural styles, frameworks and design patterns are part of this approach. Our research recognizes the complementarity of these two approaches, in particular in the design step. Indeed within the model-driven development context, we view software design as the process of applying codified solution patterns to input models. Software design is typically defined in terms of architectural design and detailed design. Architectural design aims at organizing the software in modules or components that meet a set of non-functional requirements while detailed design is—in some way—concerned by the contents of the identified components. Architectural design relies on architectural styles which are principles of organization to optimize certain quality requirements, whereas detailed design relies on design patterns to assign responsibilities to classes. Both architectural styles and design patterns are design artifacts that encode proven solutions to recurring design problems. While these design artifacts are documented, the decision to apply them remains essentially manual. Besides, once a decision has been made to use a design artifact, there is no adequate support to apply it to existing models. As design patterns present an ‘‘easier’’ problem to solve, and because architectural styles implementation relies on design patterns, our strategy for addressing these issues was to try to solve the problem for design patterns first, and then tackle architectural styles. Hence, in this thesis, we propose an approach for representing and applying design patterns. Our approach is based on an explicit representation of the problems solved by design patterns. Indeed, and explicit representation of the problem solved by a pattern enables to: 1) better understand the pattern, 2) recognize the opportunity of applying the pattern by matching the representation of the problem against the models of the considered system, and 3) specify declaratively the application of the pattern as a transformation of an instance of the problem into an instance of the solution. To verify and validate the proposed approach, we used it to represent and apply several design patterns. We also conducted practical tests on models generated from open source systems.

Disertacijoje tiriamas sprendimų modelių kūrimas verslo taisyklių ir procesų modelių pagalba bei šių modelių transformacijos į programų sistemų komponentus realizuojančius automatizuotus sprendimus informacinėje sistemoje. Analitinėje disertacijos dalyje apžvelgiami sprendimu modeliai ir metodai skirti intelektualizuotų informacinių sistemų kūrimui. Tolimesniuose skyriuose pateikiamas, remiantis analizės rezultatais, sukurtas modelių karkasas ir jo pagrindu sukurtas metodas skirtas sprendimų modelių automatizavimui. Baigiamajame disertacijos skyriuje aprašomi eksperimentai, kuriuose atliekamos sprendimų modelių transformacijos. Galiausiai pateikiami eksperimentų rezultatai ir galutinės išvados. / In the presented thesis we offer modernisation of information system development methods used for implementation of automated information-, rule-, knowledge- and model-based decision processes assisted by early separation and development of a business logic model and implementation of decision-making and knowledge discovery process models with further support to business people with suitable interfaces for modification of decision-making processes without involvement of software developers in later exploitation stages. In the analytical part of the dissertation, decision models and methods of intellectualised information systems are analysed. According to the results obtained during the analysis, investigation on the proposed framework and a decision model based method for decision-making process automation is carried out. In the final chapter several experiments are described in order to evaluate the proposed method, and the general conclusions complete the research.