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 behaviour 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.


  • Please feel free to discuss this article directly on this page. Constructive comments are welcomed! Please sign your TWiki name.

FormForVirtualLibrary edit

Title Evaluating Concurrency Options in Software Specifications
Authors W. Craig Scratchley, C.M. Woodside
Type Conference
Conference/Journal Title Seventh International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'99), College Park, Maryland, USA
Month October
Year 1999
Pages 330-338
DOI 10.1109/MASCOT.1999.805071
Topic attachments
I Attachment Action Size Date Who Comment
mascots99.pdfpdf mascots99.pdf manage 103 K 17 Oct 2005 - 22:43 JameleddineHassine Mascot99
mascots99.ps.psps mascots99.ps.ps manage 734 K 17 Oct 2005 - 22:50 JameleddineHassine mascots99.ps.gz
Topic revision: r2 - 14 Nov 2009, AnisurRahman
This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Foswiki? Send feedback