- Table View
- List View
Model-Driven Design Using IEC 61499
by Li Hsien Yoong Partha S. Roop Zeeshan E. Bhatti Matthew M. Y. KuoThis book describes a novel approach for the design of embedded systems and industrial automation systems, using a unified model-driven approach that is applicable in both domains. The authors illustrate their methodology, using the IEC 61499 standard as the main vehicle for specification, verification, static timing analysis and automated code synthesis. The well-known synchronous approach is used as the main vehicle for defining an unambiguous semantics that ensures determinism and deadlock freedom. The proposed approach also ensures very efficient implementations either on small-scale embedded devices or on industry-scale programmable automation controllers (PACs). It can be used for both centralized and distributed implementations. Significantly, the proposed approach can be used without the need for any run-time support. This approach, for the first time, blurs the gap between embedded systems and automation systems and can be applied in wide-ranging applications in automotive, robotics, and industrial control systems. Several realistic examples are used to demonstrate for readers how the methodology can enable them to reduce the time-to-market, while improving the design quality and productivity.
Model-Driven Development and Operation of Multi-Cloud Applications
by Peter Matthews Elisabetta Nitto Dana Petcu Arnor SolbergThis books is open access under a CC BY 4. 0 license. This book summarizes work being undertaken within the collaborative MODAClouds research project, which aims to facilitate interoperability between heterogeneous Cloud platforms and remove the constraints of deployment, portability, and reversibility for end users of Cloud services. Experts involved in the project provide a clear overview of the MODAClouds approach and explain how it operates in a variety of applications. While the wide spectrum of available Clouds constitutes a vibrant technical environment, many early-stage issues pose specific challenges from a software engineering perspective. MODAClouds will provide methods, a decision support system, and an open source IDE and run-time environment for the high-level design, early prototyping, semiautomatic code generation, and automatic deployment of applications on multiple Clouds. It will free developers from the need to commit to a fixed Cloud technology stack during software design and offer benefits in terms of cost savings, portability of applications and data between Clouds, reversibility (moving applications and data from Cloud to non-Cloud environments), risk management, quality assurance, and flexibility in the development process.
Model-Driven Development of Akoma Ntoso Application Profiles: A Conceptual Framework for Model-Based Generation of XML Subschemas
by Olof Leps Amelie Flatt Arne LangnerThis book presents a model-driven approach for creating a national application profile of the international legislative document standard Akoma Ntoso (AKN). AKN is an XML-based document standard that serves as the basis for modern machine-readable and fully digital legislative and judicial processes. The described model-driven development approach ensures consistent and error-proof application of AKN concepts and types, even when using different software tools. It allows for easy maintenance, is self-documenting, and facilitates stakeholder validation with nontechnical legal experts. The resulting application profile remains fully compliant to and compatible with AKN. For the sake of illustration, the approach is paradigmatically applied to the German federal legislative process, as a corresponding approach was used in the creation of the German AKN application profile, LegalDocML.de. We discuss how the methodology yields a model, schema definition and specification that correspond to the artefacts created by LegalDocML.de, using examples from Germany. The book is of interest to both legal and technical project teams on the cusp of introducing AKN in a legislative domain and intended as a practical guideline for teams preparing to create a custom application profile for their own domain. Furthermore, it can serve as both a resource and an inspiration for similar and yet to be developed methodologies in the public sector, the health sector or in defense, where international standardization and interoperability efforts are to be applied to a local level.
Model-Driven Engineering and Software Development
by Slimane Hammoudi Luís Ferreira Pires Philippe Desfray Bran SelicThis book constitutes thoroughly revised and selected papers from the 4th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2016, held in Rome, Italy, in February 2016. The 17 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 118 submissions. They are organized in topical sections named: modeling languages, tools and architectures; methodologies, processes and platforms; applications and software development.
Model-Driven Engineering and Software Development
by Joaquim Filipe Slimane Hammoudi Luís Ferreira Pires Philippe DesfrayThis book constitutes thoroughly revised and selected papers from the Third International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2015, held in Angers, France, in February 2015. The 25 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 94 submissions. They are organized in topical sections named: invited papers; modeling languages, tools and architectures; methodologies, processes and platforms; applications and software development.
Model-Driven Engineering and Software Development
by Joaquim Filipe Slimane Hammoudi Luís Ferreira Pires Rui César das NevesThis book constitutes thoroughly revised and selected papers from the Second International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2014, held in Lisbon, Portugal, in January 2014. The 10 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 88 submissions. They are organized in topical sections named: invited papers; modeling languages, tools and architectures; and methodologies, processes and platforms.
Model-Driven Engineering and Software Development: 11th International Conference, MODELSWARD 2023, Lisbon, Portugal, February 19–21, 2023, Revised Selected Papers (Communications in Computer and Information Science #2106)
by Luís Ferreira Pires Francisco José Domínguez Mayo Edwin SeidewitzThis book constitutes the refereed post-proceedings of the 11th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2023, which took place in Lisbon, Portugal during February 19-21, 2023. The 8 full papers included in this book were carefully reviewed and selected from 41 submissions. The papers are categorized under the topical sections as follows: Applications and System Development and Modeling Languages, Tools and Architectures.
Model-Driven Engineering and Software Development: 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers (Communications in Computer and Information Science #880)
by Slimane Hammoudi Luís Ferreira Pires Bran SelicThis book constitutes thoroughly revised and selected papers from the 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, held in Porto, Portugal, in February 2017. The 20 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 91 submissions. They contribute to the development of highly relevant research trends in model-driven engineering and software development such as methodologies for MDD development and exploitation, model-based testing, model simulation, domain-specific modeling, code generation from models, new MDD tools, multi-model management, model evolution, and industrial applications of model-based methods and technologies.
Model-Driven Engineering and Software Development: 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers (Communications in Computer and Information Science #991)
by Slimane Hammoudi Luís Ferreira Pires Bran SelicThis book constitutes thoroughly revised and selected papers from the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, held in Funchal, Madeira, Portugal, in January 2018. The 22 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 101 submissions. They contribute to the development of highly relevant research trends in model-driven engineering and software development such as innovative methods for MDD-based development and testing of web-based applications and user interfaces, support for development of Domain-Specific Languages (DSLs), MDD-based application development on multiprocessor platforms, advances in MDD tooling, formal semantics and behaviour modelling, and MDD-based product-line engineering.
Model-Driven Engineering and Software Development: 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20–22, 2019, Revised Selected Papers (Communications in Computer and Information Science #1161)
by Slimane Hammoudi Luís Ferreira Pires Bran SelićThis book constitutes thoroughly revised and selected papers from the 7th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2019, held in Prague, Czech Republic, in February 2019.The 16 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 76 submissions. They address some of the most relevant challenges being faced by researchers and practitioners in the field of model-driven engineering and software development and cover topics like language design and tooling; programming support tools; code and text generation from models, behavior modeling and analysis; model transformations and multi-view modeling; as well as applications of MDD and its related techniques to cyber-physical systems, cyber security, IoT, autonomous vehicles and healthcare.
Model-Driven Engineering and Software Development: 8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25–27, 2020, Revised Selected Papers (Communications in Computer and Information Science #1361)
by Slimane Hammoudi Luís Ferreira Pires Bran SelićThis book constitutes thoroughly revised and selected papers from the 8th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, held in Valletta, Malta, in February 2020. The 15 revised and extended papers presented in this volume were carefully reviewed and selected from 66 submissions. They present recent research results and development activities in using models and model driven engineering techniques for software development. The papers are organized in topical sections on methodologies, processes and platforms; applications and software development; modeling languages, tools and architectures.
Model-Driven Engineering and Software Development: 9th International Conference, MODELSWARD 2021, Virtual Event, February 8–10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6–8, 2022, Revised Selected Papers (Communications in Computer and Information Science #1708)
by Slimane Hammoudi Luís Ferreira Pires Edwin SeidewitzThis book constitutes the refereed post-proceedings of the 9th International Conference and 10th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2021 and MODELSWARD 2022, was held virtually due to the COVID-19 crisis on February 8–10, 2021 and February 6–8, 2022.The 11 full papers included in this book were carefully reviewed and selected from 121 submissions. The purpose of the International Conference on model-driven engineering and software development is to provide a platform for researchers, engineers, academics as well as industrial professionals from all over the world to present their research results and development activities in using models and model driven engineering techniques for system development.
Model-Driven Organizational and Business Agility: Second International Workshop, MOBA 2022, Leuven, Belgium, June 6–7, 2022, Revised Selected Papers (Lecture Notes in Business Information Processing #457)
by Eduard Babkin Joseph Barjis Pavel Malyzhenkov Vojtěch MerunkaThis book constitutes the proceedings of the Second International Workshop on Model-Driven Organizational and Business Agility, MOBA 2022, which took place in Leuven, Belgium, in June 2022.MOBA was launched with the purpose of fetching scientific rigor into the agile practice within an entire enterprise, especially focusing on the role of models and modeling. The 10 papers presented in this volume were carefully reviewed and selected from 22 submissions. They cover topics like business intelligence, agile business rules, agile software development, adaptive domain-specific interfaces, or reconfigurable software architectures.
Model-Driven Organizational and Business Agility: Third International Workshop, MOBA 2023, Zaragoza, Spain, June 12–13, 2023, Revised Selected Papers (Lecture Notes in Business Information Processing #488)
by Eduard Babkin Joseph Barjis Martin Molhanec Pavel Malyzhenkov Vojtěch MerunkaThis book constitutes the proceedings of the Third International Workshop on Model-Driven Organizational and Business Agility, MOBA 2023, which took place in Zaragoza, Spain, in June 2023. MOBA was launched with the purpose of fetching scientific rigor into the agile practice within an entire enterprise, especially focusing on the role of models and modeling. The 9 papers presented in this volume were carefully reviewed and selected from 18 submissions. They cover topics like business intelligence, agile business rules, agile software development, adaptive domain-specific interfaces, or reconfigurable software architectures.
Model-Driven Risk Analysis: The CORAS Approach
by Ketil Stølen Bjørnar Solhaug Mass Soldal LundThe term "risk" is known from many fields, and we are used to references to contractual risk, economic risk, operational risk, legal risk, security risk, and so forth. We conduct risk analysis, using either offensive or defensive approaches to identify and assess risk. Offensive approaches are concerned with balancing potential gain against risk of investment loss, while defensive approaches are concerned with protecting assets that already exist. In this book, Lund, Solhaug and Stølen focus on defensive risk analysis, and more explicitly on a particular approach called CORAS. CORAS is a model-driven method for defensive risk analysis featuring a tool-supported modelling language specially designed to model risks. Their book serves as an introduction to risk analysis in general, including the central concepts and notions in risk analysis and their relations. The authors' aim is to support risk analysts in conducting structured and stepwise risk analysis. To this end, the book is divided into three main parts. Part I of the book introduces and demonstrates the central concepts and notation used in CORAS, and is largely example-driven. Part II gives a thorough description of the CORAS method and modelling language. After having completed this part of the book, the reader should know enough to use the method in practice. Finally, Part III addresses issues that require special attention and treatment, but still are often encountered in real-life risk analysis and for which CORAS offers helpful advice and assistance. This part also includes a short presentation of the CORAS tool support. The main target groups of the book are IT practitioners and students at graduate or undergraduate level. They will appreciate a concise introduction into the emerging field of risk analysis, supported by a sound methodology, and completed with numerous examples and detailed guidelines.
Model-Driven Software Development
by Jorn Bettin Simon Helsen Markus Völter Arno Haase Thomas Stahl Krzysztof Czarnecki Bettina Von StockflethModel-Driven Software Development (MDSD) is currently a highly regarded development paradigm among developers and researchers. With the advent of OMG's MDA and Microsoft's Software Factories, the MDSD approach has moved to the centre of the programmer's attention, becoming the focus of conferences such as OOPSLA, JAOO and OOP.MDSD is about using domain-specific languages to create models that express application structure or behaviour in an efficient and domain-specific way. These models are subsequently transformed into executable code by a sequence of model transformations.This practical guide for software architects and developers is peppered with practical examples and extensive case studies. International experts deliver:* A comprehensive overview of MDSD and how it relates to industry standards such as MDA and Software Factories.* Technical details on meta modeling, DSL construction, model-to-model and model-to-code transformations, and software architecture.* Invaluable insight into the software development process, plus engineering issues such as versioning, testing and product line engineering.* Essential management knowledge covering economic and organizational topics, from a global perspective.Get started and benefit from some practical support along the way!
Model-Driven Software Systems Development Using the Meta-Artifact Process
by Wayne O'BrienThe importance of architecture for software systems is widely accepted, but the role of architecture in the overall development process is not so clear. Presenting an architecture-centric process, Model-Driven Software Systems Development Using the Meta-Artifact Process makes the role of architecture clear. At its core, this book is about developing software systems and, more specifically, software code. It describes three major innovations for making software, which are combined with five widely used enabling technologies, to provide a complete, hypothesis-driven software development process known as Meta-Artifact Process (MAP). Having complete requirements is essential for making good software and supports the hypothesis-driven MAP.MAP offers properties, qualities, and capabilities that help stakeholders and developers understand and reason about a domain and target systems of interest. MAP, through the central role of the Meta-Artifact and incorporating the view that a computer program is a hypothesis about the requirements, offers new ways to look at systems and their development, even changing the roles of developers and stakeholders.Recommending agile methods wherever appropriate while supporting the OMG Essence standard and working within an overarching architecture, MAP presents ways to ensure that the requirements are complete and correct. It helps to identify likely points during development to form alternative hypotheses about them. Because MAP requires an underlying software development process, it can provide that clarity to existing processes in which the organization’s developers are already proficient.This book provides concrete examples from two broad but diverse areas—Accounting Information Systems in the commercial area and a military command and control system—to show the wide applicability of MAP in both commercial and defense domains.
Model-Driven and Software Product Line Engineering
by Jean-Claude Royer Hugo ArboledaMany approaches to creating Software Product Lines have emerged that are based on Model-Driven Engineering. This book introduces both Software Product Lines and Model-Driven Engineering, which have separate success stories in industry, and focuses on the practical combination of them. It describes the challenges and benefits of merging these two software development trends and provides the reader with a novel approach and practical mechanisms to improve software development productivity.The book is aimed at engineers and students who wish to understand and apply software product lines and model-driven engineering in their activities today. The concepts and methods are illustrated with two product line examples: the classic smart-home systems and a collection manager information system.
Model-Implementation Fidelity in Cyber Physical System Design
by Anca Molnos Christian FabreThis book puts in focus various techniques for checking modeling fidelity of Cyber Physical Systems (CPS), with respect to the physical world they represent. The authors' present modeling and analysis techniques representing different communities, from very different angles, discuss their possible interactions, and discuss the commonalities and differences between their practices. Coverage includes model driven development, resource-driven development, statistical analysis, proofs of simulator implementation, compiler construction, power/temperature modeling of digital devices, high-level performance analysis, and code/device certification. Several industrial contexts are covered, including modeling of computing and communication, proof architectures models and statistical based validation techniques.
Model-based Health Monitoring of Hybrid Systems
by Shai Arogeti Danwei Wang Chang Boon Low Ming YuThis book systematically presents a comprehensive framework and effective techniques for in-depth analysis, clear design procedure, and efficient implementation of diagnosis and prognosis algorithms for hybrid systems. It offers an overview of the fundamentals of diagnosis\prognosis and hybrid bond graph modeling. This book also describes hybrid bond graph-based quantitative fault detection, isolation and estimation. Moreover, it also presents strategies to track the system mode and predict the remaining useful life under multiple fault condition. A real world complex hybrid system--a vehicle steering control system--is studied using the developed fault diagnosis methods to show practical significance. Readers of this book will benefit from easy-to-understand fundamentals of bond graph models, concepts of health monitoring, fault diagnosis and failure prognosis, as well as hybrid systems. The reader will gain knowledge of fault detection and isolation in complex systems including those with hybrid nature, and will learn state-of-the-art developments in theory and technologies of fault diagnosis and failure prognosis for complex systems.
Model-based Systems Architecting: Using CESAM to Architect Complex Systems
by Daniel KrobModel-based Systems Architecting is a key tool for designing complex industrial systems. It is dedicated to the working systems architects, engineers and modelers, in order to help them master the complex integrated systems that they are dealing with in their day-to-day professional lives. It presents the CESAMES Systems Architecting Method (CESAM), a systems architecting and modeling framework which has been developed since 2003 in close interaction with many leading industrial companies, providing rigorous and unambiguous semantics for all classical systems architecture concepts. This approach is practically robust and easy-to-use: during the last decade, it was deployed in more than 2,000 real system development projects within the industry, and distributed to around 10,000 engineers around the globe.
Model-based Visual Tracking
by Giorgio PaninThis book has two main goals: to provide a unifed and structured overview of this growing field, as well as to propose a corresponding software framework, the OpenTL library, developed by the author and his working group at TUM-Informatik.The main objective of this work is to show, how most real-world application scenarios can be naturally cast into a common description vocabulary, and therefore implemented and tested in a fully modular and scalable way, through the defnition of a layered, object-oriented software architecture.The resulting architecture covers in a seamless way all processing levels, from raw data acquisition up to model-based object detection and sequential localization, and defines, at the application level, what we call the tracking pipeline. Within this framework, extensive use of graphics hardware (GPU computing) as well as distributed processing, allows real-time performances for complex models and sensory systems.
Model-driven Simulation and Training Environments for Cybersecurity: Second International Workshop, MSTEC 2020, Guildford, UK, September 14–18, 2020, Revised Selected Papers (Lecture Notes in Computer Science #12512)
by Sotiris Ioannidis George HatzivasilisThis book constitutes the refereed post-conference proceedings of the Second International Workshop on Model-Driven Simulation and Training Environments for Cybersecurity, MSTEC 2020, held in Guildford, UK, in September 2020 in conjunction with the 24th European Symposium on Research in Computer Security, ESORICS 2020. The conference was held virtually due to the COVID-19 pandemic. The MSTEC Workshop received 20 submissions from which 10 full papers were selected for presentation. The papers are grouped in thematically on: cyber security training modelling; serious games; emulation & simulation studies; attacks; security policies.
Model-oriented Systems Engineering Science: A Unifying Framework for Traditional and Complex Systems (Complex and Enterprise Systems Engineering)
by Duane W. HybertsonSystems engineering (SE) is experiencing a significant expansion that encompasses increasingly complex systems. However, a common body of knowledge on how to apply complex systems engineering (CSE) has yet to be developed. A combination of people and other autonomous agents, crossing organization boundaries and continually changing, these hybrid sy
Modeling Biomaterials (Nečas Center Series)
by Endre Süli Josef MálekThe investigation of the role of mechanical and mechano-chemical interactions in cellular processes and tissue development is a rapidly growing research field in the life sciences and in biomedical engineering. Quantitative understanding of this important area in the study of biological systems requires the development of adequate mathematical models for the simulation of the evolution of these systems in space and time. Since expertise in various fields is necessary, this calls for a multidisciplinary approach.This edited volume connects basic physical, biological, and physiological concepts to methods for the mathematical modeling of various materials by pursuing a multiscale approach, from subcellular to organ and system level. Written by active researchers, each chapter provides a detailed introduction to a given field, illustrates various approaches to creating models, and explores recent advances and future research perspectives. Topics covered include molecular dynamics simulations of lipid membranes, phenomenological continuum mechanics of tissue growth, and translational cardiovascular modeling. Modeling Biomaterials will be a valuable resource for both non-specialists and experienced researchers from various domains of science, such as applied mathematics, biophysics, computational physiology, and medicine.