基于ADL的物理信息系统的建模与分析

当前分析和设计物理信息系统的模型和方法通常是线性分离的,且由不同的数学形式化方法和工程与计算机科学中的不同方法定义。为便于处理,对关注点分离是必要的,但这种分析方式由于在系统设计时过早地将系统信息特征与物理特征分离,导致很难评估直接与这两个领域进行交互的可替换元素的影响和协调性。文中对围绕组成CPS系统的所有范围的元素的架构描述进行扩展,最终目的是能够建立一个可扩展的框架,包括一套可被创建的综合设计工具。由此文中提出这种物理信息系统建模方法并通过一个简单应用实例对方法进行说明。     

基于进程代数的安全软件体系结构建模

分析了基于进程代数的软件体系结构模型的安全性,将相容性检查和互操作性检查从单个软件体系结构推广到不同风格的体系结构风格,扩展基于进程代数的软件体系结构描述语言,通过顺序进程代数项族和预定义的体系结构类型调用对软件体系结构安全建模。通过一个例子介绍了这种建模方法。     

基于信息系统的确定有限自动机最小化算法

目前,确定有限自动机(DFA)最小化问题多侧重于理论研究,尚无太多便于实现的算法,为此,对确定有限自动机最小化方法进行了研究,提出将DFA转换为信息系统,基于等价类划分方法简化信息系统,再将简化的信息系统转换为最小化DFA;针对上述处理过程,给出一个基于分治思想的DFA最小化算法,在平均情况下该算法的时间复杂度为O(n log n),空间复杂度为O(n)。最后通过实例验证了所提算法的正确性。     

基于DFA的大规模入侵建模方法研究

针对攻击树在大规模入侵建模中对系统状态变化描述的不足,提出了基于DFA的大规模入侵建模方法,并给出了一个基于攻击函数和系统状态二元组的攻击描述语言,最后对入侵检测实现进行了简单讨论。     

基于有界限模型检验的服务建模与自动组合

针对面向服务架构(SOA)体系的Web服务数量快速增长现状,为实现大规模服务场景下高效自动组合Web服务来满足用户复杂需求问题,提出一种基于有界模型检验的Web服务组合方法.其中,Web服务被建模为有限状态自动机,众多Web服务构成服务社区,Web服务组合需求由线性时态逻辑公式描述,通过有界模型检验器的系统化搜索,该方...     

面向描述语言的蠕虫扩散过程形式化研究

建立典型的蠕虫扩散自动机模型,运用确定的有限状态自动机理论对蠕虫扩敞行为进行形式化描述,并且论证其正确性.本文提出一种扩敞描述语言,解决扩散自动机的形式描述、本质特征和执行过程问题.为研究蠕虫扩散行为提供一种更为直观的形式化手段.     

ABC/ADL:一种基于XML的软件体系结构描述语言

作为基于构件的软件开发过程的系统蓝图,软件体系结构(SA)扮演了非常重要的角色,其研究受到越来越多的关注．而软件体系结构描述语言(ADL)是研究和应用SA的基础．提出了一种基于XML的体系结构描述语言——ABC／ADL．ABC／ADL具备大多数ADL描述软件系统高层结构的能力,还支持系统的逐步精化与演化,并支持系统的自动化组装和验证．采用数据互操作标准XML作为元语言,不仅使ABC／ADL具有与其他ADL的互操作性,还有助于实现设计阶段的制品与其他软件生命周期阶段制品之间的可追踪性．     

DRTSADL可视化建模及其工具的设计与实现

提出了将DRTSADL进行可视化建模的设计方案:抽取基本建模元素,给出它们的BNF范式定义;按照体系结构的配置将这些元素连接起来,分别从静态结构方面和动态行为方面,完成整个软件系统的设计.最后给出了可视化建模支持工具的具体实现.     

基于DRTSADL的分布式实时系统建模

在考察现有的体系结构描述语言的基础上,提出了一种新的分布式实时系统体系结构描述语言（DRTSADL）,研究了该语言操作语义。结合一个分布式实时前端系统实例描述,说明了DRTSADL的应用。与现存ADL相比,新的ADL对分布式实时系统有较强的描述能力。     

一种基于ADL的编译器自动生成方法研究

编译器是嵌入式系统软件中的重要组成部分,它对嵌入式系统的软件开发有重要影响。本文在将体系结构描述语言(ADL)与传统可移植编译器相结合,自动生成嵌入式系统编译器的思想基础上,对自动生成工具genmd的结构进行了分析。重点对其指令识别和机器描述生成部分进行了抽象和建模。同时,针对genmd不支持分支跳转类指令的问题提出了改进方案。     

基于WEB的混合模式信息系统研究与应用

本文在分别介绍两种信息系统计算模式：客户机／服务器（C／S模式）和浏览器／服务器（B／S模式）的基础上，对将二者相结合的混合模式进行了研究，并分别对这三种模式的信息系统体系结构进行了评价。最后，以某药业远程销售信息系统和北京高校毕业生就业信息网的开发 为例，讨论了这种混合模式的应用。     

基于有限状态自动机的服务组合模型

分析了目前服务计算的研究现状和存在的问题，在D Berardi和A Wombacher的基础上提出了一种带条件的有限状态自动机模型cFSA（Finite State Automata with condition），并给出了基于cFSA的服务理论模型．在该服务理论模型的基础上提出了一种基于有限状态自动机的服务组合形式化模型，并给出了该模型的代数性质和实现方法．     

基于时间自动机的信息物理融合系统建模与验证

信息物理融合系统的建模和验证是当前研究的一个热点。本文通过分析信息物理融合系统的体系结构,利用时间自动机为建模工具,将该结构中的各个组件分别进行建模,以表现它们的分布性和实时性。这些时间自动机组成一个网络模型,用于刻划整个系统之间的并发通信和协作过程。最后,提出一组该系统要满足的性质(包括时间约束),运用模型检测工具UPPAAL自动验证本系统的正确性。     

基于多代理的物流信息系统

针对目前Internet在物流业的应用现状，本文提出了一种基于多代理(Multi-agent)的物流信息系统解决方案．讨论了多代理物流信息系统的体系结构，研究了多代理物流信息系统中的代理体系结构，包括代理的类型、结构，以及代理之间的通信和协调规则，最后以具体的企业为背景，给出了多代理物流信息系统在企业的应用案例．     

基于网络计算的信息系统架构

通过分析信息系统基本体系结构模型,探讨信息系统体系结构变化与信息系统开发技术之间的关系。从软件技术发展的三个阶段分析信息系统开发中体系结构的特征,重点讨论网络计算环境下信息系统的体系结构,认为计算机信息系统的体系结构的变化与软件技术的发展存在相互作用关系,应及时分析信息系统体系结构的发展变化,研究新的系统开发方法。     

基于构件的信息系统体系结构模型

在分析信息系统层次结构的基础上，提出信息系统结构的层次化构件模型；描述了基于构件化层次模型的信息系统的抽象层次、结构元件、结构特征，给出了不同抽象粒度构件的形式化描述方法、构件连接的形式扣方法、基于企业模型的系统软件组织方式；为信息系统的设计与开发提供了参考模型。初步应用表明，层次化构件模型的设计思想架起了管理系统与信息系统之间的桥梁。提高了信息系统适应性扣开发效率。     

基于Internet的软构件信息系统

1 引言基于构件的软件工程(CBSE)是一种正在逐步走向成熟,已受到高度重视的革命性的软件开发的新方法,已在软件界和众多的产业部门中产生了巨大的兴趣和影响。构件信息系统是促进软构件复用的核心机制之一。传统的构件信息系统,其复用范围往往局限于一个公司或开发小组之间,缺乏大规模的普遍的     

市级邮政综合网物理安全体系设计

邮政综合网络承载着区域内的邮政储蓄、电子汇兑、邮政物流等多种业务服务,但是目前的市级邮政综合网的整体安全防御措施较薄弱,尤其突出表现在物理结构方面。本文依据信息系统安全体系结构,从物理安全方面提出了对系统进行优化的方案,解决了路由混乱等问题,提高了路由效率。     

SMC/ADL:一种层级式构件系统的体系结构描述语言

针对基于SMC构件模型的软件系统静态、运行态和动态抽象建模问题,提出由XML元语言定义和表达的体系结构描述语言——SMC/ADL。该语言从选取系统建模元素的类型、实例和实例行为这3个角度,利用一套XMLSchema定义了软件从设计到运行,直至演化阶段的完整体系结构规约框架,使其对系统高层抽象的支持扩展到整个软件生命周期。相关辅助工具表明了它的有效性和实用性。