skip to main content
research-article

A comparative introduction to CSP and ACT-ONE formal languages

Published: 03 December 2009 Publication History

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.

References

[1]
C.B. jones, systematic software Development Using VDM, prentice-Hall Int'l, 1986.
[2]
A. Mota and A. Sampaio. Model-checking CSP-Z: strategy, tool support and industrial application. Sci. Comput. Program., 40(1):59--96, 2001.
[3]
Futatsugi, k, et al, "principles of OBJ2," in proc. ACM principles of programming languages, 1985,pp. 52--66.
[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.
[5]
C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall. 1985.
[6]
Younas, M., Chao, K., Anane, R., James, A., Tsai, and C.F.: Transaction oriented engineering design and formal specification: A multi-agent approach. Journal of Integrated Design and Process Science 7(2) (2003) 57--70.
[7]
Schroeder, M.: Will concurrency theory help verifying multi-agent systems? - a case study. In: EPIA Workshop on Multi-Agent Systems: Theory and Applications, MASTA97. (1997).
[8]
Roscoe, A. W., "The Theory and Practice of Concurrency," Prentice Hall Series in Computer Science, Prentice Hall Publishers, London, New York (1198), 565pp. With associated web site http://www.comlab.ox.ac.uk/oucl/publications/books/concurrency/
[9]
Goldsmith, M., "FDR: User Manual and Tutorial," version 2.77, Formal Systems (Europe) Ltd, 2001.
[10]
H. Ehrig. W. Fey. And H. Hansen. ACT ONE: An algebraic specification language with two level of semantics. Technical Report 83/03, Technische university at Berlin, 1983.
[11]
H. Ehring b. Mahr. Fundamentals of Algebraic Specification 1, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer, 1985.
[12]
J.D. Ullman. Principles of Database and Knowledge-Base Systems: Vol. I. Computer Science Press, 1988.
[13]
J.D. Ullman. Principles of Database and Knowledge-Base Systems: Vol. II. Computer Science Press, 1988.
[14]
R. Junglclaus Etal, TROLL: A language for specification of information system, ACM Trams on Information, systems (Tols), vol. 14, No. 2, pp. 165--211, 1996.
[15]
A. Sernadas, C. Sernadas, and H.D. Erich. Object-Oriented Specification of Database: An Algebraic approach. In P.M.Stoecker and W. Kent, editors, proc. 13thInt. conf. on very large Databases, page 107--116. VLDB Endowment Press, Saratoga (ca), 1987.
[16]
J.-R. Abrial and L. Mussat. Introducing dynamic constraints in B. In D. Bert, editor, Second International B Conference, April 1998. {B}
[17]
G. Smith. A semantic integration of Object-Z and CSP for the specification of Concurrent systems. Proceedings FME '97, LNCS 1313, pages 62--81. Springer, 1997.

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes  Volume 34, Issue 6
November 2009
115 pages
ISSN:0163-5948
DOI:10.1145/1640162
Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 03 December 2009
Published in SIGSOFT Volume 34, Issue 6

Check for updates

Author Tags

  1. ACT-ONE
  2. CSP
  3. formal method
  4. formal specification languages
  5. software engineering

Qualifiers

  • Research-article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 9
    Total Downloads
  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 16 Feb 2025

Other Metrics

Citations

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media