迈向从IEC 61131-3到BIP的性质保持变换
编程语言
2010-09-07 v1
摘要
我们报告了一种从IEC 61131-3标准的顺序功能图到BIP的变换。我们的展示包括对所涉及语言的形式语法和语义表示以及变换规则的描述。此外，我们提出了一种描述IEC 61131-3系统不变量的形式化方法，并建立了两种语言之间不变量保持的概念。对于我们变换规则的一个子集，我们概述了一个证明，展示了在从IEC 61131-3到BIP以及从BIP到IEC 61131-3的变换过程中的不变量保持。
关键词
引用
@article{arxiv.1009.0817,
title = {Towards a Property Preserving Transformation from IEC 61131-3 to BIP},
author = {Jan Olaf Blech and Anton Hattendorf and Jia Huang},
journal= {arXiv preprint arXiv:1009.0817},
year = {2010}
}