控制系统的语义链接
Semantic Linkage of Control Systems
摘要：
控制系统是一组相互连接的硬件和软件组件，用于调节过程的行为。现代控制系统的软件由于对灵活性和功能性的要求而上升了几年。因此，创新的力量在企业中增长，因为必须在更短的时间间隔内提供更新的产品。与此相关的是产品生存周期的关键缩短，其影响表现在对软件和备件库存的减少。的目的，这里提出的概念，并在建模环境中开发，证明，并确保软件组件的最小功能。在运行时通过框架替换验证功能的控制系统的软件组件，并且如果必要，软件条件将变得适应。这种实现的精髓是使用了抽象语法树。在其层次结构中Meta信息被附加到节点并由框架处理。随着软件构件语义证明概念的发展，软件产品的生命周期不断延长。
英文摘要：
Control systems are sets of interconnected hardware and software components which regulate the behaviour of processes. The software of modern control systems rises for some years by requirements regarding the flexibility and functionality. Thus the force of innovation grows on enterprises, since ever newer products in ever shorter time intervals must be made available. Associated hereby is the crucial shortening of the product life cycle, whose effects show up in reduced care of the software and the spares inventory. The aim, the concept presented here and developed in a modeling environment, is proved and ensures a minimum functionality of software components. Replacing software components of a control system verified for functionality by a framework at run-time and if necessary the software conditions will become adapted. Quintessential point of this implementation is the usage of an abstract syntax tree. Within its hierarchical structure meta information is attached to nodes and processed by the framework. With the development of the concept for semantic proving of software components the lifetime of software-based products is increased.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
