Quantitative system performance: computer system analysis using queueing network models
Quantitative system performance: computer system analysis using queueing network models
Communicating sequential processes
Communicating sequential processes
Elements of practical performance modeling
Elements of practical performance modeling
Analytic Queueing Network Models for Parallel Processing of Task Systems
IEEE Transactions on Computers
Modeling concurrency with partial orders
International Journal of Parallel Programming
Modeling the software architecture of a prototype parallel machine
SIGMETRICS '87 Proceedings of the 1987 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Modeling of Concurrent Task Execution in a Distributed System for Real-Time Control
IEEE Transactions on Computers
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Strategies for real-time system specification
Strategies for real-time system specification
Modern structured analysis
Throughput calculation for basic stochastic rendezvous networks
Performance Evaluation
Practical visual techniques in system design: with applications to Ada
Practical visual techniques in system design: with applications to Ada
Tool integration in software engineering environments
Proceedings of the international workshop on environments on Software engineering environments
The CAEDE performance analysis tool
SETA1 Proceedings of the first international symposium on Environments and tools for Ada
Object lifecycles: modeling the world in states
Object lifecycles: modeling the world in states
Task Response Time for Real-Time Distributed Systems with Resource Contentions
IEEE Transactions on Software Engineering
TimeBench: a CAD tool for real-time system design
SETA2 Proceedings of the second international symposium on Environments and tools for Ada
Performance Engineering of Software Systems
Performance Engineering of Software Systems
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications
IEEE Transactions on Software Engineering
A Perspective on Iterative Methods for the Approximate Analysis of Closed Queueing Networks
Proceedings of the International Workshop on Computer Performance and Reliability
Object-Oriented Software Engineering: A Use Case Driven Approach
Object-Oriented Software Engineering: A Use Case Driven Approach
A wideband approach to integrating performance prediction into a software design environment
Proceedings of the 1st international workshop on Software and performance
Experience in performance analysis of large real-time systems
Proceedings of the 1st international workshop on Software and performance
Deriving a queueing network based performance model from UML diagrams
Proceedings of the 2nd international workshop on Software and performance
The metaPL approach to the performance analysis of distributed software systems
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
MetaPL: A Notation System for Parallel Program Description and Performance Analysis
PaCT '01 Proceedings of the 6th International Conference on Parallel Computing Technologies
Software Performance Evaluation by Models
Performance Evaluation: Origins and Directions
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Hierarchical Performance Modeling for Distributed System Architectures
ISCC '00 Proceedings of the Fifth IEEE Symposium on Computers and Communications (ISCC 2000)
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
UML based performance modeling of distributed systems
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
A model-based framework for software performance feedback
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Software performance antipatterns: modeling and 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
An approach for modeling and detecting software performance antipatterns based on first-order logics
Software and Systems Modeling (SoSyM)
| Hi-index | 0.00 |
This paper describes a multiview characterization of concurrent software and systems suitable for displaying and analyzing performance information. The views draw from well-known descriptions, and are compatible with established techniques and tools such as execution graphs, Petri Nets, StateCharts, structured design or object-oriented design, and various models for performance. The views are connected by means of a 驴Core model驴 and are used together to extract information relating to system integration, such as interprocess overheads, and the delay behavior of separate software components in complex systems. The integration of the views in the Core assists by converting results in one view (such as scheduling delay for resources) to parameters in another (such as delays along a path). The ultimate goal of the views is to support designers in making tradeoffs which involve performance, and to provide early assessment of the performance potential of software designs.