120 research outputs found

    Architecture-based Evolution of Dependable Software-intensive Systems

    Get PDF
    This cumulative habilitation thesis, proposes concepts for (i) modelling and analysing dependability based on architectural models of software-intensive systems early in development, (ii) decomposition and composition of modelling languages and analysis techniques to enable more flexibility in evolution, and (iii) bridging the divergent levels of abstraction between data of the operation phase, architectural models and source code of the development phase

    Evaluating Model Differencing for the Consistency Preservation of State-based Views

    Get PDF
    While developers and users of modern software systems usually only need to interact with a specific part of the system at a time, they are hindered by the ever-increasing complexity of the entire system. Views are projections of underlying models and can be employed to abstract from that complexity. When a view is modified, the changes must be propagated back into the underlying model without overriding simultaneous modifications. Hence, the view needs to provide a fine-grained sequence of changes to update the model minimally invasively. Such fine-grained changes are often unavailable for views that integrate with existing workflows and tools. To this end, model differencing approaches can be leveraged to compare two states of a view and derive an estimated change sequence. However, these model differencing approaches are not intended to operate with views, as their correctness is judged solely by comparing the input models. For views, the changes are derived from the view states, but the correctness depends on the underlying model. This work introduces a refined notion of correctness for change sequences in the context of model-view consistency. Furthermore, we evaluate state-of-the-art model differencing regarding model-view consistency. Our results show that model differencing largely performs very well. However, incorrect change sequences were derived for two common refactoring operation types, leading to an incorrect model state. These types can be easily reproduced and are likely to occur in practice. By considering our change sequence properties in the view type design, incorrect change sequences can be detected and semi-automatically repaired to prevent such incorrect model states

    Comparative process mining:analyzing variability in process data

    Get PDF

    Comparative process mining:analyzing variability in process data

    Get PDF

    20. ASIM Fachtagung Simulation in Produktion und Logistik 2023

    Get PDF

    Digitization of the work environment for sustainable production

    Get PDF
    Global pandemics, devastating wars and natural disasters with increasing frequency and impact are disrupting previously carefully balanced manufacturing networks. All industrial companies are required to examine their operations and adjust accordingly. The increasing cost of resources require enterprises to re-design their value creation processes to be more sustainable, to optimize the supplier network to become more resilient and to accelerate digitizing of operations to enhance operational effectiveness. This year's WGAB research seminar is themed around Digitization of the work environment for sustainable production and seeks to contribute solutions to the current challenges. The scientific discourse aims to advance the sustainable and data-based organization of value creation processes. Exemplary efforts for the sustainable production of 3D printed footwear and the circular supply chain of energy production will be discussed. With advances in sensory data collection in cyber-physical production systems (CPPS), there are new opportunities for sensing the status of manufacturing systems, which enable advanced data analytics to contribute to a sustainable production. Intelligent processes enable sustainable value creation and bi-directional knowledge exchange between humans and machines. With people at the centre of the CPPS, production systems shall be both adaptive and personalized for every worker. People need to be involved in the technological and organizational changes. Simulating the migration from a linear economy to a circular economy supports the trend of regionalized production networks. Digital assistance systems are tested to back up resilient manufacturing. We would like to thank all authors for their efforts in preparing the contributions, which are valuable inputs to the discourse to solve the current challenges

    Digital Twins in Industry

    Get PDF
    Digital Twins in Industry is a compilation of works by authors with specific emphasis on industrial applications. Much of the research on digital twins has been conducted by the academia in both theoretical considerations and laboratory-based prototypes. Industry, while taking the lead on larger scale implementations of Digital Twins (DT) using sophisticated software, is concentrating on dedicated solutions that are not within the reach of the average-sized industries. This book covers 11 chapters of various implementations of DT. It provides an insight for companies who are contemplating the adaption of the DT technology, as well as researchers and senior students in exploring the potential of DT and its associated technologies

    Expanding the Horizons of Manufacturing: Towards Wide Integration, Smart Systems and Tools

    Get PDF
    This research topic aims at enterprise-wide modeling and optimization (EWMO) through the development and application of integrated modeling, simulation and optimization methodologies, and computer-aided tools for reliable and sustainable improvement opportunities within the entire manufacturing network (raw materials, production plants, distribution, retailers, and customers) and its components. This integrated approach incorporates information from the local primary control and supervisory modules into the scheduling/planning formulation. That makes it possible to dynamically react to incidents that occur in the network components at the appropriate decision-making level, requiring fewer resources, emitting less waste, and allowing for better responsiveness in changing market requirements and operational variations, reducing cost, waste, energy consumption and environmental impact, and increasing the benefits. More recently, the exploitation of new technology integration, such as through semantic models in formal knowledge models, allows for the capture and utilization of domain knowledge, human knowledge, and expert knowledge toward comprehensive intelligent management. Otherwise, the development of advanced technologies and tools, such as cyber-physical systems, the Internet of Things, the Industrial Internet of Things, Artificial Intelligence, Big Data, Cloud Computing, Blockchain, etc., have captured the attention of manufacturing enterprises toward intelligent manufacturing systems

    Actas del XXIV Workshop de Investigadores en Ciencias de la Computación: WICC 2022

    Get PDF
    Compilación de las ponencias presentadas en el XXIV Workshop de Investigadores en Ciencias de la Computación (WICC), llevado a cabo en Mendoza en abril de 2022.Red de Universidades con Carreras en Informátic
    • …
    corecore