A basis for compositionally ensuring safety properties and its connection to relational algebraic operators
A basis for compositionally ensuring safety properties and its connection to relational algebraic operators
复制标题
组合确保安全属性的基础及其与关系代数运算符的联系
DOI：
10.1016/j.scico.2014.07.006
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Nils Semmelrock
中科院分区：
文献类型：
--
作者：
Mila Majster-Cederbaum;Nils Semmelrock
本文给出了一种多项式时间内建立合作系统安全性质的方法，该系统的状态空间在合作子系统数量上可以呈指数大。它包括构造一个系统的诱导器族，并通过一个我们称为边缘匹配的算子对这些诱导器进行约简。此外，我们在我们的方法和关系数据库理论之间建立了联系。除了指出这些领域之间有趣的联系之外，我们还使用这种联系将关系数据库理论的结果应用到我们的方法中。
In this paper we report about an approach to establish safety properties of cooperating systems in polynomial time, the state space of which can be exponentially large in the number of cooperating subsystems. It consists of constructing a family of so-called inducers of a system and the reduction of these by an operator we call Edge-Match. Furthermore, we draw a connection between our approach and the theory of relational databases. Aside from pointing out an interesting connection between these fields we use this connection to apply results from the theory of relational databases to our approach.
登录
查看更多内容
交叉检查 - 基于组件的系统的可达全局状态空间的增强过度近似
DOI：
10.1007/978-3-642-04420-5_18
发表时间：
2009
期刊：
2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering
影响因子：
--
作者：
M. Majster;Christoph Minnameier
通讯作者：
Christoph Minnameier
基于组件的模型的故障恢复理论
DOI：
10.1007/978-3-642-33536-5_31
发表时间：
2011
期刊：
2011 IEEE 30th International Symposium on Reliable Distributed Systems
影响因子：
--
作者：
Borzoo Bonakdarpour;M. Bozga;Gregor Gössler
通讯作者：
Gregor Gössler
交互系统中的一切都是 PSPACE-Complete
DOI：
10.1007/978-3-540-85762-4_15
发表时间：
2008
期刊：
2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering
影响因子：
--
作者：
M. Majster;Christoph Minnameier
通讯作者：
Christoph Minnameier
使用扩展袋理论关系代数进行 Petri 网建模和分析
DOI：
--
发表时间：
1996
期刊：
IEEE Trans. Syst. Man Cybern. Part B
影响因子：
--
作者：
Y. C. Kim;T. Kim
通讯作者：
T. Kim
在架构约束的基础上分析基于组件的系统
DOI：
10.1007/978-3-642-29320-7_5
发表时间：
2011
期刊：
Sci. Comput. Program.
影响因子：
--
作者：
Christian Lambertz;M. Majster
通讯作者：
M. Majster