DJS-6型电子计算机的编译程序[74]

本文简单介绍编译程序[74]的算法语言、编译算法,并总结了使用和维护这个编译系统的初步经验。     

基于数据库的嵌入式工作流管理系统——GoEasyWFMS

探讨嵌入式工作流部件在过程建模、事件驱动机制、多应用集成等方面可能出现的问题,并提出一个工作流模型:其静态模型描述了系统的静态元素,它是WFMS中比较稳定的部分;而动态模型描述了系统的动态特征,它是WFMS优化和重组经常涉及的部分.最后给出一个工作流规范说明语言,它形式化了我们提出的工作流模型.     

一种支持业务过程设计的数据库集成自动化模型

针对常见的受限树状组织结构, 提出能够使分散在各节点的数据库应用系统有效集成 的一种自动化方法. 该方法支持数据流程定义, 从而支持业务过程重组. 该方法也支持数据 集成系统的批量部署, 为大规模异地数据库应用系统的集成提供了有效的途径.     

强类型面向对象程序设计语言——Toop

本文介绍一种强类型面向对象程序设计语言——Toop. 该语言是一种类型化语言,可用于开发可靠性较高的程序,并具有与弱类型的面向对象程序设计语言相当的灵活性。     

基于消息语义的UML2.0顺序图控制流分析

基于消息语义提出一种分析UML2.0顺序图控制流的方法, 分析了UML2.0顺序图消息发送和接收动作之间的关系, 并将其映射到相应的消息上, 得到消息的相继顺序关系. 根据消息的顺序关系设计了由顺序图到活动图的一致性映射规则, 并得到基于消息语义的并发控制流图（MSCCFG）, 从而获取顺序图的控制流信息.