当前位置: X-MOL 学术Acta Inform. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
A generalised theory of Interface Automata, component compatibility and error
Acta Informatica ( IF 0.6 ) Pub Date : 2018-04-17 , DOI: 10.1007/s00236-018-0319-8
Sascha Fendrich , Gerald Lüttgen

Interface theories allow system designers to reason about the composability and compatibility of concurrent system components. Such theories often extend both de Alfaro and Henzinger’s Interface Automata and Larsen’s Modal Transition Systems, which leads, however, to several issues that are undesirable in practice: an unintuitive treatment of specified unwanted behaviour, a binary compatibility concept that does not scale to multi-component assemblies, and compatibility guarantees that are insufficient for software product lines. In this article we show that communication mismatches are central to all these problems and, thus, the ability to represent such errors semantically is an important feature of an interface theory. Accordingly, we present the error-aware interface theory EMIA, where the above shortcomings are remedied by introducing explicit fatal error states. In addition, we prove via a Galois insertion that EMIA is a conservative generalisation of the established Modal Interface Automata theory.

中文翻译:

接口自动机、组件兼容性和错误的广义理论

接口理论允许系统设计者推理并发系统组件的可组合性和兼容性。这些理论通常扩展了 de Alfaro 和 Henzinger 的接口自动机和 Larsen 的模态转换系统,然而,这导致了几个在实践中不受欢迎的问题:对特定不良行为的不直观处理,不能扩展到多组件组装和兼容性保证对于软件产品线来说是不够的。在本文中,我们展示了通信不匹配是所有这些问题的核心,因此,在语义上表示此类错误的能力是接口理论的一个重要特征。因此,我们提出了错误感知接口理论 EMIA,通过引入明确的致命错误状态来弥补上述缺点。此外,我们通过伽罗瓦插入证明了 EMIA 是已建立的模态接口自动机理论的保守推广。
更新日期:2018-04-17
down
wechat
bug