Paper Info
Title
Formalisation and Analysis of Objects as CSP Processes
Abstract
CSP-OZ is a formal specification language. It is a formal combination of the process algebra CSP and Object-Z, an object-oriented version of the model-based Z language. CSP-OZ lacks tool support, having only a type checker and a model-checking strategy. Unfortunately, the model-checking strategy for CSP-OZ does not deal with the object-oriented features of this language. In this work, we propose design patterns for CSP to capture such features and for CSP-OZ. Our approach complements the original model-checking strategy by also considering object-oriented characteristics.
Year
DOI
Venue
2009
10.1007/978-3-642-10452-7_16
SBMF
Keywords
Field
DocType
csp processes,design pattern,process algebra csp,formal combination,model-based z language,object-oriented characteristic,object-oriented version,object-oriented feature,original model-checking strategy,model-checking strategy,formal specification language,process algebra,model checking,object oriented
Specification language,Programming language,Computer science,Software design pattern,Theoretical computer science,Formal specification,Object language,Language Of Temporal Ordering Specification,Process calculus,Object-Z,Design pattern
Conference
Volume
ISSN
Citations 
5902
0302-9743
0
PageRank 
References 
Authors
0.34
11
3
Name
Order
Citations
PageRank
Renata Kaufman100.34
Augusto Sampaio250143.38
Alexandre Cabral Mota319918.27