Visualization of PLC Programs using XML(英文版)(doc 21页)

资料简介：

Visualization of PLC Programs using XML(英文版)内容提要：
Abstract - Due to the growing complexity of PLC programs there is an increasing interest in the application of formal methods in this area. Formal methods allow rigid proving of system properties in verification and validation. One way to apply formal methods is to utilize a formal design approach in PLC programming. However, for existing software that has to be optimized, changed, or ported to new systems
……

XML Validation against the XML Schema
The XML obtained as a result of the previous processing can be validated using a validating parser that confirms that the XML document in addition to being well-formed conforms to the set of syntactic rules defined in context of the PLC programming language.
……

The XML after the instruction identification is transformed using the XSL, where the instruction and the instruction Id, obtained after extracting the XML according to the type of operations are visualized in a table containing two columns (Instruction, Instruction Id) in HTML.

..............................

上一篇：华北电力大学工商管理学院(doc 16页)

下一篇：公共事业管理专业培养方案(doc 10页)

高三文科综合调研测试试题(doc 17页)

初三历史第八单元复习课题(doc 9页)

考研英语复试听力训练题之配套文字资料(pdf 8页)

试谈高中数学解题思维策略(doc 9页)

劝君莫奏前朝曲之创新篇(doc 8页)

四/六级作文辅导教材(doc 10页)