Communicating Concurrent Objects in HiddenCCS | Zendy

Gabriel Ciobanu | Zendy; Dorel Lucanu | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Communicating Concurrent Objects in HiddenCCS

Author(s) -

Gabriel Ciobanu,

Dorel Lucanu

Publication year - 2005

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2004.06.018

Subject(s) - synchronizing , computer science , rewriting , programming language , formalism (music) , process calculus , modular design , operational semantics , theoretical computer science , semantics (computer science) , art , telecommunications , musical , transmission (telecommunications) , visual arts

In this paper we add value-passing communication to hiddenCCS, a new formalism proposed in [G. Ciobanu, and D. Lucanu. Specification and Verification of Synchronizing Concurrent Objects. In E. Boiten, J. Derrick, and G. Smith (Eds.) IFM 2004, Lecture Notes in Computer Science vol. 2999, pp. 307-327, Springer, 2004] for synchronizing concurrent objects. We use hidden algebra to specify object-oriented systems, and CCS process algebra to describe the coordination aspects. The new specification formalism extends the object specification with synchronization and communication elements associated with methods and attributes of the objects, and use a CCS description of the interaction patterns. The operational semantics of hiddenCCS specifications is based on labeled transition systems which can be specified in rewriting logic. We use Maude as a platform for verification of the communicating concurrent objects specified in hiddenCCS. Triple Modular Redundancy is used as an example of a hiddenCCS specification and its verification in Maude

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research