面向对象产品装配模型的研究

对产品装配表达要求、产品设计过程要求进行了深入的探讨，基于产品装配对象的分析，提出了一个面向对象的产品装配模型。设计和实现了装配模型类及类层次结构，对该模型在产品信息的表达和管理，面向对象特性，支持Top-Down设计等方面进行了讨论和分析。该装配模型在软件系统设计中得到了很好的应用。     

社会保险事业计算机管理系统的设计与实现

本文介绍了通用社会保险业务计算机管理系统（ＳＩＣＭＳ）的设计与实现，并讨论了数据库设计和开发中的一些经验与认识。该系统采用面向对象的系统分析与设计方法，通过一组映射规则将面向对象的实体联系模型转化成关系模型，在ＩＮＦＯＲＭＩＸ关系数据库系统上实现了数据和过程在类层次结构中的继承，使ＳＩＣＭＳ系统具有较好的易操作性、可靠性、易维护性和模块可重用性     

管理信息系统的面向对象模型设计

本文论述管理信息系统的面向对象式模型设计方法，把设计过程归结构为面向对象分割、面向对象抽象、构造模块和构成系统模型几大步骤。其中，尤其对为了建设理想性能要求的信息系统而如何分析数据，构造模块，作了深入细致的论述。     

一种AltaRica 3.0模型中类的平展化方法

AltaRica是一类面向复杂安全关键系统的建模语言,卫士转换系统(Guarded Transition System,GTS)是最新的AltaRica 3.0的执行语义模型。AltaRica 3.0层次结构语法模型中类的平展化是将AltaRica 3.0语法模型转换为等价的平展化GTS语义模型过程中的一个重要步骤。文中提出了一种AltaRica 3.0模型中类的平展化优化方法。首先,设计专用的数据结构来存储AltaRica 3.0模型中类的语义结构,并对原有的ANTLR(Another Tool for Language Recognition)元语言描述的AltaRica 3.0模型颗粒度进行重新精化和定义;其次基于ANTLR生成相应的词法和语法分析器,并自动构造输入模型的语法树,通过对语法树的遍历,取得细粒度的类的关键信息并进行存储;然后设计了专用的算法,高效地实现了类的平展化过程;最后通过实例系统的分析,验证了所提方法的正确性和有效性。     

一种面向对象系统基于角色的访问控制模型研究

针对面向对象系统,提出面向对象的基于角色的访问控制模型.本模型通过在模型中添加角色类,并描述了角色类的继承关系,从而有效地减少了面向对象系统中类和类之间的关系表达,更加便于类和类之间安全策略的描述和管理.描述该模型的信息流控制特征,其能够有效地保障面向对象系统中对象与对象之间消息传递的可控性,防止信息的泄漏.     

数据库系统设计中的面向对象技术研究

基于面向对象技术的基本思想和开发过程,介绍了面向对象技术的实现方法.结合具体实例对面向对象技术在数据库系统结构设计和详细设计中的应用进行了详细的探讨,利用面向对象的数据库系统分析和设计方法,使用UML工具建立了具体的对象模型,给出了一种比较通用的数据库系统开发模式.使用该模式设计的系统重用性好,且易于维护,从而有效提高了数据库系统的开发质量.     

面向对象技术在水电厂厂内经济运行中的应用

面向对象编程是确保水电厂系统分析和应用软件易于维护、升级和移植的有效方法.文中简述了面向对象的设计思想.针对具体的研究对象,设计出相关的一系列类,完成了水电厂厂内经济运行仿真系统的面向对象封装.比较了面向对象方法和结构化方法,指出了各自的优缺点.工程应用证明了面向对象技术的有效性.     

电力系统计算软件包中类层次的设计与实现

随着电力事业和计算机技术的发展,研制高效率、可维护性强、具有良好用户界面的图形化分析计算软件成为电力系统分析计算研究的重要任务之一。该文着重介绍了图形化电力系统分析计算软件中类的层次结构的设计思想。该软件完全采用面向对象的设计方法,充分利用了类的继承、多态性质和虚函数的方法,使软件具有高度的开放性、可维护性、可移植性。     

面向对象分析到设计的类模型转换方法

面向对象方法中,类模型是一种描述分析和设计结果的重要的静态模型。由于所处空间的不同,分析阶段和设计阶段的类模型在表示类之间的关系等方面有一定的区别,作为对面向对象软件自动化方法的探讨,本文针对面向对象分析阶段和设计阶段所形成的类模型表示,给出了从前者到后者转换的一般方法,转换的结果能够直接用面向对象程序设计语言提供的机制来表述。     

基于面向对象的软件测试技术研究

面向对象开发技术正大力地推动着软件产业的快速发展.在保证软件产品质量的手段中,最有效、最重要的技术是件测试技术.然而,传统的测试技术和方法,对面向时象技术开发的软件针对性不是很鉴于此,本文提出了着实有效的面向对象的软件测试技术.首先阐明面向对象软件测试的基本概念;然后分别讨论分析和设计模型测试技术、类测试技术、类层次结构测试技术、面向时象系统测试技术.     

A classification and comparison of model checking software architecture techniques

Software architecture specifications are used for many different purposes, such as documenting architectural decisions, predicting architectural qualities before the system is implemented, and guiding the design and coding process. In these contexts, assessing the architectural model as early as possible becomes a relevant challenge. Various analysis techniques have been proposed for testing, model checking, and evaluating performance based on architectural models. Among them, model checking is an exhaustive and automatic verification technique, used to verify whether an architectural specification conforms to expected properties. While model checking is being extensively applied to software architectures, little work has been done to comprehensively enumerate and classify these different techniques.The goal of this paper is to investigate the state-of-the-art in model checking software architectures. For this purpose, we first define the main activities in a model checking software architecture process. Then, we define a classification and comparison framework and compare model checking software architecture techniques according to it.     

物联网体系结构研究与探讨

物联网是一个十分复杂而又庞大的系统,其体系结构是影响未来发展应用的关键所在。通过对现有物联网技术文献和体系结构实例的分析,提出了一种具有感知层、接入层、网络层和应用层的4层次物联网体系结构参考模型,并对各层所实现的主要功能进行了讨论阐述。这样一个通用的参考模型呈现出了泛在化、智能化的物联网基本特征。     

基于CPN模型的REST服务架构标准特征验证方法研究

当前REST服务架构广泛应用于大规模、可扩展的分布式Web系统中,若应用REST服务架构时不遵循其标准特征,则可能导致基于REST服务架构的Web系统出现性能下降、可扩展性低等问题。因此,实现基于REST服务架构的Web系统前,需要对该系统设计是否满足REST服务架构标准特征进行验证,以提升基于REST服务架构的Web系统的研发质量。提出一种基于CPN模型的REST服务架构标准特征验证方法,即对REST服务架构的五个标准特征约束进行CPN建模,并使用模型状态空间执行路径同步匹配的验证方法,以应用系统的CPN模型和标准特征约束的CPN模型为基础,对模型状态空间中的各自执行路径进行同步匹配,若路径可同步执行完毕,则说明该应用系统满足该REST标准特征约束。以基于REST服务架构的课程管理Web系统为例,验证上述方法的可用性和有效性。实验结果表明,本文所提验证方法可以有效确认基于REST服务架构的Web应用系统设计是否符合REST服务架构的标准特征约束,并在不符合标准特征约束时提供直观、可行的执行数据,便于后续完成应用系统设计缺陷定位及修正。     

基于MVC模式的角色访问控制系统设计

为了解决角色访问控制系统的实用性,对该系统采用了基于MVC模式的J2EE技术进行分析与设计。在这个架构中,采用Struts架构来实现视图层、业务层和控制层的分离,采用Hibernate架构来实现数据持久层,从而得到一个扩展性强、耦合低、易维护的系统解决方案。     

业务活动驱动系统体系结构执行研究

针对可执行体系结构研究中难以将业务体系结构的执行对应到系统体系结构的执行,并最终形成内在一致的执行体,提出了业务活动驱动系统体系结构执行的方法。该方法根据DoDAF中业务活动与系统功能多对多的关系,将业务活动用更详细的业务过程模型进行描述,并将过程模型中的行为单元对应到系统功能并触发该功能的执行。系统功能的执行将相应地触发一系列系统功能的执行,系统功能之间的系统数据交换将通过系统通信描述（SV-2）中的连接来实现,这样就建立起业务体系结构与系统体系结构之间的联系,并最终形成整个体系结构内在一致的执行体。该方法有效地解决了业务活动与系统功能之间多对多,无法形成内在一致的执行体问题,为体系结构的执行提供了一个明确、具体的可实施方案。     

一种动态适应性软件体系结构模型理论研究*

软件系统的演化需要具有灵活性、适应性的软件体系结构的支持。提出一种在组织结构上具有固有的动态性的软件体系结构理论模型——动态树型软件体系结构模型(DTSAM)。在DTSAM定义的软件体系结构组织结构下,软件系统的演化抽象成为一棵动态树的渐增和渐减。其中,所设计的渐增和渐减算法分别定义了动态树的增减过程;所设计的生长函数中适应性因子的调节,使得软件体系结构在组织结构层次上具有整体适应性和局部适应性。最后应用模型对例子系统仿真,其过程产生的结果也证实了这种适应性。     

基于UML的多视图软件体系结构描述方法研究*

提出一种新的基于UML(unified modeling language)的多视图模型,即“6＋1”视图模型,从场景、概念视图、框架视图、过程视图、数据视图、构件视图、物理视图七个视角完整地描述一个系统的体系结构,并将该视图模型应用到钢材库管理系统的体系结构描述中。实践表明,它是面向对象软件开发方法中高效而实用的软件体系结构建模方法。     

MDA的设想与实现

模型驱动体系结构(MDA)提出了一种利用模型进行软件开发的方法，它将模型作为软件开发过程的关键，MDA的基本思想是将模型区分为平台独立模型(platform independent model)和平台相关模型(platform specific model)，通过不同抽象层次模型之间的转换完成软件开发过程。介绍了MDA的设想，包括MDA的基本概念，基于MDA的开发过程，讨论了实现MDA所涉及的几个重要问题。     

业务导向及模型驱动MIS软件构建的模型体系研究*

针对目前模型驱动架构对MIS开发中的业务建模与需求建模不能提供有效支持这一问题,提出一个以业务为导向、支持模型驱动MIS软件构建的模型体系;建立了一个以业务过程建模为核心的集成化建模元模型,给出了模型详细定义,为实现业务导向及模型驱动的MIS构造模式提供理论基础。     

Business process model repositories - Framework and survey

Context

Large organizations often run hundreds or even thousands of different business processes. Managing such large collections of business process models is a challenging task. Software can assist in performing that task, by supporting common management functions such as storage, search and version management of models. It can also provide advanced functions that are specific for managing collections of process models, such as managing the consistency of public and private processes. Software that supports the management of large collections of business process models is called: business process model repository software.

Objective

This paper contributes to the development of business process model repositories, by analyzing the state of the art.

Method

To perform the analysis a literature survey and a comparison of existing (business process model) repository technology is performed.

Result

The results of the state of the art analysis are twofold. First, a framework for business process model repositories is presented, which consists of a management model and a reference architecture. The management model lists the functionality that can be provided and the reference architecture presents the components that provide that functionality. Second, an analysis is presented of the extent to which existing business process model repositories implement the functionality from the framework.

Conclusion

The results presented in the paper are valuable as a comprehensive overview of business process model repository functionality. In addition they form a basis for a future research agenda. We conclude that existing repositories focus on traditional functionality rather than exploiting the full potential of information management tools, thus we show that there is a strong basis for further research.