Paper Info
Title
Combining the box structure development method and CSP
Abstract
In this paper, we combine the Box Structure Development Method (BSDM) [Principles of Information Systems Analysis and Design] and CSP [Communicating Sequential Processes], with the goal of integrating them into an industrial software development environment. BSDM forms an ideal bridge between the actual system being developed and the abstract models used for formal analysis. CSP complements BSDM by providing the mathematical framework for formal verification, together with its model checker FDR. We present generic algorithms for translating specifications from BSDM into CSP, illustrate how they can be formally verified using FDR and summarise their effectiveness in practice.
Year
DOI
Venue
2004
10.1109/ASE.2004.1342760
ASE
Keywords
Field
DocType
communicating sequential processes,formal specification,formal verification,CSP,FDR,abstract models,box structure development method,communicating sequential processes,formal analysis,formal verification,industrial software development,mathematical framework,model checker,specification translation
Model checking,Programming language,Systems engineering,Computer science,Development environment,Communicating sequential processes,Theoretical computer science,Formal specification,Formal methods,Industrial software,Formal verification
Conference
ISSN
ISBN
Citations 
1938-4300
0-7695-2131-2
2
PageRank 
References 
Authors
0.49
4
2
Name
Order
Citations
PageRank
Philippa J. Hopcroft120.49
Guy H. Broadfoot220.49