Process-translatable Petri Nets for the rapid prototyping of process control systems
IEEE Transactions on Software Engineering
MIDAS: Integrated Design and Simulation of Distributed Systems
IEEE Transactions on Software Engineering
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
Software architecture in practice
Software architecture in practice
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
A wideband approach to integrating performance prediction into a software design environment
Proceedings of the 1st international workshop on Software and performance
An approach to performance evaluation of software architectures
Proceedings of the 1st international workshop on Software and performance
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Use Case Maps as Architectural Entities for Complex Systems
IEEE Transactions on Software Engineering
Performance engineering of SDL/MSC systems
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue on advanced topics on SDL and MSC
Software engineering and performance: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Evaluating the Scalability of Distributed Systems
IEEE Transactions on Parallel and Distributed Systems
Deriving a queueing network based performance model from UML diagrams
Proceedings of the 2nd international workshop on Software and performance
Automated performance modeling of softwaree genrated by a design environment
Performance Evaluation
Performance Engineering of Software Systems
Performance Engineering of Software Systems
Lectures on formal methods and performance analysis: first EEF/Euro summer school on trends in computer science
Performance aware software development (PASD) using resource demand budgets
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
A Method for Design and Performance Modeling of Client/Server Systems
IEEE Transactions on Software Engineering
Deriving Software Performance Models from Architectural Patterns by Graph Transformations
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
Automatic Generation of a Software Performance Model Using an Object-Oriented Prototype
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
An Efficient Distributed Tuple Space Implementation for Networks of Workstations
Euro-Par '96 Proceedings of the Second International Euro-Par Conference on Parallel Processing - Volume I
Measurement Tools and Modeling Techniques for Evaluating Web Server Performance
Proceedings of the 9th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Evaluating Concurrency Options in Software Specifications
MASCOTS '99 Proceedings of the 7th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems
UML based performance modeling framework for object-oriented distributed systems
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Analysing software requirements specifications for performance
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
Performance aware software development (PASD) using resource demand budgets
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
Early-stage performance modeling and its application for integrated embedded control software design
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Performance modeling from software components
WOSP '04 Proceedings of the 4th international workshop on Software and performance
The Future of Software Performance Engineering
FOSE '07 2007 Future of Software Engineering
Rule-based automatic software performance diagnosis and improvement
WOSP '08 Proceedings of the 7th international workshop on Software and performance
WOSP '08 Proceedings of the 7th international workshop on Software and performance
A pattern-based performance completion for Message-oriented Middleware
WOSP '08 Proceedings of the 7th international workshop on Software and performance
Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering
From annotated software designs (UML SPT/MARTE) to model formalisms
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Rule-based automatic software performance diagnosis and improvement
Performance Evaluation
Performance evaluation of component-based software systems: A survey
Performance Evaluation
Parametric performance completions for model-driven performance prediction
Performance Evaluation
Performance-driven stepwise refinement of component-based architectures
Proceedings of the 2nd International Workshop on the Quality of Service-Oriented Software Systems
Integration of event-based communication in the palladio software quality prediction framework
Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS
Completing UML model of component-based system with middleware for performance evaluation
EUC'06 Proceedings of the 2006 international conference on Emerging Directions in Embedded and Ubiquitous Computing
ICPE '12 Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering
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
Model transformations in non-functional analysis
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
Rule-based automatic software performance diagnosis and improvement
Performance Evaluation
Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering
Hi-index | 0.00 |
To evaluate a software specification for its performance potential, it is necessary to supply additional information, not required for functional specification. Examples range from the execution cost of operations and details of deployment, up to missing subsystems and layers. The term "completions" is used here to include all such additions, including annotations, component insertions, environment infrastructure, deployment, communication patterns, design refinements and scenario or design transformations which correspond to a given deployment style. Completions are related to the purpose of evaluation, so they are tailored to describing the performance at a suitable level of detail. Completions for evaluating other attributes such as reliability or security are also possible. The paper describes how completions are added to a specification regardless of the language used (provided that it describes the system behaviour as well as its structure), and experience with completions in Use Case Maps.