搜索结果: 1-6 共查到“知识库 计算机科学技术基础学科其他学科 t-模”相关记录6条 . 查询时间(0.359 秒)
服务建模基础理论研究
服务逻辑 服务矩阵 合成服务建模
2009/11/4
面向服务的体系结构(SOA)通过发布在开放环境中的服务构造应用系统。在这样的环境中各个服务高度动态变化,需要基于服务形成的系统能够适应这种变化,这种本质特点给SOA带来巨大挑战。目前缺乏对服务系统形式化表述的理论基础。文章主要关注服务系统的基础理论,包括服务代数、基于Petri net的服务系统建模、并发系统、冲突、混或系统、服务矩阵等。结束部分给出了具体实现的体系结构和案例。
一种新型的AUV系统建模方法研究
AUV 面向对象Petri网 系统建模
2009/7/6
在Petri网基础上,引入面向对象技术,提出了一种面向对象Petri网(OOPN)模型,详细论述了这种面向对象Petri网的结构,形式定义,建模步骤,并针对水下无人探测器系统操作环境的特殊性,为AUV系统建立了完整的OOPN模型,真实地反映了系统的动态特性,从而为AUV系统建模和分析提供了一个更为有效的工具。
用于企业数据建模的域数据模型的研究
数据模型 数据容器 关系
2009/7/6
针对现有的通用数据模型与具体的应用结合不紧密的特点,提出了构造更贴近具体应用领域的域数据模型,用于解决MIS开发过程中,应用层面的数据访问控制的难题。提出并描述了数据域模型的概念,详细讨论了域模型的形式化表达、域关系运算和域运算等概念。
Web应用程序建模和测试用例生成方法
Web应用 组件 测试模型
2009/5/7
根据基于组件的Web应用程序的特点,提出逻辑组件的概念。按功能将待测系统划分成逻辑组件,并在功能上将其对应到实际组件。利用有向图表示逻辑组件结构关系,自动机表示逻辑组件的行为关系,自动机的复合表示逻辑组件间的交互操作。根据复合的自动机,利用建立的操作映射表生成测试用例。分析了一个测试准则,并提出逻辑组件测试序列的覆盖度概念。
工作流建模语言XPDL到CSP进程的转化研究
工作流 XPDL CSP进程
2009/2/11
针对工作流定义标准语言XPDL缺乏形式化语义,提出了将XPDL描述转化为通信顺序进程(CSP)的方法,从而可以利用进程代数CSP理论以加强对工作流模型的语义描述分析检测。通过实例分析具体说明转化方法的有效性。