论文标题
相互作用的网络物理组件系统的运行时组成
Runtime Composition Of Systems of Interacting Cyber-Physical Components
论文作者
论文摘要
我们介绍了基于过渡系统的网络物理系统规范，其语义相对于代数产品是组成的。我们提供了足够的条件，可以通过懒惰的产品构建来正确实施产品。过渡系统代数是在Maude重写逻辑系统中实现的，我们报告了一个简单的案例研究，说明了构图规范。
We introduce a transition system based specification of cyber-physical systems whose semantics is compositional with respect to a family of algebraic products. We give sufficient conditions for execution of a product to be correctly implemented by a lazy expansion of the product construction. The transition system algebra is implemented in the Maude rewriting logic system, and we report a simple case study illustrating compositional specification.
