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...
Main Authors: | , |
---|---|
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 |