Quantitative system performance: computer system analysis using queueing network models
Quantitative system performance: computer system analysis using queueing network models
The composite bound method for computing throughout bounds in multiple class environments
Performance Evaluation
Queueing networks and Markov chains: modeling and performance evaluation with computer science applications
The Unified Modeling Language user guide
The Unified Modeling Language user guide
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Open, Closed, and Mixed Networks of Queues with Different Classes of Customers
Journal of the ACM (JACM)
Software engineering and performance: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Performance Guarantees for Web Server End-Systems: A Control-Theoretical Approach
IEEE Transactions on Parallel and Distributed Systems
Simulation Modeling and Analysis
Simulation Modeling and Analysis
Capacity Planning for Web Services: metrics, models, and methods
Capacity Planning for Web Services: metrics, models, and methods
From UML sequence diagrams and statecharts to analysable petri net models
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
PRIMA-UML: a performance validation incremental methodology on early UML diagrams
Science of Computer Programming - Special issue on unified modeling language (UML 2000)
Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
UML Modelling and Performance Analysis of Mobile Software Architectures
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Verifying Continuous Time Markov Chains
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
IEEE Transactions on Mobile Computing
A simulation-based approach to software performance modeling
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Model-Driven Development: A Metamodeling Foundation
IEEE Software
QoS-Aware Middleware for Web Services Composition
IEEE Transactions on Software Engineering
Model-Based Performance Prediction in Software Development: A Survey
IEEE Transactions on Software Engineering
Compositional Generation of Software Architecture Performance QN Models
WICSA '04 Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
Performance by unified model analysis (PUMA)
Proceedings of the 5th international workshop on Software and performance
From UML to LQN by XML algebra-based model transformations
Proceedings of the 5th international workshop on Software and performance
Concurrency: State Models And Java Programs
Concurrency: State Models And Java Programs
Theory, Volume 1, Queueing Systems
Theory, Volume 1, Queueing Systems
SIGMETRICS '06/Performance '06 Proceedings of the joint international conference on Measurement and modeling of computer systems
Feature-based survey of model transformation approaches
IBM Systems Journal - Model-driven software development
A Framework for Optimal Service Selection in Broker-Based Architectures with Multiple QoS Classes
SCW '06 Proceedings of the IEEE Services Computing Workshops
Model-Based performance prediction with the palladio component model
WOSP '07 Proceedings of the 6th international workshop on Software and performance
SLA based resource allocation policies in autonomic environments
Journal of Parallel and Distributed Computing
Journal of Systems and Software
Analytic modeling of multitier Internet applications
ACM Transactions on the Web (TWEB)
Is abstraction the key to computing?
Communications of the ACM
Adaptive Service Composition in Flexible Processes
IEEE Transactions on Software Engineering
Quantitative verification: models techniques and tools
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Performance evaluation of UML design with Stochastic Well-formed Nets
Journal of Systems and Software
Geometric Bounds: A Noniterative Analysis Technique for Closed Queueing Networks
IEEE Transactions on Computers
Understanding and Designing New Server Architectures for Emerging Warehouse-Computing Environments
ISCA '08 Proceedings of the 35th Annual International Symposium on Computer Architecture
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Power and Performance Management of Virtualized Computing Environments Via Lookahead Control
ICAC '08 Proceedings of the 2008 International Conference on Autonomic Computing
ICAC '06 Proceedings of the 2006 IEEE International Conference on Autonomic Computing
Quality Prediction of Service Compositions through Probabilistic Model Checking
QoSA '08 Proceedings of the 4th International Conference on Quality of Software-Architectures: Models and Architectures
A Taxonomy of Model Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Integrating performance and reliability analysis in a non-functional MDA framework
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Performance prediction of web service workflows
QoSA'07 Proceedings of the Quality of software architectures 3rd international conference on Software architectures, components, and applications
Model transformation in software performance engineering
QoSA'06 Proceedings of the Second international conference on Quality of Software Architectures
Architecture-based reliability prediction for service-oriented computing
Architecting Dependable Systems III
Performance prediction of component-based systems
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Model-Driven Assessment of QoS-Aware Self-Adaptation
Software Engineering for Self-Adaptive Systems
Towards software performance engineering for multicore and manycore systems
ACM SIGMETRICS Performance Evaluation Review
Hi-index | 0.00 |
Models play a central role in software engineering. They may be used to reason about requirements, to identify possible missing parts or conflicts. They may be used at design time to analyze the effects and trade-offs of different architectural choices before starting an implementation, anticipating the discovery of possible defects that might be uncovered at later stages, when they might be difficult or very expensive to remove. They may also be used at run time to support continuous monitoring of compliance of the running system with respect to the desired model. This paper focuses on models that support reasoning about non-functional system properties -- namely, performance and reliability. It provides a taxonomy, which tries to capture the main facets that are needed to understand, choose, and use models appropriately in the various phases of software development and operation. The paper also focuses on the roundtrip from models to reality and back. The forward path is followed in model-driven development. The backward path is instead meant to enable model calibration, with the goal of building adequate abstractions, which reflect reality and its properties in a faithful manner. Calibration may be required because of flaws in the initial model or in the process that derived the implementation, or because of changes that occurred in the environment or in the requirements. This leads to the idea that models should continue to live at run time, on-line with the running implementation. Calibrated models may drive the necessary dynamic changes that may support self-adaptation of the implemented system.