Evaluating Concurrency Options in Software Specifications

Authors:
W. Craig Scratchley;C. Murray Woodside
Affiliations:
-;-
Venue:
MASCOTS '99 Proceedings of the 7th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems
Year:
1999

Citing 0
Cited 10

Performance-related completions for software specifications

Proceedings of the 24th International Conference on Software Engineering
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
Addressing Performance Requirements Using a Goal and Scenario-Oriented Approach

CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Software Performance Models from System Scenarios in Use Case Maps

TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Operating system scenarios as Use Case Maps

WOSP '04 Proceedings of the 4th international workshop on Software and performance
Automatic generation of layered queuing software performance models from commonly available traces

Proceedings of the 5th international workshop on Software and performance
Software performance models from system scenarios

Performance Evaluation
On the extension of UML with use case maps concepts

UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Visualizing early aspects with use case maps

Transactions on aspect-oriented software development III

Quantified Score

Hi-index	0.00

Visualization

Abstract

An approach called PERFECT is described which evaluates the feasibility of proposed software concurrency architectures for a set of scenarios and a set of quality-of-service requirements. An evaluation is performed by constructing and simulating a virtual implementation which conforms to the specified behavior and the specified concurrency architecture. For simulation, the execution of application activities and kernel primitives must be sequenced for each concurrent thread. The approach is successfully demonstrated on specified scenarios for a Group Communication Server.