基于时间自动机的物联网服务建模和验证 被引量：48

1

作者 李力行 金芝 李戈 《计算机学报》 EI CSCD 北大核心 2011年第8期1365-1377,共13页

物联网服务的建模和验证是当前物联网服务提供中的一个重要问题.文中将物联网服务的行为建模为其与相关环境实体的交互,并引入环境实体以刻画物理世界各种物体的属性和行为,从而将物联网服务能力建模为它能够导致的环境实体发生的期望变... 物联网服务的建模和验证是当前物联网服务提供中的一个重要问题.文中将物联网服务的行为建模为其与相关环境实体的交互,并引入环境实体以刻画物理世界各种物体的属性和行为,从而将物联网服务能力建模为它能够导致的环境实体发生的期望变化.文中以时间自动机为建模工具,分别为将要监测和要控制的物理环境实体以及不同种类的物联网服务独立建模,以表现它们的独立性和自主性.这些时间自动机形成一个网络,刻画完整的物联网服务的通信并发过程,物联网服务的实施过程表现为时间自动机网络上的状态变迁通路.最后,文中提出一组物联网服务要满足的性质,并利用模型检测工具UPPAAL验证物联网服务的正确性. 展开更多

关键词 物联网服务 时间自动机 环境实体 服务建模 模型验证

在线阅读 下载PDF 职称材料

基于SROIQB的语义Web服务建模和组合 被引量：2

2

作者 刘大有 刘思培 齐红 《通信学报》 EI CSCD 北大核心 2010年第S1期1-9,共9页

提出了一种基于SROIQB的语义Web服务建模和组合方法。首先,从OWL-S所提供的原子服务和组合流程语义描述出发,详细分析了原子服务的IOPE属性与顺序、选择、乱序、条件、迭代、循环、分支和汇合等组合流程的控制结构,将原子服务的输入、... 提出了一种基于SROIQB的语义Web服务建模和组合方法。首先,从OWL-S所提供的原子服务和组合流程语义描述出发,详细分析了原子服务的IOPE属性与顺序、选择、乱序、条件、迭代、循环、分支和汇合等组合流程的控制结构,将原子服务的输入、输出语义视为描述逻辑的概念,将原子服务和组合流程分别建模为描述逻辑中的原子角色和布尔角色公式,基于概念和角色蕴含公理对语义Web服务的可实现性、可执行等功能语义进行刻画。其次,将本体中概念的上下位关系等价表示为描述逻辑的概念蕴含公理,在描述逻辑的框架下建立了领域本体与语义Web服务的联系,将语义Web服务的并发和顺序组合问题归结为基于描述逻辑知识库的蕴含关系判定和一致性检查等推理问题。从而在描述逻辑的框架内,对语义Web服务组合问题,提出了一种既具有足够的建模能力,又保证组合推理过程可判定的新方法。 展开更多

关键词 语义WEB服务 服务建模 服务组合 描述逻辑 布尔角色算子

在线阅读 下载PDF 职称材料

服务建模基础理论研究(英文) 被引量：1

3

作者 陈福 杨扬 熊曾刚 《计算机科学与探索》 CSCD 2008年第4期439-448,共10页

面向服务的体系结构(SOA)通过发布在开放环境中的服务构造应用系统。在这样的环境中各个服务高度动态变化,需要基于服务形成的系统能够适应这种变化,这种本质特点给SOA带来巨大挑战。目前缺乏对服务系统形式化表述的理论基础。文章主要... 面向服务的体系结构(SOA)通过发布在开放环境中的服务构造应用系统。在这样的环境中各个服务高度动态变化,需要基于服务形成的系统能够适应这种变化,这种本质特点给SOA带来巨大挑战。目前缺乏对服务系统形式化表述的理论基础。文章主要关注服务系统的基础理论,包括服务代数、基于Petrinet的服务系统建模、并发系统、冲突、混或系统、服务矩阵等。结束部分给出了具体实现的体系结构和案例。 展开更多

关键词 服务逻辑 服务矩阵 合成服务建模 JENA

在线阅读 下载PDF 职称材料

模型驱动的产品应用服务建模方法

4

作者 阴艳超 刘泓滨 《计算机工程与应用》 CSCD 2012年第15期212-219,232,共9页

为了将应用服务需求转换成模型,最终指导和实现产品应用服务系统的快速构建,提出一种模型驱动的产品应用服务建模方法。在元对象机制的元模型层建立可拓物元形式化描述与面向对象元模型元素的映射关系,给出UML可拓扩展机制,形成适合描... 为了将应用服务需求转换成模型,最终指导和实现产品应用服务系统的快速构建,提出一种模型驱动的产品应用服务建模方法。在元对象机制的元模型层建立可拓物元形式化描述与面向对象元模型元素的映射关系,给出UML可拓扩展机制,形成适合描述产品应用服务的可拓UML复合语言;分析产业链业务协作过程中的产品资源与组成服务要素,建立面向产品应用服务的四层模型驱动架构,研究架构的四层驱动模型之间的转换关系;通过案例验证了所提方法的可行性和有效性。 展开更多

关键词 产品应用服务建模 可拓UML复合语言 模型驱动架构 驱动模型转换

在线阅读 下载PDF 职称材料

基于混成系统的物联网服务建模与验证 被引量：5

5

作者 叶林 汤瀑 +1 位作者 郭立鹏 张亮 《小型微型计算机系统》 CSCD 北大核心 2013年第12期2663-2668,共6页

物联网是物理世界和信息世界的无缝融合,它将信息世界的快速发展能力带到了物理世界,促使信息与实体服务方式发生深刻的变革.物联网服务的正确建模和验证需要统一描述现实世界中的物理实体和计算机中的软件系统.鉴于这一需求的复杂性,... 物联网是物理世界和信息世界的无缝融合,它将信息世界的快速发展能力带到了物理世界,促使信息与实体服务方式发生深刻的变革.物联网服务的正确建模和验证需要统一描述现实世界中的物理实体和计算机中的软件系统.鉴于这一需求的复杂性,现有的物联网分析模型大都割裂了物理世界与信息世界,因此不能准确反映物联网服务区别于Web服务的重要特征.解决这一问题,是促进物联网服务能够真正向智能、可靠发展的先决条件.本文利用混成系统对信息系统的离散指令与物理设备连续行为刻画能力,提出一种基于混成系统理论的物联网服务建模与验证框架,其中原子服务由物理设备与相应的控制系统共同组成的混成系统构成,组合服务再由分布式混成系统组织各原子服务构成.这一物联网服务建模与验证框架有效地统一了物理设备、控制系统与组合服务系统,从而具备了对物联网服务的深度建模与全面验证能力. 展开更多

关键词 物联网服务 混成系统 服务建模 模型验证

在线阅读 下载PDF 职称材料

支持SMDA服务建模工具的设计与实现 被引量：1

6

作者 丁玉兰 王忠杰 徐晓飞 《计算机应用》 CSCD 北大核心 2008年第S2期125-128,共4页

讨论了支持服务模型驱动体系结构(SMDA)的建模工具的设计和实现方法,对SMDA的服务模型规范作了简介,对建模工具的系统结构和功能进行了详细描述,介绍了基于JHotDraw的实现方法,并给出了服务系统建模的一个实例。

关键词 服务模型 服务建模 建模工具 可视化 可配置

在线阅读 下载PDF 职称材料

面向服务的建模:一种全过程复用的方法 被引量：25

7

作者 吴步丹 金芝 赵彬 《计算机学报》 EI CSCD 北大核心 2008年第8期1293-1308,共16页

面向服务的计算是Internet环境下的一种新型软件架构理念,即通过集成分布的服务构建软件.面向服务建模是面向服务计算中的重要研究内容.一方面,面向服务的软件同传统软件一样,需要首先对应用需求进行建模.另一方面,面向服务的计算需要... 面向服务的计算是Internet环境下的一种新型软件架构理念,即通过集成分布的服务构建软件.面向服务建模是面向服务计算中的重要研究内容.一方面,面向服务的软件同传统软件一样,需要首先对应用需求进行建模.另一方面,面向服务的计算需要实现分布复用和快速集成,这对面向服务的建模提出了新的要求.文中提出一种基于全过程复用的面向服务的建模方法,即提出构建特定应用领域的本体系统,包含相互关联着的多个不同类型的本体.不同层次的软件资产关联到这些本体上,支持面向服务建模的不同阶段,包括应用框架建模、业务流程建模、合作模式建模以及组合服务建模等.当出现新的服务软件应用需求时,通过本体系统的引导复用软件资产,最后构造出服务软件模型. 展开更多

关键词 面向服务建模 SOA资产 SOA资产复用 本体系统

在线阅读 下载PDF 职称材料

一种用户需求驱动的服务资源建模方法 被引量：2

8

作者 曾诚 何克清 李兵 《计算机应用与软件》 CSCD 北大核心 2012年第8期21-24,共4页

面向用户需求通过松散耦合的服务资源的重用和重组,实现其按需发现与组合,正成为网络化软件主流的开发范型。如何对服务进行建模已成为这种范型中的一个重要问题。提出一种用户需求驱动、基于RGPS(Role-Goal-Process-Service)领域资产... 面向用户需求通过松散耦合的服务资源的重用和重组,实现其按需发现与组合,正成为网络化软件主流的开发范型。如何对服务进行建模已成为这种范型中的一个重要问题。提出一种用户需求驱动、基于RGPS(Role-Goal-Process-Service)领域资产的服务建模方法。通过对服务模型进行语义需求封装来满足用户需求,从而实现用户需求和服务之间的动态"握手"。该方法已在原型系统中得以应用和验证。 展开更多

关键词 RGPS 用户需求 服务建模

在线阅读 下载PDF 职称材料

云制造环境下的制造服务标准化建模方法研究 被引量：3

9

作者 童晓薇 朱结枝 《图学学报》 CSCD 北大核心 2017年第2期185-191,共7页

参照产品数据管理中常用的物料清单技术,提出了一种适用于云制造环境的、面向产品制造全生命周期的制造服务标准化建模框架,详细阐述了其总体结构和动态建模过程。提出一种改进的Apriori加权算法用以实现基本制造服务的模块化聚合,使得... 参照产品数据管理中常用的物料清单技术,提出了一种适用于云制造环境的、面向产品制造全生命周期的制造服务标准化建模框架,详细阐述了其总体结构和动态建模过程。提出一种改进的Apriori加权算法用以实现基本制造服务的模块化聚合,使得构建出的标准化制造服务体系能够兼顾现实的市场需求及制造能力分布情况。最后,以典型机电产品轮式装载机的主要部件为实例,阐述了云制造服务标准化模型的两阶段构建过程,验证了云制造服务标准化建模方法的可行性与合理性。 展开更多

关键词 云制造 制造服务标准化建模 动态服务建模 全生命周期建模 加权Apriori算法

在线阅读 下载PDF 职称材料

基于多层次本体集成的服务系统建模

10

作者 苟娟琼 陈志雄 李学伟 《北京交通大学学报》 CAS CSCD 北大核心 2010年第3期96-100,共5页

服务系统建模是服务科学的研究重点之一,在业务领域进行组件化设计,并与信息系统保持动态一致性,需要解决组件的适应性、多粒度和社会因素建模等问题.本文分析对比了传统企业建模、服务建模和本体在建模领域的应用,将本体引入服务系统... 服务系统建模是服务科学的研究重点之一,在业务领域进行组件化设计,并与信息系统保持动态一致性,需要解决组件的适应性、多粒度和社会因素建模等问题.本文分析对比了传统企业建模、服务建模和本体在建模领域的应用,将本体引入服务系统的建模之中.在分析服务系统、技术系统、组织管理和服务的基础上,重点研究了本体建模中的层次性设计,提出了以技术链为基础,以服务为导向,基于多层次本体集成的服务系统建模方法论,并分析了相关的技术方法. 展开更多

关键词 服务科学 服务建模 服务系统 本体 本体集成

在线阅读 下载PDF 职称材料

面向高速铁路的三维模型数据库管理与建模服务 被引量：6

11

作者 张恒 朱军 +3 位作者 徐柱 胡亚 尹灵芝 刘铭崴 《计算机应用研究》 CSCD 北大核心 2015年第9期2708-2711,共4页

为了解决高速铁路领域中多专业协同建模与模型信息共享重用的问题,以面向对象的思想自上而下地对高速铁路场景进行剖分,构建高速铁路不同专业领域的基元模型库,然后基于Oracle关系数据库,实现三维模型的存储、查询、共享等管理机制,通... 为了解决高速铁路领域中多专业协同建模与模型信息共享重用的问题,以面向对象的思想自上而下地对高速铁路场景进行剖分,构建高速铁路不同专业领域的基元模型库,然后基于Oracle关系数据库,实现三维模型的存储、查询、共享等管理机制,通过对数据库中的三维模型进行有效的调度和组合,再对处理后的影像和地形进行叠加、匹配,即可生成虚拟高速铁路场景。结果表明,该方法能够采用数据库技术对三维模型进行有效的管理和调度,进而利于生成虚拟场景。研究成果能够为高速铁路提供建模服务。 展开更多

关键词 三维模型 数据库管理 虚拟场景 建模服务

在线阅读 下载PDF 职称材料

仿真网格中协同建模网格服务研究及实现 被引量：4

12

作者 李妮 郑宏涛 +1 位作者 彭晓源 李伯虎 《计算机集成制造系统》 EI CSCD 北大核心 2007年第9期1686-1689,1699,共5页

为了将建模/仿真/项目管理技术协同,集成地应用于复杂系统虚拟样机的全生命周期,给出了仿真网格原型系统体系结构。介绍了六类典型协同建模网格服务及其应用门户的实现方案及应用方式,实现了协同建模环境中计算资源、模型资源、数据资... 为了将建模/仿真/项目管理技术协同,集成地应用于复杂系统虚拟样机的全生命周期,给出了仿真网格原型系统体系结构。介绍了六类典型协同建模网格服务及其应用门户的实现方案及应用方式,实现了协同建模环境中计算资源、模型资源、数据资源的共享,以及多媒体研讨厅环境和二维/三维可视化功能的网格化集成,以此支持基于广域网的复杂产品虚拟样机协同设计过程。该原型系统已在有关项目中得到应用验证。 展开更多

关键词 仿真网格 协同建模网格服务 网络化集成 应用门户

在线阅读 下载PDF 职称材料

网络环境下服务系统的Petri网建模方法研究

13

作者 何胜利 《现代防御技术》 北大核心 2009年第2期67-71,共5页

首先提出服务代数结构体系,通过严谨的数学定义阐明服务的抽象本质,组织服务及其合成行为,用于指导服务合成,进行有效的服务行为特征数学描述和行为建模,给出针对服务合成形式化分析方法。接着给出了使用Petri进行服务合成活动的形式化... 首先提出服务代数结构体系,通过严谨的数学定义阐明服务的抽象本质,组织服务及其合成行为,用于指导服务合成,进行有效的服务行为特征数学描述和行为建模,给出针对服务合成形式化分析方法。接着给出了使用Petri进行服务合成活动的形式化描述、验证方法。最后阐述了下一步的研究内容。 展开更多

关键词 服务系统 服务合成 服务建模 服务不确定性

在线阅读 下载PDF 职称材料

面向跨系统个性化服务的用户建模方法研究 被引量：2

14

作者 王丹丹 《情报杂志》 CSSCI 北大核心 2012年第6期156-161,共6页

以一种用户为中心的方式,共享和整合分布在多个应用系统中的多样的、异构的数据是当前个性化服务面临的最大挑战。以分布式多应用环境下,实现来自不同系统,有关同一用户的多样化数据共享和整合的技术方法为研究对象,在分析面向单应用系... 以一种用户为中心的方式,共享和整合分布在多个应用系统中的多样的、异构的数据是当前个性化服务面临的最大挑战。以分布式多应用环境下,实现来自不同系统,有关同一用户的多样化数据共享和整合的技术方法为研究对象,在分析面向单应用系统的用户建模方法局限性,提炼多应用环境下用户建模基本问题与核心目标的基础上,对实现多系统用户数据整合的技术方法进行梳理,按照构建的视角将其划分为自上而下的基于标准的方法和自下而上的基于映射的方法两大派系,对代表性研究成果进行评述,并指出发展趋势。 展开更多

关键词 个性化服务跨系统个性化用户建模互操作可重用

在线阅读 下载PDF 职称材料

SOA全生命周期建模方法综述 被引量：8

15

作者 汪林林 张春 +1 位作者 刘歆 刘川 《计算机应用研究》 CSCD 北大核心 2011年第1期37-41,共5页

在介绍SOA(面向服务的架构)项目实施过程的基础上,从SOA全生命周期的视角,着重从方法论上对实施SOA项目所涉及到的业务流程建模、服务建模、数据建模、服务集成建模和业务监控建模进行了分析与评述,并提供了一些新的解决思路,同时指出了... 在介绍SOA(面向服务的架构)项目实施过程的基础上,从SOA全生命周期的视角,着重从方法论上对实施SOA项目所涉及到的业务流程建模、服务建模、数据建模、服务集成建模和业务监控建模进行了分析与评述,并提供了一些新的解决思路,同时指出了SOA建模领域的一些研究热点及趋势。 展开更多

关键词 面向服务架构建模 业务流程建模 服务建模 数据建模 服务集成建模 业务监控建模

在线阅读 下载PDF 职称材料

面向服务系统设计的服务需求模型 被引量：13

16

作者 莫同 徐晓飞 王忠杰 《计算机集成制造系统》 EI CSCD 北大核心 2009年第4期661-669,共9页

为全面、准确地描述顾客日益复杂和个性化的服务需求,支持服务系统半自动化设计,提出一种新的多视图服务需求模型。该模型从交互流程、组织、资源和信息四个方面对服务需求进行抽象,提取出相应的模型要素,给出建模一致性规则和建模过程... 为全面、准确地描述顾客日益复杂和个性化的服务需求,支持服务系统半自动化设计,提出一种新的多视图服务需求模型。该模型从交互流程、组织、资源和信息四个方面对服务需求进行抽象,提取出相应的模型要素,给出建模一致性规则和建模过程。通过海运物流服务实例,说明了如何建立服务需求模型。此外,还将该模型与常见服务模型进行了对比分析,并展示了建模工具原型系统。 展开更多

关键词 服务工程 模型驱动 服务系统设计 服务模型与服务建模 服务需求模型 服务模型驱动体系结构

在线阅读 下载PDF 职称材料

面向服务的虚拟企业模型及其一致性检查机制 被引量：2

17

作者 王伟然 范玉顺 《高技术通讯》 CAS CSCD 北大核心 2011年第10期1076-1083,共8页

针对面向服务的虚拟企业业务运作对企业建模的需求，提出了面向服务的虚拟企业模型（SOVEM），并研究了其一致性检查机制。在分析面向服务的虚拟企业业务模式及其特点的基础上，提出了SOVEM的概念模型和形式化定义，讨论了其建模过程和... 针对面向服务的虚拟企业业务运作对企业建模的需求，提出了面向服务的虚拟企业模型（SOVEM），并研究了其一致性检查机制。在分析面向服务的虚拟企业业务模式及其特点的基础上，提出了SOVEM的概念模型和形式化定义，讨论了其建模过程和成员企业模型映射方法，继而讨论了模型的一致性检查机制，定义了一致性约束并给出了模型验证算法，以保证模型的有效性，并且通过面向服务的虚拟企业建模原型系统的实现和实例检验验证了SOVEM及其一致性检查机制的可行性和有效性。该模型着眼于面向服务的业务模式，反映了网络化制造的特点，可为面向服务的虚拟企业提供一致的、全范围、多视图的集成化描述，以支持其构建和运行。 展开更多

关键词 面向服务的企业(SOE) 虚拟企业 企业模型 服务建模 一致性

在线阅读 下载PDF 职称材料

要素细化与代码实现——WSMF模型 被引量：5

18

作者 黄映辉 李冠宇 《计算机应用》 CSCD 北大核心 2008年第8期2156-2159,2169,共5页

Web服务建模框架(WSMF)的实际应用可归结为是在正确理解WSMF本质基础上的要素细化与代码实现。WSMF的本质就是基于"重用性-解耦性-语义中介协调"观点导出的Web服务、目标、中介器、本体4个顶层要素及其相互关系。WSMF的顶层... Web服务建模框架(WSMF)的实际应用可归结为是在正确理解WSMF本质基础上的要素细化与代码实现。WSMF的本质就是基于"重用性-解耦性-语义中介协调"观点导出的Web服务、目标、中介器、本体4个顶层要素及其相互关系。WSMF的顶层要素及其相互关系由Web服务本体模型(WSMO)细化扩展为层次结构的WSMF底层要素体系。WSMF的底层要素由Web服务建模语言(WSML)做形式化描述,进而转换为XML代码。一个实际的Web服务例证了WSMF顶层要素的细化、形式化、代码化的方法与过程。 展开更多

关键词 Web服务建模框架 Web服务建模框架要素 Web服务本体模型 Web服务建模语言 WEB服务

在线阅读 下载PDF 职称材料

云制造环境下基于动态描述逻辑的制造服务匹配研究 被引量：7

19

作者 杨男 李东波 童一飞 《中国机械工程》 EI CAS CSCD 北大核心 2013年第16期2202-2207,共6页

为解决云制造环境下制造服务显著的异构性、动态性给云制造服务匹配带来的难题,提出了一种基于动态描述逻辑的制造服务匹配方法。建立了基于动态描述逻辑的动作描述理论,给出了复杂动作在描述、拆解、组合过程中需要遵循的原则,提出了&q... 为解决云制造环境下制造服务显著的异构性、动态性给云制造服务匹配带来的难题,提出了一种基于动态描述逻辑的制造服务匹配方法。建立了基于动态描述逻辑的动作描述理论,给出了复杂动作在描述、拆解、组合过程中需要遵循的原则,提出了"五层三阶段"的云制造匹配策略。用基于DDL的六元组对云制造服务进行建模,该模型能够准确地描述云制造服务的输入、控制和输出,为云制造服务匹配提供语义表达基础,同时,给出了匹配策略下的制造服务匹配规则及初步匹配算法实现。最后,通过对已有锻造系统的云化改造,证明了该方法能够有效地完成云制造环境下制造服务匹配工作。 展开更多

关键词 云制造 云服务 动态描述逻辑 服务建模 服务匹配

在线阅读 下载PDF 职称材料

基于SOA的分布式服务供应链信息共享平台研究与实践 被引量：19

20

作者 沈惠璋 赵继娣 QIU Robin 《计算机应用研究》 CSCD 北大核心 2010年第2期606-610,共5页

以SOA理论体系为出发点,提出了基于企业服务总线(enterprise service bus,ESB)的分布式服务供应链信息共享平台的体系结构,并分析了该信息共享平台建设的生命周期。进一步采用案例分析的研究方法,以企业信息系统设计项目与IBM高校合作... 以SOA理论体系为出发点,提出了基于企业服务总线(enterprise service bus,ESB)的分布式服务供应链信息共享平台的体系结构,并分析了该信息共享平台建设的生命周期。进一步采用案例分析的研究方法,以企业信息系统设计项目与IBM高校合作项目为例子,探讨了分布式服务供应链信息共享平台的服务建模过程,并设计和开发了一个分布式服务供应链信息共享平台。 展开更多

关键词 服务供应链 面向服务架构 企业服务总线 生命周期 服务建模

在线阅读 下载PDF 职称材料