Article

Evaluating Concurrency Options in Software Specifications

Authors:

MASCOTS '99: Proceedings of the 7th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems

Page 330

Published: 24 March 1999 Publication History

Publisher Site

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.

Cited By

View all

Mussbacher GAmyot DWeiss M(2007)Visualizing early aspects with use case mapsTransactions on aspect-oriented software development III10.5555/1805812.1805817(105-143)Online publication date: 1-Jan-2007
https://dl.acm.org/doi/10.5555/1805812.1805817
Israr TLau DFranks GWoodside M(2005)Automatic generation of layered queuing software performance models from commonly available tracesProceedings of the 5th international workshop on Software and performance10.1145/1071021.1071037(147-158)Online publication date: 12-Jul-2005
https://dl.acm.org/doi/10.1145/1071021.1071037
Billard EDujmović JAlmeida VLea D(2004)Operating system scenarios as Use Case MapsProceedings of the 4th international workshop on Software and performance10.1145/974044.974087(266-277)Online publication date: 14-Jan-2004
https://dl.acm.org/doi/10.1145/974044.974087
Show More Cited By

Index Terms

Evaluating Concurrency Options in Software Specifications
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language types
        Concurrent programming languages
2. Theory of computation
  1. Models of computation
    1. Concurrency
      1. Parallel computing models

Index terms have been assigned to the content through auto-classification.

Recommendations

A methodology for software engineering

This paper presents a methodology for software engineering. This methodology recognizes the existence of two separate and distinctive phases (architecture and implementation) of a software engineering task. These two phases are interfaced by a ...
Steel threads: Software engineering constructs for defining, designing and developing software system architecture
Special Supplement Issue in Section A and B: Selected Papers from the ISCA International Conference on Software Engineering and Data Engineering, 2011

A steel thread is a software engineering construct that identifies the most important execution paths, including software and hardware elements, through a computer system, while meeting business objectives and demonstrating executable architecture. ...
Architecture-level modifiability analysis (ALMA)

Several studies have shown that 50-70% of the total lifecycle cost for a software system is spent on evolving the system. Organizations aim to reduce the cost of these adaptations, by addressing modifiability during the system's development. The ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

MASCOTS '99: Proceedings of the 7th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems

March 1999

ISBN:0769503810

Publisher

IEEE Computer Society

United States

Publication History

Published: 24 March 1999

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 13 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Mussbacher GAmyot DWeiss M(2007)Visualizing early aspects with use case mapsTransactions on aspect-oriented software development III10.5555/1805812.1805817(105-143)Online publication date: 1-Jan-2007
https://dl.acm.org/doi/10.5555/1805812.1805817
Israr TLau DFranks GWoodside M(2005)Automatic generation of layered queuing software performance models from commonly available tracesProceedings of the 5th international workshop on Software and performance10.1145/1071021.1071037(147-158)Online publication date: 12-Jul-2005
https://dl.acm.org/doi/10.1145/1071021.1071037
Billard EDujmović JAlmeida VLea D(2004)Operating system scenarios as Use Case MapsProceedings of the 4th international workshop on Software and performance10.1145/974044.974087(266-277)Online publication date: 14-Jan-2004
https://dl.acm.org/doi/10.1145/974044.974087
Billard E(2004)Operating system scenarios as Use Case MapsACM SIGSOFT Software Engineering Notes10.1145/974043.97408729:1(266-277)Online publication date: 1-Jan-2004
https://dl.acm.org/doi/10.1145/974043.974087
Siddiqui KWoodside CBalsamo SInverardi PSelic B(2002)Performance aware software development (PASD) using resource demand budgetsProceedings of the 3rd international workshop on Software and performance10.1145/584369.584412(275-285)Online publication date: 24-Jul-2002
https://dl.acm.org/doi/10.1145/584369.584412
Petriu DWoodside MBalsamo SInverardi PSelic B(2002)Analysing software requirements specifications for performanceProceedings of the 3rd international workshop on Software and performance10.1145/584369.584371(1-9)Online publication date: 24-Jul-2002
https://dl.acm.org/doi/10.1145/584369.584371
Woodside MPetriu DSiddiqui KTracz WMagee JYoung M(2002)Performance-related completions for software specificationsProceedings of the 24th International Conference on Software Engineering10.1145/581339.581346(22-32)Online publication date: 19-May-2002
https://dl.acm.org/doi/10.1145/581339.581346
Amyot DMussbacher G(2000)On the extension of UML with use case maps conceptsProceedings of the 3rd international conference on The unified modeling language: advancing the standard10.5555/1765175.1765178(16-31)Online publication date: 2-Oct-2000
https://dl.acm.org/doi/10.5555/1765175.1765178

Abstract

Cited By

Index Terms

Recommendations

A methodology for software engineering

Steel threads: Software engineering constructs for defining, designing and developing software system architecture

Architecture-level modifiability analysis (ALMA)

Comments

Information

Published In

Publisher

Publication History

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations