Visualization of PLC Programs using XML(英文版)(doc 21頁)
- 所屬分類：
- 文體教育
- 文件大小：
- 476 KB
- 下載地址：
- 相關資料：
- 文體教育
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.
..............................