摘要：指称语义(DS)是描述程序设计语言语义的一种强有力的工具,抽象级别较高,难于在机器上实现,解决的办法就是将DS转换成易于在机器上实现的话言程序。本文给出了DS到解释程序(INTERPETER)的机械转换方法,从而将语言的形式化定义与机器实现有机地结合起来,本文的工作是在面向语义的软件自动生成领域的进一步探索。

摘要：工作流技术和应用软件系统的结合是计算机应用领域的一个研究方向 .分析了当前基于Web的工作流技术的研发现状 ,提出了一种基于脚本解释、同应用数据类型无关的基于Web的工作流系统WebWFS ,采用对象化的引擎结构、基于脚本语言的描述语言和IIS过滤器方式实现的引擎和Web应用之间的接口 .为验证系统的实用性 ,以某大型应用系统中的计划管理为例 。

摘要：在设计机电一体化产品或是自动化装置时,特别是要求大大降低设计成本时,现成的PLC价格显得太昂贵。本文设计了一个编译程序,可以将符合梯形图逻辑的PLC指令源程序翻译成单片机目标程序。从而降低逻辑控制器的成本,实现了降低机电一体化产品或是自动化装置成本的目的。