基于Event-B的控制系统形式化建模方法研究

为降低形式化建模的难度,本文深入研究了基于Event-B的开发框架,并结合控制系统中控制器与被控环境之间的交互特征,提出了一套基于Event-B的控制系统有序模块化建模指导原则,能够帮助设计人员在开发的早期更加深入地理解系统需求,获得清晰的建模思路和开发策略,为设计高安全性的软件系统提供保障.最后,应用该方法完成了RBC(区域控制器)系统的形式化建模,说明了该方法的实用性.     

UML状态图到形式化B语言转换的实例研究

使用UML中的状态图可以帮助描绘生物领域中碰到的很多问题,而形式化B方法能为生物系统建模并提供严格的证明,UML和B的结合可产生一种形式化的UML,并精确地用B方法建模。对免疫因子网络中T细胞免疫状态的UML状态图进行了两种方法的形式化,并进行了比较。     

UML视图的一种形式化模型及其分析

UML是一种得到广泛应用的系统建模语言，但是由于它缺乏形式化语义和严格的推理机制，从而影响了系统建模的准确性和开发效率。TCOZ是一种将Object—Z和TCSP相结合的形式化语言，具有丰富的建模能力。基于TCOZ，本文建立了UML视图的一种形式化模型，对类图和协作图等提出了转换规则，使得TCOZ中的推理可用于分析UML视图。通过某学校信息系统的实例，阐述了UML视图的形式化建模方法和分析技术。     

基于enEPCs的集成经营过程建模方法

在分析目前经营过程建模中具体方法不足与方法之间映射关系不清晰的基础上,探讨了基于enEPCs(n-extended eEPCs)的集成经营过程建模系统体系结构(IBMS).首先研究了目前经营过程对建模方法的要求,其次研究了经营过程建模元素及其相互映射关系,提出了基于enEPCs的集成经营过程建模方法,并对整个IBMS中各个部分的建模方法提出了建议,最后对enEPCs中的部分语法规则进行了形式化描述.     

从形式化规范自动生成系统级状态机

形式化方法能精确、无二义地描述软件规范,但其可读性、可理解性差以及缺乏有效的自动测试工具.鉴于此,提出一种新的方法将支持面向对象开发的形式化语言所描述的软件规范自动地转化为系统级状态机,从而改善其可读性与可理解性.实际应用表明,这种方法可以提高形式化规范的可读性与可理解性.     

基于事务过程构件的虚拟企业建模方法

提出了一种支持虚拟企业模型建立的体系结构，并结合面向对象技术探讨了基于事务过程构件的虚拟企业建模方法（BPC－VEMM）。该建模体系和建模方法有效支持虚拟企业的运营特征和组织结构特点，为虚拟企业模型的建立提供了快速和有效的实现手段。     

基于ＯＯＺＳ的ＵＭＬ类图形式化描述及其应用

统一建模语言UML是一种面向对象分析和设计过程中重要的建模工具。但由于UML缺乏精确的形式化语义,不利于对其所描述的需求进行进一步分析和验证。这一点上,形式化方法可与之互补。基于此,本文采用一种面向对象的、基于Z的扩展语言OOZS———结构化面向对象形式规格说明语言,对UML的类图进行了形式化描述,寻求一种在软件设计与系统建模过程中UML到OOZS的映射与转换机制,最后给出一个基于OOZS的UML类图的形式化描述实例,结果表明本文的研究工作在实践中是可行的。     

UML状态机视图的RSL形式描述

使用RAISE规范语言RSL给出了UML状态机视图的形式描述.通过这一形式化提出了一种对图形化的UML状态机视图模型的形式化和RSL规范进行集成的框架,这一工作是对UML类图在RSL中形式化的继续,使得人们可以对UML的非形式化模型给出一种精确、无二义性的语义解释,同时也提高了RSL规范的抽象层次,增强了其可读性、简明性.最后通过一个应用实例,说明这一框架如何用于从UML模型创建对应的形式化规范,并对模型的性质进行了分析.     

一种基于Object-Z的面向方面建模方法

提出一种基于Object-Z的形式化面向方面建模语言及其建模方法。方面规范提供了观察基本模块和方面模块的行为、描述它们相互关系的手段,编织机制将两类模块系统地集成为一个完整的系统模型。该方法能有效地简化系统建模,提高系统模型的可复用性,也为进一步验证系统性质提供了理论基础。     

一种虚拟企业访问控制模型

在分析了虚拟企业访问控制需求的基础上,扩展传统的基于角色的访问控制模型(RBAC),定义了一种跨企业RBAC(CE—RBAC)模型,该模型能在虚拟企业环境中方便地实现跨企业的安全访问控制。     

基于3G的虚拟企业关键技术研究

提出基于3G构建虚拟企业思想,分析了国内外的研究现状和发展趋势,指出了虚拟企业3G移动应用的关键技术,给出了3G虚拟企业移动平台参考模型.     

动态联盟环境下的计算机辅助工艺规划系统

动态联盟是敏捷制造思想指导下先进的企业组织形式。动态联盟环境给制造企业中的 CAPP系统提出了新的需求。根据动态联盟环境的特点 ,提出了面向动态联盟的群组工艺规划系统 (GPPS- VE)的体系结构 ,重点分析了 GPP-S- VE中主体系统 -面向敏捷企业的敏捷化工艺规划系统 (A-CAPPS)的功能需求 ,给出了基于 B/ S的 ACAPPS三层逻辑结构。基于这种结构的 ACAPPS系统具有可重构、可重用和规模可扩充的能力 ,使得 ACAPPS能够较好地支持动态联盟环境下企业的工艺规划     

基于XML的动态联盟企业建模工具研究

随着制造全球化 ,网络化制造和动态联盟成为制造的新模式 ,对支持动态联盟企业建模的建模工具的研究也随之展开 .动态联盟企业建模工具需要网络的支持 .XML语言是面向对象的标记语言 ,有着严格的语法和统一的基础 ,非常适合应用于网络化的建模工具 .讨论了在原有的网络化建模工具上进行XML语言扩展的意义 ,并给出了改进后的框架体系 .     

基于CPC虚拟企业的IDEF建模方法

如何快速地构建虚拟企业是企业成功实施CPC的核心内容，对成员企业的选择又是构建虚拟企业的重要内容。在深刻分析虚拟企业运行模式和企业实施CPC的系统要求的基础上，采用IDEF建模方法初步构建了基于CPC的虚拟企业的模型，并详细阐述了建模过程和建模原则。     

基于多Agent的供应链类虚拟企业设计

分析了供应链类虚拟企业的协作模型和基于Agent的供应链类虚拟企业的特点,结合虚拟企业的创建和运行过程,提出了虚拟企业的两层结构模型,其上层结构为虚拟事务协调中心,下层结构为虚拟工作团队和备选能力团队.在此基础上,对基于Agent的供应链类虚拟企业的组织结构、运行结构和功能结构进行了设计,并对设计方案的实施步骤进行了探讨,为基于Agent的供应链类虚拟企业的具体实现打下了基础.     

敏捷供应链系统的工作流实现方案

敏捷供应链系统是企业间组成动态联盟的有效手段,而Ｉｎｔｅｒｎｅｔ已成为企业信息沟通的重要手段,工作流管理系统则能对企业的业务流程进行最有效的管理,能很好地组织和处理企业业务。设计了一种基于Ｉｎｔｅｒｎｅｔ和工作流管理系统实现的以主生产企业为核心的敏捷供应链系统,给出了该系统的参考模型和软件框架,讨论了分布系统的相关关键技术及其在敏捷供应链系统中的应用。     

基于动态联盟的快速原型制造

阐述了动态联盟企业过程和快速原型技术在联盟企业网络中的作用。从而得出结论：动态联盟企业是现代国际市场产品竞争的有效生产模式，快速原型技术促成动态联盟企业过程。     

虚拟企业的任务分配与协调技术

虚拟企业的任务分配与协调是共运做过程中的关键步骤，根据虚拟企业生产总任务的分解、协调及冲突谈判的研究思路，提出了一个虚拟企业生产计划模型和一种新的虚拟企业的任务分配与协调技术。