并发系统设计中的动作和事件
Actions and Events in Concurrent Systems Design
摘要：
在这项工作中，考虑到从组件的并发系统的建设，我们讨论的动作和事件之间的区别。对于这个讨论，我们提出了一个（其他）架构描述语言，其中的动作和事件是明确的组件和系统的描述。我们的工作建立在所提出的概念的分类方法，以建设基于软件的系统，从Goguen和Burstall倡导的组件，在机构的背景下，由Fiadeiro和Maibaum，在时间逻辑的背景下。在这种情况下，我们形式化的一个组件作为一个索引类别的元素的概念，我们引出了一个概念的组件之间的态射作为这个类别的态射。此外，我们详细说明了这种形式化捕获，在一个方便的方式，一个组件的底层结构和基本的互动机制，把组件在一起。此外，我们提出了一些想法，如何某些事项有关的开放性和组合性的组件/系统可以描述类态射，从而可能支持组合依赖/保证推理。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
