Model transformations in non-functional analysis

Authors:
Steffen Becker
Affiliations:
Heinz Nixdorf Institute, Department of Computer Science, University of Paderborn, Paderborn, Germany
Venue:
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Year:
2012

Citing 32
Cited 0

Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
SAAM: a method for analyzing the properties of software architectures

ICSE '94 Proceedings of the 16th international conference on Software engineering
Queueing networks and Markov chains: modeling and performance evaluation with computer science applications

Queueing networks and Markov chains: modeling and performance evaluation with computer science applications
Performance solutions: a practical guide to creating responsive, scalable software

Performance solutions: a practical guide to creating responsive, scalable software
Process algebra for performance evaluation

Theoretical Computer Science
Performance-related completions for software specifications

Proceedings of the 24th International Conference on Software Engineering
Documenting Software Architectures: Views and Beyond

Documenting Software Architectures: Views and Beyond
The Method of Layers

IEEE Transactions on Software Engineering
Generative Programming and Active Libraries

Selected Papers from the International Seminar on Generic Programming
From design to analysis models: a kernel language for performance and reliability analysis of component-based systems

Proceedings of the 5th international workshop on Software and performance
Simulation in java with SSJ

WSC '05 Proceedings of the 37th conference on Winter simulation
Model-Driven Software Development: Technology, Engineering, Management

Model-Driven Software Development: Technology, Engineering, Management
The Definitive ANTLR Reference: Building Domain-Specific Languages

The Definitive ANTLR Reference: Building Domain-Specific Languages
Architecture-Based Software Reliability Analysis: Overview and Limitations

IEEE Transactions on Dependable and Secure Computing
Coupled model transformations

WOSP '08 Proceedings of the 7th international workshop on Software and performance
Classification of Concrete Textual Syntax Mapping Approaches

ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
A Model Transformation from the Palladio Component Model to Layered Queueing Networks

SIPEW '08 Proceedings of the SPEC international workshop on Performance Evaluation: Metrics, Models and Benchmarks
Model-Driven Generation of Performance Prototypes

SIPEW '08 Proceedings of the SPEC international workshop on Performance Evaluation: Metrics, Models and Benchmarks
The Palladio component model for model-driven performance prediction

Journal of Systems and Software
Models@ run.time

Computer
Providing Architectural Languages and Tools Interoperability through Model Transformation Technologies

IEEE Transactions on Software Engineering
Parametric performance completions for model-driven performance prediction

Performance Evaluation
Domain Specific Languages

Domain Specific Languages
Performance modeling in industry: a case study on storage virtualization

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Using Genetic Search for Reverse Engineering of Parametric Behavior Models for Performance Prediction

IEEE Transactions on Software Engineering
Reverse Engineering Component Models for Quality Predictions

CSMR '10 Proceedings of the 2010 14th European Conference on Software Maintenance and Reengineering
An industrial case study on quality impact prediction for evolving service-oriented software

Proceedings of the 33rd International Conference on Software Engineering
Model-Based Software Performance Analysis

Model-Based Software Performance Analysis
From monolithic to component-based performance evaluation of software architectures

Empirical Software Engineering
Automated Transformation of Component-Based Software Architecture Models to Queueing Petri Nets

MASCOTS '11 Proceedings of the 2011 IEEE 19th Annual International Symposium on Modelling, Analysis, and Simulation of Computer and Telecommunication Systems
Parameterized reliability prediction for component-based software architectures

QoSA'10 Proceedings of the 6th international conference on Quality of Software Architectures: research into Practice - Reality and Gaps
PRISM: a tool for automatic verification of probabilistic systems

TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

The quality assessment of software design models in early development phases can prevent wrong design decisions on the architectural level. As such wrong decisions are usually very cost-intensive to revert in late testing phases, model-driven quality predictions offer early quality estimates to prevent such erroneous decisions. By model-driven quality predictions we refer to analyses which run fully automated based on model-driven methods and tools. In this paper, we give an overview on the process of model-driven quality analyses used today with a special focus on issues that arise in fully automated approaches.