Bibliographic record
Abstract
Model-Driven Engineering (MDE) enables the automatic generation of performance models from software design models by model transformations.The performance models are used for performance analysis of the software under development, to guide the design choices from an early stage and to ensure that the system will meet its performance requirements.The software model evolves during development, so inconsistencies may appear between the software and performance models.This research aims at keeping the software and performance models synchronized.An important concept in model transformations is the mapping between the source and target (meta)models, which can be specified in a reusable manner with the help of mapping patterns.In this research we propose a subclass of such patterns, called containment-based mapping patterns.used to map a group of containment-related source model elements into a group of target model elements.We focus on these patterns because the containment relationship is frequently found in metamodel specifications.The containment mapping patterns are applied in the context of a non-trivial transformation from UML software models extended with MARTE performance annotations into Layered Queueing Network (LQN) performance models.We show how the mapping patterns can be applied for designing the transformation rules for a batch transformation implemented in a specific language.(The complete implementation of the batch transformation was done in separate work).In this research, we extend the batch transformation to generate, beside the target model, a traceability model between the mapped source and target elements.After solving the generated LQN model with an existing solver, the performance results are fed back to the software model by following the cross-model trace links.iii The next objective of the research is to design (based on the mapping patterns), implement and evaluate an incremental change propagation (ICP) approach to re-synchronize the software and performance models.During the development process, when the software model evolves, we detect the changes with the Eclipse EMF Compare tool, then incrementally propagate them to the LQN model.The proposed ICP is implemented with the Epsilon Object Language (EOL) and is evaluated by applying it to a set of case studies.x 9 Chapter: Conclusion ..........
Fetched live from OpenAlex and de-inverted. Abstracts are not stored in this database: the inverted indexes are 8.6 GB of the frame’s 9.3 GB of text, and the host has 13 GB free.
How this classification was reachedexpand
Full frame machine prediction
Teacher imitationNot calibrated prevalence, not ground truth. Human validation pending. The Gemma side is a direct model label for every work in the frame, read from the title-only record. The Codex side is a classifier learned from the 10,348 direct Codex labels and calibrated to design-weighted sample rates; fields without enough sample support carry no Codex call. Candidate is the union of the two sides; consensus is their intersection. These outputs are machine_predicted_unvalidated and are not human labels.
Distilled classifier scores by category (both heads)
| Category | Codex | Gemma |
|---|---|---|
| Metaresearch | 0.005 | 0.039 |
| Meta-epidemiology (narrow) | 0.001 | 0.001 |
| Meta-epidemiology (broad) | 0.001 | 0.002 |
| Bibliometrics | 0.003 | 0.002 |
| Science and technology studies | 0.001 | 0.001 |
| Scholarly communication | 0.004 | 0.006 |
| Open science | 0.003 | 0.005 |
| Research integrity | 0.001 | 0.003 |
| Insufficient payload (model declined to judge) | 0.007 | 0.003 |
Machine scores (provisional)
The two teacher heads of the student model, read on this work. A score orders the frame for review; it never asserts a category, and the validation status ships verbatim with every row.
Baseline scores from an immature model (maturity gate not passed, 7 training rounds). Scores rank; they never assert a category.
score_only:v0-immature-baseline · verbatim from the scoring run: score_only means the number may rank works, and no category label ships from itClassification
machine, unvalidatedMachine predicted; a candidate call from one source (direct Gemma or distilled Codex), not a consensus.
How this classification was reached, model by model and score by score, is at the end of the page under "How this classification was reached".