Semantic discovery and reuse of business process patterns

Patterns currently play an important role in modern information systems (IS) development and their use has mainly been restricted to the design and implementation phases of the development lifecycle. Given the increasing significance of business modelling in IS development, patterns have the potential of providing a viable solution for promoting reusability of recurrent generalized models in the very early stages of development. As a statement of research-in-progress this paper focuses on business process patterns and proposes an initial methodological framework for the discovery and reuse of business process patterns within the IS development lifecycle. The framework borrows ideas from the domain engineering literature and proposes the use of semantics to drive both the discovery of patterns as well as their reuse

Programming Languages and Systems

This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems

Programming Languages and Systems

This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems

Simulation driven machine learning methods to optimise design of physical experiments and enhance data analysis for testing of fusion energy heat exchanger components

Plasma facing components (PFCs) must be designed to routinely withstand the harsh environment of a fusion device, where temperatures at the core of the plasma exceed 150,000,000 °C. The heat by induction to verify extremes (HIVE) experimental facility was established to replicate the thermal loads a PFC is subjected to during normal operation of a fusion device.To maximise its impact on the design of PFCs, HIVE must deliver smarter testing and improved component insight. Currently, the experimental parameters required to deliver a certain response to the component are decided at the point of testing through a combination of previous experience, intuition, and trial & error, which is both time-consuming and unreliable. To assess a PFC’s suitability, knowledge of its mechanical performance while operating at high temperatures is desirable, however HIVE only records pointwise temperature measurements on the component’s surface using thermocouples. Currently, HIVE has no method of inferring a component’s mechanical response using the temperature measure-ments.Both the challenges of smarter testing and improved component insight can be achieved through the identification of inverse solutions. A popular approach to solving engineering inverse problems is surrogate assisted optimisation, where a machine learning model is trained using finite element (FE) simulation data. Much of the work in literature use single value surrogate models on quite simplistic problems, however HIVE is a real-world, multi-physics problem which requires full field (FF) surrogate models to solve its multitude of inverse problems.The development of a method which can easily construct FE data driven FF surrogates would be invaluable for a variety of tasks in engineering, as well as solving inverse problems. In this work, it demonstrates that it can provide a much more robust and comprehensive method of characterising a PFC’s strengths and limitations, enabling more informed decisions to be made during its design cycle

Embedded System Design

A unique feature of this open access textbook is to provide a comprehensive introduction to the fundamental knowledge in embedded systems, with applications in cyber-physical systems and the Internet of things. It starts with an introduction to the field and a survey of specification models and languages for embedded and cyber-physical systems. It provides a brief overview of hardware devices used for such systems and presents the essentials of system software for embedded systems, including real-time operating systems. The author also discusses evaluation and validation techniques for embedded systems and provides an overview of techniques for mapping applications to execution platforms, including multi-core platforms. Embedded systems have to operate under tight constraints and, hence, the book also contains a selected set of optimization techniques, including software optimization techniques. The book closes with a brief survey on testing. This fourth edition has been updated and revised to reflect new trends and technologies, such as the importance of cyber-physical systems (CPS) and the Internet of things (IoT), the evolution of single-core processors to multi-core processors, and the increased importance of energy efficiency and thermal issues

Programming Languages and Systems

This open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019