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] PDF
logauto-foclasa06.pdf
Restricted to Repository staff only
Available under License : See the attached licence file.

Download (327kB)
[img] PDF (licence)
SRI_deposit_agreement.pdf
Restricted to Repository staff only

Download (33kB)

Abstract

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 :
AuthorsEmailORCID
Bowles, JKFUNSPECIFIEDUNSPECIFIED
Moschoyiannis, SUNSPECIFIEDUNSPECIFIED
Date : 21 June 2007
Identification Number : https://doi.org/10.1016/j.entcs.2007.03.008
Depositing User : Symplectic Elements
Date Deposited : 28 Mar 2017 14:12
Last Modified : 28 Mar 2017 14:12
URI: http://epubs.surrey.ac.uk/id/eprint/738713

Actions (login required)

View Item View Item

Downloads

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