Towards the construction of workflow-suitable conceptual modelling techniques

Despite their high-level and graphical nature, workflow specifications require a significant amount of implementation detail — for example application programming interface, database access and programming mechanisms for information flow — for a more comprehensive validation than is currently possible. This is currently recognized as a deficiency in workflow conceptualization. Although conceptual modelling techniques are available which are expressive, comprehensive and precise enough, we believe, their concepts and features are not specialized enough for workflow domains. In this paper, we offer a comparative insight into techniques which characterize different aspects and approaches of workflow specifications. These are: structured process modelling, object-oriented modelling, behavioural process modelling and business-oriented modelling. In particular, we determine gaps for workflows capturing operational business transaction processing, for example those of insurance claims, bank loans and government-related registration. For technique construction, we describe five workflow suitability principles.     

基于面向对象和STEP技术的注塑模产品模型研究

本文分析了数据交换技术的发展，指出STEP技术可以满足集成化系统开发的需要，而面向对象技术则很好地解决了模型间的数据交换，并据此提出了一基于面向对象和STEP的注塑模产品模型，该模型分为总体信息模型、主特征模型、结构信息模型及辅助装置模型，并用EXPRESS-G对其作了进一步阐述。     

CIMS信息集成平台中实例代OO视图的维护方法

为满足CIMS信息集成平台中全局集成级物理集成策略的需求，本文研究了实例化面向对象视图的有效维护问题，提出了一个实例化面向对象视图的有效维护方法．该方法是代数的和基于等价推理的，它使用对象代数作为基本描述语言．本文给出了一个传播基类的更新到实例化OO视图的更新传播算法，证明了该算法是正确的并保持了一定程度的最小性，即它可以确保没有不必要的实例被计算．分析和实验结果表明，大多数情况下改变传递算法都比重新计算视图有效．     

A Logical Design Method for Relational Databases Based on Generalization and Aggregation Semantics

In this paper,a series of esign methods for relational databases based on generalization and aggregation semantics is set up.The relationship between a class and its subclass s considered as a scheme constraint.The concept of inheritance dependencies,which describes the multiple inheritance among schemes, is presented in the paper.It is shown that the inference rules for inheritance dependencies are sound and complete.Furthermore,a series of results about the closure of inheritance dependencies and the minimal set of inheritance dependencies,which are analogues to functional dependencies,is obtained.In order to describe the aggregation semantices,the concept of aggregation dependencies is given.It is easy to implement these constraints under relational database management systems.     

面向对象的模型表示与模型复合

采用面向对象的方法表示模型管理系统中的模型，提出将管理科学／运筹学中出现的各种模型表示成模型类即原子模型类，如线性规模模型类，运输模型类等，同时用复合模型类描述语言，把多个模型类通过有效的偶合生成复合模型类以支持匠集成与重用。     

Object-oriented CAD for Hydraulic Circuits of Pressing Machines

１ＩｎｔｒｏｄｕｃｔｉｏｎＴｈｅｅｘｐｅｒｔｓｙｓｔｅｍｓａｐｐｒｏａｃｈｉｓｃｕｒｅｎｔｌｙｂｅｉｎｇａｐｐｌｉｅｄｔｏｃｏｍｐｕｔｅｒ－ａｉｄｅｄｄｅｓｉｇｎ（ＣＡＤ）ｆｏｒｓｉｍｐｌｅｈｙｄｒａｕｌｉｃｃｉｒｃｕｉｔｓ．Ｍｏｓｔｏｆｔｈｅｅｘｐ...     

嵌入式应用软件设计方法学研究综述

嵌入式系统的资源（CPU、存储器等)有限，具有专用性(很多硬件设备根据应用定制)，要求实时处理，因此嵌入式应用软件设计方法学必须满足这些特性。本文对嵌入式应用软件设计方法学进行了综合研究(包括结构化的软件设计方法学、面向对象的软件设计方法学和基于构件的软件设计方法学)，讨论了各种方法学的特点及其适用场合，总结了嵌入式应用软件设计方法学的发展规律，指出了未来的发展方向。     

面向对象的软件测试方法

文章针对面向对象软件具有的特征，给出一个面向对象的测试模型．详细探讨了面向对象单元测试、面向对象集成测试和面向对象系统测试的测试策略，以及相应的测试用例设计方法。     

EC + +与C + +嵌入式系统编程比较研究

文中主要阐述了在国外广泛应用的嵌入式系统面向对象编程语言EC ，比较了它与C 的区别，论述了EC 对嵌入式系统编程的优点。     

基于面向对象设计原理的甚低频电磁法常用数据处理程序

针对以往国产甚低频电磁(VLF EM)测量仪器缺少数据处理功能的不足,例如:重庆产DDS 1,根据工作需要,对目前常用的几种甚低频电磁测量数据处理方法———磁倾角法、Fraser滤波、线性滤波,采用面向对象程序设计(OOD)的原理,运用C 语言,分别编写了上述方法的数据处理程序。通过云南白牛厂银矿区甚低频测量数据处理实践检验,程序运行稳定、实用、简洁。