基于ROAD元架构的企业系统业务架构建模

根据以业务架构为中心的企业架构开发思路,通过对开放组架构框架(TOGAF)业务架构ACF元模型面向四类描述模型组合的划分,提出了一种基于ROAD元架构的迭代建模方法,使得TOGAF业务架构在包含全部必要信息的前提下能够以一组简单明确的模型表达,为后续的应用架构及信息系统架构开发明确需求.并以一个简化的游乐园区智能手环系统为例,说明基于ROAD的业务架构建模过程.     

SOA敏捷架构的TOGAF层次化迭代建模

针对面向服务(SOA)敏捷架构演进周期短、业务与IT对齐要求高的特点,提出一套基于开放组架构框架(TOGAF)的层次化迭代建模方法:外层迭代通过敏捷演进闭环使得企业架构能够随架构愿景的调整敏捷地实施增量化更新;内层迭代通过三维迭代矩阵建立架构模型组在需求、语义、粒度3个方面的对齐机制。对内层迭代进一步探讨了基于BPM+SOA的业务架构、信息系统架构及技术架构模型组语义对齐建模方法与典型建模过程,为SOA敏捷架构提供了一种可迭代的、阶段化交付的、业务流程与信息系统对齐的实现方案。     

多架构建模方法在飞机娱乐系统的实现及应用

 提出了一种实现基于模型的系统工程（MBSE）多架构建模方法。基于多架构建模方法的元元模型，构建了Capella中的特定域建模语言，采用Arcadia建模方法作为建模规范，同时基于架构驱动的方法建立了模型间的追溯关系，形成了一套完整的基于模型的系统工程驱动流程。通过飞机娱乐系统作为案例建立模型，比较Capella建模和多架构建模两种方法，给出了两种方法在效率及效能方面的比较，结果表明多架构建模方法具有建模的高效性和较强的扩展能力，为不同MBSE建模语言和建模方法的整合提供一种解决方案。     

多架构建模方法在飞机娱乐系统的实现及应用

 提出了一种实现基于模型的系统工程（MBSE）多架构建模方法。基于多架构建模方法的元元模型,构建了Capella中的特定域建模语言,采用Arcadia建模方法作为建模规范,同时基于架构驱动的方法建立了模型间的追溯关系,形成了一套完整的基于模型的系统工程驱动流程。通过飞机娱乐系统作为案例建立模型,比较Capella建模和多架构建模两种方法,给出了两种方法在效率及效能方面的比较,结果表明多架构建模方法具有建模的高效性和较强的扩展能力,为不同MBSE建模语言和建模方法的整合提供一种解决方案。     

基于ROADS的面向场景业务架构建模方法

ROAD元架构通过业务架构指导整个企业架构体系开发过程，是一组简单明确且高效的模型表达。针对已有的元架构体系中业务活动模型所采用的IDEF0图存在对多组件系统之间丰富的活动触发序列和信息交互场景描述能力不足的问题，提出在ROAD元架构基础上引入场景模型，与原来基于IDEF0的活动模型融合成为面向场景的活动模型，同时具备层次化描述能力和场景化时序表达能力。扩展后的ROADS元架构保留原架构的整体性和灵活性，且补充面向场景的系统建模能力，实现业务架构设计中的场景管理。最后以一个情景化外语教学系统为例，使用ROADS元架构方法建立场景化业务架构模型组，并对其进行讨论，为现有架构体系提供一种面向场景的扩展思路。     

基于元模型的视图层 PIM 建模方法研究与实现

模型驱动架构(model driven architecture,MDA)的核心思想是将建模语言当作开发语言使用,基于 UML 的平台无关模型(platform independent model,PIM)建模方法主要关注于系统的体系结构与业务逻辑设计,对视图层支持较差.针对此问题,研究了基于元模型的视图层 PIM 建模方法,给出视图层 PIM 模型中界面逻辑模型和界面布局模型的表示法及语义内容;基于 EMOF(essential meta object facility)对 UML 建模语言进行扩展,使其对上述两种模型提供语义上和表示法的支持;最后,基于 Eclipse GMF 框架开发了视图层 PIM 辅助设计工具 GMTP     

基于TOGAF的电子政务架构

探求电子政务的建设方法一直是国内外研究的热点,尽管在2005年讨论版的《电子政务参考指南》对于当前我国电子政务建设方向具有重要的指导意义,但是如何能像城市发展一样具有整体规划(既面向未来发展又可以保护现有投资的电子政务),仍需要更多的理论研究和实践探索。本文提出一种基于TOGAF的电子政务整体架构方案,就是吸取TOGAF框架的先进技术,使现有的电子政务架构技术面向整体规划。     

基于着色Petri网的协调策略建模研究

提出了一种基于着色Petri网（CPN）的协调策略描述方法,在介绍CPN基本构成的基础上,对计算机支持的多层次协同工作系统（CSMMCW）中的协调策略进行了建模。利用CPN,对组间和组内协同工作,通过建立任务执行工作流和CPN之间的映射关系来准确地描述各种协调策略。文章举例具体说明了如何建立组内协调策略的CPN模型,并对该模型进行了仿真。仿真结果表明,该模型能够有效地描述在协作过程中的动态行为,利于分析和验证,并且易于实现。     

MDA与高校快速协同开发平台的构建

传统软件开发方法存在着结构灵活性差、复用率低、开发周期长、代码与模型脱离等缺点,通过对MDA建模过程的研究,提出了基于模型驱动架构的高校业务系统快速开发框架,首先建立业务系统需求模型,经过模型诊断和优化,建立起设计模型及快速原型系统,通过业务建模的抽象化过程与模型映射及转换,为高校快速业务构建平台的实现提供理论基础和系统框架.     

SOA三层架构在嵌入式文件系统上的实现

提出了基于SOA三层架构的嵌入式文件系统的实现方法。根据"需求—语义—服务"三层架构的设计思想,完成了文件系统整体设计思路和实现方案。需求层利用UML建模方法、Ontology建模工具Protégé及其推理插件pellet构建了文件业务系统的领域本体模型,从领域模型中提取出了文件系统常用的系统用例,基于此完成用例的实现流程图。语义层建立了"需求—语义描述—服务"的语义特征树,并采用OWL/RDF语言对语义特征树进行了形式语义描述。根据业务用例、用例场景、业务步骤的分析过程找出对应的原子业务即业务语义概念范畴内最小的业务单元;根据原子业务映射到相应的系统需求进行系统建模,并得到对应的原子构件集合;通过形式语义将场景步骤序列描述为由一系列原子构件的组合,完成"需求—语义—服务"三层SOA结构的嵌入式文件系统设计。     

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

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

基于着色Petri网的电子商务工作流建模

用基本Petri网对电子商务工作流建模，往往会因为细节过多而使其图形复杂。提出了一种基于着色Petri网的模型，给出了针对电子商务中网上购物系统的建模过程并进行了结构合理性的论证。应用结果表明，通过着色Petri网建模可以使得库所和变迁的数量都大为减少，使图形更加简约。     

一种基于交互的网络服务体系结构描述语言

在面向服务的新一代网络体系结构INSA参考模型研究的基础上,提出了一种基于交互的网络服务体系结构描述语言INSADL.详细介绍了实体构件、交互连接件、端口、角色及网络体系结构配置等主要建模元素的语法定义,并基于INSADL提出了以网络体系结构为中心的网络系统开发思想,为面向服务的新一代网络体系结构的形式化建模、描述和分析等奠定了基础.     

基于赋时层次着色Petri网的流控制传输协议连接建模与分析

流控制传输协议（Stream Control Transmission Protocol, SCTP）是一种可靠的传输协议,2007年Internet工程任务组修订了52处缺陷并发布了SCTP新规范RFC4960,但仍缺乏形式化的描述和验证。赋时层次着色Petri网适用于从动态角度对复杂系统进行建模,并能够用形式化的方法进行验证分析。因此,采用基于事件和基于状态的建模方法,提出了SCTP连接的赋时层次着色Petri网模型,该模型考虑了网络时延和丢失以及重传机制。通过CPN Tools分析,验证了SCTP连接过程的预期性质,并在RFC4960中描述的SCTP连接过程中发现了两类死锁问题。     

曲流河点坝内部构型的嵌入式建模方法研究

针对曲流河点坝厚砂体内储层非均质性表征,提出一种点坝内部构型的嵌入式建模方法。该方法以点坝级次三维模型及点坝内部构型分析结果为基础,依次通过基于三维向量场的侧积面模式拟合、侧积面趋势控制的侧积层厚度插值以及网格局部加密的侧积层模型嵌入等3个主要技术环节,形成一套完整的嵌入式构型建模技术流程及算法实现,并应用孤岛油田某区块曲流河点坝储层内部构型的三维建模实例,对建模方法的有效性进行验证。结果表明:嵌入式构型建模方法可建立与井点条件化的点坝内部侧积夹层精细三维模型,并可对井间侧积层分布进行有效预测;采用的网格局部加密侧积层模型嵌入方式优化了不同构型级次及尺寸规模构型单元的三维网格表示。     

C4ISR体系结构的可执行模型生成方法研究

对如何获得C^4ISR体系结构的可执行模型进行了研究,也就是,如何将C^4ISR体系结构描述的多个模型转换成可执行模型．从活动模型中获得可执行模型的结构信息,从规则模型中获得可执行模型的约束信息,从数据模型中获得模型的数据域信息．在研究IDEF0模型图元分类及其矩阵构成的基础上,分析了两种获得可执行模型结构的方法．     

基于体系结构描述的软件测试技术

在软件结构描述语言的基础上,研究了组件之间交互所引起的错误测试,并提出静态分析和动态测试模型.静态模型通过检查组件端口及其所允许的消息类型来约束构件的交互,动态模型通过Petri网刻画组件执行过程中的动态行为,生成动态行为图.在此基础上,又提出了测试充分性准则和测试需求,根据不同的体系结构抽象层次,基于不同的路径覆盖级别,生成测试用例,由此平衡开发成本、进度与质量需求之间的关系.最后,以客户/服务器结构为例说明该方法是适用的.