Modelling Foundations and Applications

✍ Scribed by Alfonso Pierantonio, Salvador Trujillo

Publisher: Springer International Publishing
Year: 2018
Tongue: English
Leaves: 325
Series: Lecture Notes in Computer Science 10890
Edition: 1st ed.
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

This book constitutes the proceedings of the 14th European Conference on Modelling Foundations and Applications, ECMFA 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.
The 19 papers presented in this volume were carefully reviewed and selected from 45 submissions. The cover topics such as (bidirectional and unidirectional) model transformations, model management, re-engineering, modelling environments, verification and validation, and domain-specific modelling w.r.t. business processes, automotive software, and safety-critical software.

✦ Table of Contents

Front Matter ....Pages I-XVI
Is Bidirectionality Important? (Perdita Stevens)....Pages 1-11
Towards Automatic Generation of UML Profile Graphical Editors for Papyrus (Athanasios Zolotas, Ran Wei, Simos Gerasimou, Horacio Hoyos Rodriguez, Dimitrios S. Kolovos, Richard F. Paige)....Pages 12-27
Optimising OCL Synthesized Code (Jesús Sánchez Cuadrado)....Pages 28-45
Expressing Measurement Uncertainty in OCL/UML Datatypes (Manuel F. Bertoa, Nathalie Moreno, Gala Barquero, Loli Burgueño, Javier Troya, Antonio Vallecillo)....Pages 46-62
On the Influence of Metamodel Design to Analyses and Transformations (Georg Hinkel, Erik Burger)....Pages 63-79
Automatic Transformation Co-evolution Using Traceability Models and Graph Transformation (Adrian Rutle, Ludovico Iovino, Harald König, Zinovy Diskin)....Pages 80-96
Bidirectional Method Patterns for Language Editor Migration (Enes Yigitbas, Anthony Anjorin, Erhan Leblebici, Marvin Grieger)....Pages 97-114
Parallel Model Validation with Epsilon (Sina Madani, Dimitrios S. Kolovos, Richard F. Paige)....Pages 115-131
SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation (Ronan Baduel, Mohammad Chami, Jean-Michel Bruel, Iulian Ober)....Pages 132-146
Property-Aware Unit Testing of UML-RT Models in the Context of MDE (Reza Ahmadi, Nicolas Hili, Juergen Dingel)....Pages 147-163
MAPLE: An Integrated Environment for Process Modelling and Enactment for NFV Systems (Sadaf Mustafiz, Guillaume Dupont, Ferhat Khendek, Maria Toeroe)....Pages 164-178
Detecting Conflicts Between Data-Minimization and Security Requirements in Business Process Models (Qusai Ramadan, Daniel Strüber, Mattia Salnitri, Volker Riediger, Jan Jürjens)....Pages 179-198
Life Sciences-Inspired Test Case Similarity Measures for Search-Based, FSM-Based Software Testing (Nesa Asoudeh, Yvan Labiche)....Pages 199-215
EMF Patterns of Usage on GitHub (Johannes Härtel, Marcel Heinz, Ralf Lämmel)....Pages 216-234
Towards Efficient Loading of Change-Based Models (Alfa Yohannis, Horacio Hoyos Rodriguez, Fiona Polack, Dimitris Kolovos)....Pages 235-250
Towards a Framework for Writing Executable Natural Language Rules (Konstantinos Barmpis, Dimitrios Kolovos, Justin Hingorani)....Pages 251-263
Model-Driven Re-engineering of a Pressure Sensing System: An Experience Report (Atif Mashkoor, Felix Kossak, Miklós Biró, Alexander Egyed)....Pages 264-278
Modeling AUTOSAR Implementations in Simulink (Jian Chen, Manar H. Alalfi, Thomas R. Dean, S. Ramesh)....Pages 279-292
Trace Comprehension Operators for Executable DSLs (Dorian Leroy, Erwan Bousse, Anaël Megna, Benoit Combemale, Manuel Wimmer)....Pages 293-310
Back Matter ....Pages 311-311

✦ Subjects

Computer Science; Software Engineering; Programming Languages, Compilers, Interpreters; Programming Techniques; The Computing Profession; System Performance and Evaluation

📜 SIMILAR VOLUMES

Probabilistic Topic Models: Foundation a

📁 Probabilistic Topic Models: Foundation and Application

✍ Di Jiang, Chen Zhang, Yuanfeng Song 📂 Library 📅 2023 🏛 Springer 🌐 English

This book introduces readers to the theoretical foundation and application of topic models. It provides readers with efficient means to learn about the technical principles underlying topic models. More concretely, it covers topics such as fundamental concepts, topic model structures, appro

Probabilistic Topic Models: Foundation a

📁 Probabilistic Topic Models: Foundation and Application

✍ Di Jiang; Chen Zhang; Yuanfeng Song 📂 Library 📅 2023 🏛 Springer Nature 🌐 English

This book introduces readers to the theoretical foundation and application of topic models. It provides readers with efficient means to learn about the technical principles underlying topic models. More concretely, it covers topics such as fundamental concepts, topic model structures, approximate in

Air Dispersion Modeling: Foundations and

📁 Air Dispersion Modeling: Foundations and Applications

✍ Alex De Visscher(auth.) 📂 Library 📅 2013 🏛 Wiley 🌐 English

A single reference to all aspects of contemporary air dispersion modelingThe practice of air dispersion modeling has changed dramatically in recent years, in large part due to new EPA regulations. Current with the EPA's 40 CFR Part 51, this book serves as a complete reference to bot

Rasch Models: Foundations, Recent Develo

📁 Rasch Models: Foundations, Recent Developments, and Applications

✍ Ivo W. Molenaar (auth.), Gerhard H. Fischer, Ivo W. Molenaar (eds.) 📂 Library 📅 1995 🏛 Springer-Verlag New York 🌐 English

Thirty-two years after the publication of the legendary 'Rasch book' (Rasch, 1960), the rich literature on the Rasch model and its extensions was scattered in journals and many less accessible sources, including 'grey' literature. When asked by students or junior researchers for references to the

Configural Frequency Analysis: Foundatio

📁 Configural Frequency Analysis: Foundations, Models, and Applications

✍ Alexander von Eye, Wolfgang Wiedermann 📂 Library 📅 2022 🏛 Springer 🌐 English

This unique book provides a comprehensive and detailed coverage of configural frequency analysis (CFA), the most useful method of analysis of categorical data in person-oriented research. It presents the foundations, methods, and models of CFA and features numerous empirical data examples from a

[email protected]: Foundations, Applicatio

📁 [email protected]: Foundations, Applications, and Roadmaps

✍ Nelly Bencomo, Robert France, Betty H. C. Cheng, Uwe Aßmann (eds.) 📂 Library 📅 2014 🏛 Springer International Publishing 🌐 English

Traditionally, research on model-driven engineering (MDE) has mainly focused on the use of models at the design, implementation, and verification stages of development. This work has produced relatively mature techniques and tools that are currently being used in industry and academia. However, s