On the Observable Behaviour of Composite Components
On the Observable Behaviour of Composite Components
复制标题
关于复合组件的可观察行为
DOI：
10.1016/j.entcs.2009.12.035
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
Alexander Knapp
中科院分区：
文献类型：
--
作者：
R. Hennicker;Stephan Janisch;Alexander Knapp
组件范式的关键优势在于封装行为的可能性。在这项工作中，我们专注于可观察到的行为的复合组件封装的行为（可能是大）连接的子组件的组件。我们首先提出了我们的通用组件模型，它配备了一个精确的形式语义，使我们能够系统地区分不同种类的行为端口，组件，组件组装;技术上，我们使用UML 2符号描述组件结构和I/O转换系统的行为。然后，我们调查一个有效的方法，用于计算的可观察到的行为的复合组件，它可以规避可能不可行的中间计算通常是复杂的行为的基础组件，如果有行为中立的子组件。最后，我们利用组件通过端口连接的事实，使得组件的行为中立性检查可以减少到在弱确定性端口行为的情况下连接端口的行为中立性检查。
The crucial strength of the component paradigm lies in the possibility to encapsulate behaviours. In this work, we focus on the observable behaviour of composite components which encapsulate the behaviour of (possibly large) assemblies of connected subcomponents. We first present our general component model which is equipped with a precise formal semantics allowing us to distinguish systematically different kinds of behaviours for ports, for components, and for component assemblies; technically we use UML2 notation for describing component structures and I/O-transition systems for behaviours. Then we investigate an efficient method for the computation of the observable behaviour of composite components which can circumvent the possibly infeasible intermediate computation of the usually complex behaviour of underlying assemblies if there are behaviourally neutral subcomponents. Finally, we utilise the fact that components are connected via ports such that checks for behavioural neutrality of components can be reduced to checks for behavioural neutrality of connected ports in the case of weakly deterministic port behaviours.