Conference Proceeding

A methodology for verification and analysis of parallel and distributed systems requirements specifications

Dept. of Electr. & Comput. Eng., West Virginia Univ., Morgantown, WV
06/1997; DOI:10.1109/PDSE.1997.596824 ISBN: 0-8186-8043-1 pp.28 - 38 In proceeding of: Software Engineering for Parallel and Distributed Systems, 1997. Proceedings., Second International Workshop on
Source: IEEE Xplore

ABSTRACT Performing rigorous analysis of parallel and distributed systems
(PDS) specifications is one of the important tasks during the early
stages of development. The ambiguities and errors left unchecked during
the analysis phase can creep into design and development phases,
resulting in cost and schedule overruns and a less reliable end product.
Commercial off the shelf CASE (Computer Aided Software Engineering)
tools can play an important role in the analysis and design phases.
However techniques must be developed to address the shortcomings of CASE
tools. A set of such techniques is presented in this paper. CASE tools
can be used to gather PDS specifications in the form of analysis models.
The techniques presented in this paper deal with the problem of
performing rigorous analysis of PDS specifications originally developed
using a CASE tool. The approach is based on integrating a CASE tool with
a verification tool based on coloured Petri nets (CPNs). CPNs can be
used to model and analyze concurrency in specifications and design
phases. Dynamic simulations of CPN models can be used to conduct
performance/performability analysis as well as risk assessment studies

0 0
 · 
0 Bookmarks
 · 
15 Views
Data provided are for informational purposes only. Although carefully collected, accuracy cannot be guaranteed. The impact factor represents a rough estimation of the journal's impact factor and does not reflect the actual current impact factor. Publisher conditions are provided by RoMEO. Differing provisions from the publisher's actual policy or licence agreement may be applicable.

Keywords

analysis models
 
analysis phase
 
CASE tool
 
CASE tools
 
coloured Petri nets
 
CPN models
 
CPNs
 
design phases
 
Dynamic simulations
 
paper deal
 
PDS specifications
 
Performing rigorous analysis
 
reliable end product
 
rigorous analysis
 
risk assessment studies
 
schedule overruns
 
shelf CASE
 
techniques
 
tools
 
verification tool