Refinement in integrated specifications of CSP-OZ

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-

[img] PDF
Refinement-in-integrated-specifications-of-CSP-OZ_2015_2015-4th-International-Conference-on-Software-Engineering-and-Computer-Systems,-ICSECS-2015-Virtuous-Software-Solutions-for-Big-Data.html

Download (1kB)

Abstract

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.

Item Type: Article
Uncontrolled Keywords: Big data; Computer software; Software engineering; Specifications Development technique; Multiple views; State based, unimas, university, universiti, Borneo, Malaysia, Sarawak, Kuching, Samarahan, ipta, education, research, Universiti Malaysia Sarawak
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions: Academic Faculties, Institutes and Centres > Faculty of Computer Science and Information Technology
Depositing User: Ibrahim
Date Deposited: 06 Feb 2017 02:10
Last Modified: 06 Feb 2017 02:10
URI: http://ir.unimas.my/id/eprint/15210

Actions (For repository members only: login required)

View Item View Item