Actions and Events in Concurrent Systems Design

In this work, having in mind the construction of concurrent systems from components, we discuss the difference between actions and events. For this discussion, we propose an(other) architecture description language in which actions and events are made explicit in the description of a component and a...

Full description

Bibliographic Details
Main Authors: Valentin Cassano, Thomas S. E. Maibaum
Format: Article
Language:English
Published: Open Publishing Association 2014-01-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1401.0970v1
id doaj-1f144d31107341cb9e867dbb34e70bca
record_format Article
spelling doaj-1f144d31107341cb9e867dbb34e70bca2020-11-24T23:42:34ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802014-01-01139Proc. LAFM 2013314510.4204/EPTCS.139.3:7Actions and Events in Concurrent Systems DesignValentin Cassano0Thomas S. E. Maibaum1 McMaster University McMaster University In this work, having in mind the construction of concurrent systems from components, we discuss the difference between actions and events. For this discussion, we propose an(other) architecture description language in which actions and events are made explicit in the description of a component and a system. Our work builds from the ideas set forth by the categorical approach to the construction of software based systems from components advocated by Goguen and Burstall, in the context of institutions, and by Fiadeiro and Maibaum, in the context of temporal logic. In this context, we formalize a notion of a component as an element of an indexed category and we elicit a notion of a morphism between components as morphisms of this category. Moreover, we elaborate on how this formalization captures, in a convenient manner, the underlying structure of a component and the basic interaction mechanisms for putting components together. Further, we advance some ideas on how certain matters related to the openness and the compositionality of a component/system may be described in terms of classes of morphisms, thus potentially supporting a compositional rely/guarantee reasoning.http://arxiv.org/pdf/1401.0970v1
collection DOAJ
language English
format Article
sources DOAJ
author Valentin Cassano
Thomas S. E. Maibaum
spellingShingle Valentin Cassano
Thomas S. E. Maibaum
Actions and Events in Concurrent Systems Design
Electronic Proceedings in Theoretical Computer Science
author_facet Valentin Cassano
Thomas S. E. Maibaum
author_sort Valentin Cassano
title Actions and Events in Concurrent Systems Design
title_short Actions and Events in Concurrent Systems Design
title_full Actions and Events in Concurrent Systems Design
title_fullStr Actions and Events in Concurrent Systems Design
title_full_unstemmed Actions and Events in Concurrent Systems Design
title_sort actions and events in concurrent systems design
publisher Open Publishing Association
series Electronic Proceedings in Theoretical Computer Science
issn 2075-2180
publishDate 2014-01-01
description In this work, having in mind the construction of concurrent systems from components, we discuss the difference between actions and events. For this discussion, we propose an(other) architecture description language in which actions and events are made explicit in the description of a component and a system. Our work builds from the ideas set forth by the categorical approach to the construction of software based systems from components advocated by Goguen and Burstall, in the context of institutions, and by Fiadeiro and Maibaum, in the context of temporal logic. In this context, we formalize a notion of a component as an element of an indexed category and we elicit a notion of a morphism between components as morphisms of this category. Moreover, we elaborate on how this formalization captures, in a convenient manner, the underlying structure of a component and the basic interaction mechanisms for putting components together. Further, we advance some ideas on how certain matters related to the openness and the compositionality of a component/system may be described in terms of classes of morphisms, thus potentially supporting a compositional rely/guarantee reasoning.
url http://arxiv.org/pdf/1401.0970v1
work_keys_str_mv AT valentincassano actionsandeventsinconcurrentsystemsdesign
AT thomassemaibaum actionsandeventsinconcurrentsystemsdesign
_version_ 1725503964324036608