Glmdjq机械外文翻译毕业设计.docVIP

生命是永恒不断的创造，因为在它内部蕴含着过剩的精力，它不断流溢，越出时间和空间的界限，它不停地追求，以形形色色的自我表现的形式表现出来。－－泰戈尔Visualization of PLC Programs using XML M. Bani Younis and G. Frey Juniorprofessorship Agentenbased Automation University of Kaiserslautem P. 0. Box 3049, D-67653 Kaiserslautem, Germany 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 existi