BeSpaceD中食品加工演示工厂的形式化探索
软件工程
2016-12-19 v1
摘要
本报告概述了我们在食品加工演示工厂形式化方面的努力。我们的BeSpaceD框架被用于该形式化。形式化包含组件属性及组件间关系。我们提出了用于工业自动化设施形式化的领域特定构造，并提供了关于具体食品加工形式化的一些见解。我们特别感兴趣于时空及其他物理特性。关系被形式化为带标注边的图，组件表示为节点。
引用
@article{arxiv.1612.05316,
title = {Towards the Formalization of a Factory Demonstrator in BeSpaceD},
author = {Keith Foster and Jan Olaf Blech and Guillaume Prevost},
journal= {arXiv preprint arXiv:1612.05316},
year = {2016}
}