Sciweavers

Share
MODELS
2015
Springer
4 years 2 months ago
On the Need for Extended Transactional Models@Run.Time
Mahdi Derakhshanmanesh, Marvin Grieger, Jürge...
MODELS
2015
Springer
4 years 2 months ago
A statistical analysis approach to assist model transformation evolution
—Model Driven Engineering (MDE) is essentially based in metamodel definition, model edition and the specification of model transformations (MT) among these. In many cases the d...
Roberto Rodríguez-Echeverría, Fernan...
MODELS
2015
Springer
4 years 2 months ago
Recursion and Iteration Support in USE Validator with AnATLyzer
Model finders enable numerous verification approaches based on searching the existence of models satisfying certain properties of interest. One of such approaches is anATLyzer, a...
Jesús Sánchez Cuadrado
MODELS
2015
Springer
4 years 2 months ago
Modular model-based supervisory controller design for wafer logistics in lithography machines
—Development of high-level supervisory controllers is an important challenge in the design of high-tech systems. It has become a significant issue due to increased complexity, c...
Bram van der Sanden, Michel A. Reniers, Marc Geile...
MODELS
2015
Springer
4 years 2 months ago
Fragmenta: A theory of fragmentation for MDE
—Model-Driven Engineering (MDE) promotes models throughout development. However, models may become large and unwieldy even for small to medium-sized systems. This paper tackles t...
Nuno Amálio, Juan de Lara, Esther Guerra
MODELS
2015
Springer
4 years 2 months ago
Concern-oriented interfaces for model-based reuse of APIs
—Reuse is essential in modern software engineering, but limited in the context of MDE by the poor availability of reusable models. On the other hand, reusable code artifacts such...
Matthias Schöttle, Jörg Kienzle
MODELS
2015
Springer
4 years 2 months ago
Detection and Handling of Model Smells for MATLAB/Simulink models
Code smells in traditional software artifacts are common symptoms of the violation of fundamental design principles which negatively impact the quality of the resulting software pr...
Thomas Gerlitz, Quang Minh Tran, Christian Dziobek
MODELS
2015
Springer
4 years 2 months ago
Process mining in software systems: Discovering real-life business transactions and process models from distributed systems
Abstract—This paper presents a novel reverse engineering technique for obtaining real-life event logs from distributed systems. This allows us to analyze the operational processe...
Maikel Leemans, Wil M. P. van der Aalst
MODELS
2015
Springer
4 years 2 months ago
Reusable event types for models at runtime to support the examination of runtime phenomena
—Today’s software is getting more and more complex and harder to understand. Models help to organize knowledge asize the structure of a software at a higher abstraction level. ...
Michael Szvetits, Uwe Zdun
MODELS
2015
Springer
4 years 2 months ago
MMINT: A Graphical Tool for Interactive Model Management
Abstract—Model Management addresses the accidental complexity caused by the proliferation of models in software engineering. It provides a high-level view in which entire models ...
Alessio Di Sandro, Rick Salay, Michalis Famelis, S...
books