Refinement in integrated specifications of CSP-OZ
Formal specification provides the means to verify a system's correctness and this can be done by the development technique of refinement of formal specification. Considering the multiple views of a system, in integrated formal specifications, will introduce more than one refinement that can be...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Institute of Electrical and Electronics Engineers
2015
|
| Subjects: | |
| Online Access: | http://ir.unimas.my/id/eprint/15210/ http://ir.unimas.my/id/eprint/15210/2/Refinement.pdf |
| _version_ | 1848837805965312000 |
|---|---|
| author | Azman Bujang, Masli Edwin, Mit Nurfauza, Jali Yanti Rosmunie, Bujang |
| author_facet | Azman Bujang, Masli Edwin, Mit Nurfauza, Jali Yanti Rosmunie, Bujang |
| author_sort | Azman Bujang, Masli |
| building | UNIMAS Institutional Repository |
| collection | Online Access |
| description | Formal specification provides the means to verify a system's correctness and this can be done by the development technique of refinement of formal specification. Considering the multiple views of a system, in integrated formal specifications, will introduce more than one refinement that can be applied to the specification. This paper investigates the interaction of the different parts of an integrated specification under refinement. The integrated notation of CSP-OZ integrates the behaviour based language CSP with the state based notation, Object-Z. In such integrated notation, not only different views of a system are available, but the refinement relations in both parts are also of different basis. |
| first_indexed | 2025-11-15T06:45:30Z |
| format | Article |
| id | unimas-15210 |
| institution | Universiti Malaysia Sarawak |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-15T06:45:30Z |
| publishDate | 2015 |
| publisher | Institute of Electrical and Electronics Engineers |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | unimas-152102022-09-15T01:36:05Z http://ir.unimas.my/id/eprint/15210/ Refinement in integrated specifications of CSP-OZ Azman Bujang, Masli Edwin, Mit Nurfauza, Jali Yanti Rosmunie, Bujang QA75 Electronic computers. Computer science Formal specification provides the means to verify a system's correctness and this can be done by the development technique of refinement of formal specification. Considering the multiple views of a system, in integrated formal specifications, will introduce more than one refinement that can be applied to the specification. This paper investigates the interaction of the different parts of an integrated specification under refinement. The integrated notation of CSP-OZ integrates the behaviour based language CSP with the state based notation, Object-Z. In such integrated notation, not only different views of a system are available, but the refinement relations in both parts are also of different basis. Institute of Electrical and Electronics Engineers 2015-11-20 Article PeerReviewed text en http://ir.unimas.my/id/eprint/15210/2/Refinement.pdf Azman Bujang, Masli and Edwin, Mit and Nurfauza, Jali and Yanti Rosmunie, Bujang (2015) Refinement in integrated specifications of CSP-OZ. 2015 4th International Conference on Software Engineering and Computer Systems, ICSECS 2015: Virtuous Software Solutions for Big Data. pp. 136-141. ISSN ISBN: 978-146736722- https://www.scopus.com/inward/record.uri?eid=2-s2.0-84962050760&doi=10.1109%2fICSECS.2015.7333098&partnerID=40&md5=80cb2d56d28953297b3dc0d93f45f383 DOI: 10.1109/ICSECS.2015.7333098 |
| spellingShingle | QA75 Electronic computers. Computer science Azman Bujang, Masli Edwin, Mit Nurfauza, Jali Yanti Rosmunie, Bujang Refinement in integrated specifications of CSP-OZ |
| title | Refinement in integrated specifications of CSP-OZ |
| title_full | Refinement in integrated specifications of CSP-OZ |
| title_fullStr | Refinement in integrated specifications of CSP-OZ |
| title_full_unstemmed | Refinement in integrated specifications of CSP-OZ |
| title_short | Refinement in integrated specifications of CSP-OZ |
| title_sort | refinement in integrated specifications of csp-oz |
| topic | QA75 Electronic computers. Computer science |
| url | http://ir.unimas.my/id/eprint/15210/ http://ir.unimas.my/id/eprint/15210/ http://ir.unimas.my/id/eprint/15210/ http://ir.unimas.my/id/eprint/15210/2/Refinement.pdf |