Modelling Component Behaviour with Concurrent Automata | Zendy

Sotiris Moschoyiannis | Zendy; Michael W. Shields | Zendy; Paul J. Krause | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Modelling Component Behaviour with Concurrent Automata

Author(s) -

Sotiris Moschoyiannis,

Michael W. Shields,

Paul J. Krause

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.2005.04.035

Subject(s) - computer science , concurrency , automaton , component (thermodynamics) , theoretical computer science , compatibility (geochemistry) , timed automaton , model checking , programming language , physics , geochemistry , thermodynamics , geology

The effective (re)use of components requires languages for the precise description of observable behaviour, along with methods for checking the compatibility of component interfaces in a design. This is even more challenging in the presence of concurrency. In previous work we have considered a set-based model of components and their composition, in a concurrent setting. In this paper, we present a class of automata, called Σ-automata, in which true-concurrency is treated as an explicit structural property. We show how an automaton can be derived from a component and that every such automaton generates back a component. Apart from determining a usage protocol for the underlying component, this extension to our model provides useful insights on component composition

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