基于时间自动机的物联网服务建模和验证

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

基于SROIQB的语义Web服务建模和组合

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

服务建模基础理论研究(英文)

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

高校云会计服务类型和服务建模方法探究

本文借鉴SOA、云计算等技术,以及高校会计日常工作、任务和对应的信息流,分析会计业务中的专业性服务类型,并构建云会计服务类型关系结构图。然后,提出高校云会计服务建模方法,并简要对比分析了这些方法。

SOA的服务建模研究及其应用

分析了S OMA和M SOAM的方法及特点,在两者基础之上提出了简单、易用、兼顾服务发现和服务设计原则的服务建模方法,并以图书订单销售业务为例进行服务建模,对服务建模步骤中的服务发现与服务合并做了详细的描述,对服务建模在实际应用中有较大帮助和影响。

面向指挥对抗模拟训练的通信服务建模需求分析

针对指挥对抗模拟训练的通信服务保障需求,详细分析了通信服务建模(Communication Service Model)的应用需求,在应用需求分析基础上,进行了CSM功能需求分析,最后给出了CSM的性能需求分析。CSM需求分析为通信服务模型的具体设计提供了清晰的设计依据和思路。

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

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

基于过程蓝图的Web服务建模

基于模型驱动架构(MDA,model driven architecture)为Web服务开发提供了一个有效途径,但在使用统一建模语言(UML,unified modeling language)建模过程中缺乏严格的语义描述。对Web服务建模进行了研究,给出了新的web服务开发流程。利用过程蓝图对UML中的用例图、顺序图和类图进行了扩展,使得建模过程中包含了严格的语义信息。通过实例对新的服务开发流程进行验证,证明了其可行性。实验结果表明,这一开发流程具有较强的实用价值,有效提高了软件的开发效率。

价值知觉的迭代式服务建模方法

在设计服务系统的过程中,服务设计人员将粗粒度的服务模型向细粒度服务模型进行转换时,经常会面临存在多种可选服务模型分解方案的情况。为了帮助服务设计人员能够快速、准确的选择出高质量的服务模型分解方案,提出了针对多可选服务模型分解方案的价值知觉的迭代式服务建模方法。该方法同时考虑了功能和价值角度,服务建模过程在上下层服务模型之间迭代地执行价值声明、价值度量、价值分析与优化等价值知觉活动,将服务价值的实现程度作为整个阶段的决策依据,从而保证了选择出的服务模型分解方案能够最充分地支持其对应的服务价值的实现。最后,通过与常见的服务建模方法进行比较验证了该方法的性能。

基于混成系统的物联网服务建模与验证

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

支持SMDA服务建模工具的设计与实现

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

一种基于SOMA的服务建模方法研究

在分析SOMA思想的基础上,研究了一种基于SOMA的服务建模方法,通过形式化理论分析了服务建模过程中服务发现和设计建模的过程,结合模型驱动理论提出具体的方法实现服务从抽象模型到运行实体的转换,并根据方法实现服务设计建模工具,最后通过在海战场领域的一个建模实例验证方法的可行性。

档案数字化背景下的档案信息服务——数字化档案信息服务建模

建立数字化档案信息服务模型,梳理数字化档案信息服务模型的特点,制定相关实施计划,可以取得事半功倍的效果,也是对数字档案室建模研究的尝试。

物联网服务建模:一种基于环境建模的方法

物联网服务是传统Web服务通过传感器网络向物理环境的延伸,它通过传感器网络感知物理环境中的实体,也向物理环境实体施加作用.与传统Web服务相比,由于物联网服务受到所依赖的物理环境的时间受限性、资源受限性和设备潜在故障概率的影响,物联网服务的响应速度、服务能耗和容错能力等特性成为影响物联网系统整体特性的重要因素.因此,对物联网服务进行全面建模,对物联网服务所处的外部环境进行形式化描述,并结合物理环境模型对物联网服务的性质进行分析,对于确保物联网系统的正确性、稳定性非常必要.本文针对物联网服务的特点,结合基于环境建模的需求工程思想,提出一种基于环境的物联网服务三元问题域建模框架,给出了物联网服务建模本体以及相应的建模原则.在此基础上,提出了一种物联网服务行为建模方法,该方法将物联网服务和物理环境建模为概率时间自动机,将用户期望的服务特性描述为时序逻辑公式,为物联网服务功能行为正确性验证和非功能性约束可满足性验证奠定了基础.

面向服务的建模:一种全过程复用的方法

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

一种用户需求驱动的服务资源建模方法

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

云制造环境下的制造服务标准化建模方法研究

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

面向O2O的Web服务描述与建模

针对现有服务描述只考虑网上Web服务功能与质量属性,忽视用户网下服务需求的弊端.基于O2O环境中用户对网上服务和网下服务的综合需求,这篇文章对传统的Web服务描述进行了扩展,构建网上网下服务描述模型,设计了网上服务和网下服务的FQoS和QoS指标体系,定义了QoS属性的量化公式,建立了服务资源本体元模型,实现了对服务资源全面整体的描述,解决了网上服务和网下服务功能质量协同的问题.具有较强的理论意义和现实意义.

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

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

面向服务的C^4ISR系统能力需求分析与建模方法

面向服务计算(SOC)提供了一种满足C4ISR系统动态需求的新的集成架构,面向服务集成是未来C4ISR系统综合集成的必然趋势。为了解决C4ISR高层需求描述到系统设计的映射问题,将面向服务思想引入C4ISR系统的能力需求分析,提出了一种面向服务的C4ISR系统能力需求分析建模方法。该方法在3层多本体的基础上,由活动分析驱动服务建模,通过整合服务提供能力需求,为C4ISR系统分析设计和系统集成提供了一种更灵活的解决方案。最后,采用一个案例说明了方法的有效性和可用性。