A comparative introduction to CSP and ACT-ONE formal languages-Reference-Cited by-同舟云学术

A comparative introduction to CSP and ACT-ONE formal languages

Published:2009-12-03 Issue:6 Volume:34 Page:1-5
ISSN:0163-5948
Container-title:ACM SIGSOFT Software Engineering Notes
language:en
Short-container-title:SIGSOFT Softw. Eng. Notes

Author:

Nami Mohammad Reza¹,Sheikh-Abbasi Bahareh¹,Khoshandam Marjaneh¹

Affiliation:

1. Islamic Azad University- Qazvin Branch, Iran

Abstract

Formal Methods have changed software engineering development process. They have been used in implementation of software for safety-critical environments. Formal specification languages have good properties for describing a system. ACT-ONE and Communicating Sequential Process (CSP) are two specification languages we have discussed on them in this paper. This paper compares them from different aspects such as their styles, special symbols, databases, and combination with other languages. As future work, we will present a new formal model for a distributed system in our next research.

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/1640162.1640168

Reference16 articles.

1. C.B. jones systematic software Development Using VDM prentice-Hall Int'l 1986. C.B. jones systematic software Development Using VDM prentice-Hall Int'l 1986.

2. Model-checking CSP-Z: strategy, tool support and industrial application

3. Principles of OBJ2

4. I. Claben. Revise ACT ONE: Categorical constructions for an algebraic specification language. In categorical Methods in Computer Science LNCS 393 page 124--141. Spring 1989. I. Claben. Revise ACT ONE: Categorical constructions for an algebraic specification language. In categorical Methods in Computer Science LNCS 393 page 124--141. Spring 1989.

5. C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall. 1985. C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall. 1985.