University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Concurrent Logic and Automata Combined: A Semantics for Components

Bowles, JKF and Moschoyiannis, S (2007) Concurrent Logic and Automata Combined: A Semantics for Components Electronic Notes in Theoretical Computer Science, 175 (2). pp. 135-151.

[img] Text
Restricted to Repository staff only
Available under License : See the attached licence file.

Download (327kB)
[img] Text (licence)
Restricted to Repository staff only

Download (33kB)


In this paper, we describe a true-concurrent hierarchical logic interpreted over concurrent automata. Concurrent automata constitute a special kind of asynchronous transition system (ATS) used for modelling the behaviour of components as understood in component-based software development. Here, a component-based system consists of several interacting components whereby each component manages calls to and from the component using ports to ensure encapsulation. Further, a component can be complex and made of several simpler interacting components. When a complex component receives a request through one of its ports, the port delegates the request to an internal component. Our logic allows us to describe the different views we can have on the system. For example, the overall component interactions, whether they occur sequentially, simultaneously or in parallel, and how each component internally manages the received requests (possibly expressed at different levels of detail). Using concurrent automata as an underlying formalism we guarantee that the expressiveness of the logic is preserved in the model. In future work, we plan to integrate our truly-concurrent approach into the Edinburgh Concurrency Workbench. © 2007 Elsevier B.V. All rights reserved.

Item Type: Article
Authors :
Bowles, JKF
Moschoyiannis, S
Date : 21 June 2007
Identification Number : 10.1016/j.entcs.2007.03.008
Depositing User : Symplectic Elements
Date Deposited : 28 Mar 2017 14:12
Last Modified : 31 Oct 2017 14:52

Actions (login required)

View Item View Item


Downloads per month over past year

Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800