当前位置: X-MOL 学术Inf. Comput. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Static and dynamic property-preserving updates
Information and Computation ( IF 0.8 ) Pub Date : 2020-08-06 , DOI: 10.1016/j.ic.2020.104611
Davide Bresolin , Ivan Lanese

Systems need to be updated to last for a long time in a dynamic environment. The update can be performed both statically, by restarting the system, or dynamically. Updates have to preserve the desirable properties of the system, while possibly enforcing new ones.

We consider a simple yet general update mechanism, replacing a component of the system with a new one. We define contexts and components as Constraint Automata interacting via either asynchronous or synchronous communication, and we express properties using Constraint Automata too. Then we build most general updates preserving specific properties, considering both a single property and all the properties satisfied by the original system, in a given context or in all possible contexts. To tackle also dynamic update, we consider the state transfer problem, namely how to find the state in which the new component should be started to ensure a correct overall behaviour.



中文翻译:

静态和动态属性保留更新

系统需要更新以在动态环境中持续很长时间。更新可以静态地、通过重新启动系统或动态地执行。更新必须保留系统的理想属性,同时可能强制执行新的属性。

我们考虑一种简单而通用的更新机制,用新的组件替换系统的组件。我们将上下文和组件定义为通过异步或同步通信交互的约束自动机,我们也使用约束自动机来表达属性。然后我们构建最通用的更新,保留特定属性,同时考虑单个属性和原始系统在给定上下文或所有可能上下文中满足的所有属性。为了解决动态更新,我们考虑状态转移问题,即如何找到新组件应该启动的状态以确保正确的整体行为。

更新日期:2020-08-06
down
wechat
bug