Formalisation and Analysis of Objects as CSP Processes Export

@inbook{citeulike:6084207, 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.}, address = {Berlin, Heidelberg}, author = {Kaufman, Renata and Sampaio, Augusto and Mota, Alexandre}, booktitle = {SBMF}, chapter = {16}, citeulike-article-id = {6084207}, citeulike-linkout-0 = {http://dblp.uni-trier.de/rec/bibtex/conf/sbmf/KaufmanSM09}, citeulike-linkout-1 = {http://dx.doi.org/10.1007/978-3-642-10452-7_16}, citeulike-linkout-2 = {http://www.springerlink.com/content/x232v46501104657}, doi = {10.1007/978-3-642-10452-7_16}, editor = {Marcel Vinicius Medeiros Oliveira and Woodcock, Jim and Marcel Vinicius Medeiros Oliveira and Woodcock, Jim}, isbn = {978-3-642-10451-0}, issn = {1611-3349}, journal = {Formal Methods: Foundations and Applications}, keywords = {2009, \_conference, csp}, pages = {236--250}, posted-at = {2009-11-08 13:56:08}, priority = {2}, publisher = {Springer Berlin Heidelberg}, series = {Lecture Notes in Computer Science}, title = {Formalisation and Analysis of Objects as CSP Processes}, url = {http://dx.doi.org/10.1007/978-3-642-10452-7_16}, volume = {5902}, year = {2009} }

TY - CHAP ID - citeulike:6084207 L3 - citeulike-article-id:6084207 N2 - 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. JF - Formal Methods: Foundations and Applications SE - Lecture Notes in Computer Science SN - 978-3-642-10451-0 AD - Berlin, Heidelberg EP - 250 TI - Formalisation and Analysis of Objects as CSP Processes PB - Springer Berlin Heidelberg VL - 5902 T2 - SBMF SP - 236 KW - 2009 KW - _conference KW - csp AU - Kaufman, Renata AU - Sampaio, Augusto AU - Mota, Alexandre A2 - Marcel Vinicius Medeiros Oliveira A2 - Woodcock, Jim A2 - Marcel Vinicius Medeiros Oliveira A2 - Woodcock, Jim PY - 2009/// UR - http://dx.doi.org/10.1007/978-3-642-10452-7_16 ER -