检索结果-南通市图书馆

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

在线全文

学校读者我要写书评

暂无评论

通信学报 2010年第S1期31卷 1-9页

作者：刘大有刘思培齐红吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012

提出了一种基于SROIQB的语义Web服务建模和组合方法。首先,从OWL-S所提供的原子服务和组合流程语义描述出发,详细分析了原子服务的IOPE属性与顺序、选择、乱序、条件、迭代、循环、分支和汇合等组合流程的控制结构,将原子服务的输入、... 详细信息

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

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

在线全文

学校读者我要写书评

暂无评论

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

小型微型计算机系统 2013年第12期34卷 2663-2668页

作者：叶林汤瀑郭立鹏张亮复旦大学计算机科学技术学院上海200433

物联网是物理世界和信息世界的无缝融合,它将信息世界的快速发展能力带到了物理世界,促使信息与实体服务方式发生深刻的变革.物联网服务的正确建模和验证需要统一描述现实世界中的物理实体和计算机中的软件系统.鉴于这一需求的复杂性,... 详细信息

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

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

在线全文

学校读者我要写书评

暂无评论

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

计算机应用 2008年第S2期28卷 125-128页

作者：丁玉兰王忠杰徐晓飞哈尔滨工业大学计算机科学与技术学院哈尔滨150001

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

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

在线全文

学校读者我要写书评

暂无评论

基于SOA的铁路信息共享服务建模研究

基于SOA的铁路信息共享服务建模研究

作者：孙杰北京交通大学

学位级别：硕士

中国铁路信息系统经过几十年的建设,取了较大发展。信息技术在铁路生产的各个领域发挥了巨大作用。但是我们在看到成绩的同时应该注意到当前铁路信息系统还存在很多问题。其中最突出的问题就是各个系统之间的互通、互联不畅。面向服务... 详细信息

中国铁路信息系统经过几十年的建设,取了较大发展。信息技术在铁路生产的各个领域发挥了巨大作用。但是我们在看到成绩的同时应该注意到当前铁路信息系统还存在很多问题。其中最突出的问题就是各个系统之间的互通、互联不畅。面向服务的构架(SOA)是当前异构系统整合、应用系统集成的理想方案。它可以利用遗留系统,实现跨平台的整合,增加程序功能部件的重复利用,减少开发成本,加快新应用的部署,促进IT系统快速适应企业业务流程的不断变化。本文主要对如何针对中国铁路信息系统建立适合的服务做出理论研究,提出了一套可行的服务建模方法为SOA在中国铁路信息系统中的实际应用铺平道路。本文首先介绍了面向服务的构架(SOA)的基本概念及其组成体系,并着重分析了SOA的原则特点和优势。随后介绍了基于SOA项目的生命周期,接着在参考和总结当前各种建模方式的基础上,提出一套适用于SOA的建模方法,以指导在SOA实际应用中的前期建模过程。整个建模过程主要包括域分解、功能分析、服务目标分析、子系统分析、服务操作合成和服务设计六个步骤。在服务设计步骤引入了一种聚类的方法以帮助建模人员客观的进行服务设计。这部分是本文的理论重点和主要研究成果。根据前面的理论研究,本文的后半部分对中国铁路的信息系统进行了考察,并在此基础上应用前面的建模方法对中国铁路货运系统进行了建模,说明了本文所提出的建模方法的可行性。最后使用Web Services技术对建模结果进行了简单的实现。本文对如何将SOA具体运用于中国铁路信息系统有一定的指导作用。

关键词： SOA 服务建模服务粒度铁路货运系统

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

面向SOA的服务建模方法研究

面向SOA的服务建模方法研究

作者：黎明冬东北师范大学

学位级别：硕士

SOA是一种新的软件体系构架模式，和以往的面向对象相比，它具有众多的优点，比如松散耦合、可重用性、互操作性和粗粒度等。SOA允许企业调整并使用企业IT系统自身已有的服务模式，达到对现有资源的重用，从而无需耗费巨资进行大规模的... 详细信息

SOA是一种新的软件体系构架模式，和以往的面向对象相比，它具有众多的优点，比如松散耦合、可重用性、互操作性和粗粒度等。SOA允许企业调整并使用企业IT系统自身已有的服务模式，达到对现有资源的重用，从而无需耗费巨资进行大规模的新应用程序代码的开发。借助SOA可以大大地提高软件的开发效率，降低企业的IT成本，满足企业短时间内对快速变化的市场做出快速响应的要求，实现企业的业务逻辑与IT软件系统的快速对齐。因此，SOA早已成为多数企业IT系统架构设计的主流选择，在企业应用中得到了广泛的应用。 SOA概念最早是Gartner公司于1996年提出的，一直到现在，SOA的理论体系和技术基础已经有了深远的发展。但是，时至今日，基于SOA的服务建模过程的方法体系还未形成统一的标准，这是影响SOA发展的一个主要原因。为了SOA能够得到进一步的发展和完善，我们不但需要不断地提供相关开发技术的标准化，同时还要有服务建模过程方法论的指导。但是目前现有的几种服务建模方法依然难以满足SOA项目的最新要求。为了方便开发人员在开发过程中对服务进行建模，本文提出对原有的UML元模型进行SOA描述方面的扩展，从而能够更加精确和形象地描述服务，而且还能方便业务人员与技术人员之间进行沟通。同时结合现有的服务开发过程指导方法，提出一种新的面向服务开发过程的服务建模方法，涵盖服务分析和设计的整个服务建模流程，解决当前面向服务开发过程中缺乏完整服务建模指导方法等问题。最后，本文给出了一个订购处理系统的设计实例，该实例借助Microsoft Office Visio和IBM的RSA建模工具，使用UML扩展元模型实现服务建模，并且按照文章提出的服务建模方法指导服务的分析设计过程。旨在说明一个能够精确和形象地描述服务，并且完整实用的服务建模方法。

关键词： SOA 服务建模 UML 模型方法

基于Petri网的信息管理软件服务建模方法研究

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于Petri网的信息管理软件服务建模方法研究

作者：李勍东北师范大学

学位级别：硕士

目前,全球企业面临着业务模式创新、多元信息整合、人才管理和业务流程透明化等众多变革。这些变革对企业的敏捷性提出了很高要求。SOA作为一种松耦合的体系架构,能够最大程度实现业务需求与IT的一致性,将业务流程活动从服务实现中分离... 详细信息

目前,全球企业面临着业务模式创新、多元信息整合、人才管理和业务流程透明化等众多变革。这些变革对企业的敏捷性提出了很高要求。SOA作为一种松耦合的体系架构,能够最大程度实现业务需求与IT的一致性,将业务流程活动从服务实现中分离出来,还能够降低开发成本,是现今企业实现敏捷性最流行的技术手段。而服务建模的好坏直接影响到服务系统构建的效率,因此,服务建模方法对服务系统的构建有着举足轻重的作用。服务建模需要将服务流程形式化、计算机化,以工作流形式描述是现今服务建模表示的主流方式之一。而既有严格的数学分析和形式化定义,又有直观、形象的图形表示的Petri网是非常适合的建模工具。本文提出了一种基于Petri网的服务建模方法PN-SM,完成了服务系统向Petri网的映射,给出了对服务模型和服务组合逻辑关系的形式化描述,并对该建模方法进行了实例研究。首先对国内外服务建模研究成果进行了总结,并分析了主要存在的问题;其次对PN-SM服务建模方法进行了总体设计:根据SOMA服务建模方法论总结给出PN-SM面向服务的建模方法体系结构和覆盖服务生命周期的六个建模步骤,并给出了PN-SM的非分层和分层服务模型结构;重点研究了PN-SM的服务组合关系描述:建立服务系统与着色Petri网的映射,给出服务系统和服务、服务组合的定义和服务组合操作的形式化描述;最后,利用总结提出的PN-SM服务建模方法,对研究实例——大学生成功素质教育评价系统进行IT环境、业务流程分析,并对其进行服务建模,得出目标系统对应的图示化服务模型。本文提出的PN-SM是对面向服务建模方法的补充。该方法基于着色Petri网,能够对服务流程做正确描述,支持图形化表示,直观易用;对服务组合关系的形式化描述,能较为精确的刻画服务模型;服务模型结构清晰,支持层次化描述,可以满足实际开发过程中不同设计人员负责相应层次结构设计的实际需求。PN-SM建模方法独立于具体的描述语言和实现技术,有较广泛的应用范围,对服务系统的开发有一定的指导作用。

关键词：服务建模服务组合 Petri网信息管理软件高校管理系统

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于SOA的物流信息系统服务建模研究

基于SOA的物流信息系统服务建模研究

作者：陈亮西南交通大学

学位级别：硕士

信息技术的发展给物流的发展注入了新的活力,提高了物流信息的响应速度。同时当前物流信息化还存在很多问题,其中最突出的问题就是系统敏捷性和“信息孤岛”。随着国内物流需求市场的不断增温,必然会造成物流市场的激烈竞争,在这一过程... 详细信息

信息技术的发展给物流的发展注入了新的活力,提高了物流信息的响应速度。同时当前物流信息化还存在很多问题,其中最突出的问题就是系统敏捷性和“信息孤岛”。随着国内物流需求市场的不断增温,必然会造成物流市场的激烈竞争,在这一过程中,采用SOA架构物流信息系统的企业会具备明显的优势。这些企业将极大地利用现有资源,适应业务需求的变化,在最短的时间内,用最低的开发成本,构建出具有良好的兼容性和扩展性的信息系统,从而保证物流运作的高效进行。本文主要针对基于SOA的物流信息系统中如何构建适合的服务做出理论研究,在结合现有服务建模理论的基础上,深化了服务操作合并和服务颗粒度确认的研究,为SOA在物流信息系统中的实际应用铺平道路。本文首先介绍了面向服务的构架（SOA）的基本概念及其组成体系,并着重分析了服务的特点、层次以及服务粒度的决策因素。随后在参考和总结当前各种建模方式的基础上,提出一套适用于SOA的建模方法,以指导在SOA实际应用中的前期建模过程。整个建模过程沿用了业务流程分解、已有系统分析、业务目标分析几大步骤,并提出了新的服务操作合并的方法,即从建立混合型服务改进到以实体为核心的业务服务,再提炼以任务为核心的业务服务,最后形成多层的服务抽象,从而确定服务粒度,以满足不同的业务流程对服务性能的需求。这部分是本文的理论重点和主要研究成果。根据前面的理论研究,本文的后半部分以销售出库及配送业务流程为例,应用前面的建模方法构建了该物流业务的服务候选,说明了本文所提出的建模方法的可行性。

关键词：物流信息系统 SOA 服务服务建模服务粒度

基于Petri网的情境感知服务建模及冲突发现

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于Petri网的情境感知服务建模及冲突发现

作者：胡志芳大连理工大学

学位级别：硕士

以人为中心的普适计算以其服务的透明性和随时随地可获取性而成为未来计算机及其应用技术发展的主要趋势。情境感知计算是普适计算的支撑技术,该技术能够感知与用户相关的情境信息,进行推理和决策来推断用户的行为和目的,并主动为用户... 详细信息

以人为中心的普适计算以其服务的透明性和随时随地可获取性而成为未来计算机及其应用技术发展的主要趋势。情境感知计算是普适计算的支撑技术,该技术能够感知与用户相关的情境信息,进行推理和决策来推断用户的行为和目的,并主动为用户提供相应的信息和服务。但在情境感知系统中,随着用户需求的增加,服务数量逐渐增加,服务类型多样化,服务间的关系复杂化,这极大的增加了服务间相互冲突的可能。服务冲突可以在系统运行过程中通过动态检测机制检测并协调和解决,但这种机制加重了系统的运行负担,实时协调也可能使用户无法及时获取所需的服务。因此,建立一种情境感知服务建模和仿真方法,在系统实施之前尽可能真实的模拟情境感知服务的运行情况及其环境的变化,发现潜在的服务冲突,将问题止于设计阶段,显得非常必要。 Petri网是一种适用于多种系统的图形化、数学化建模工具,尤其适合描述系统的动态特性,被广泛应用于具有高度动态性的情境感知系统研究中。传统Petri网在刻画情境感知服务特性方面存在诸多局限,因此很多研究学者对其进行了扩展。目前虽然有很多基于扩展后的Petri网的情境感知服务及其环境建模方法,但仍缺乏扩展良好的Petri网能够刻画情境的多样性和动态随机性以及服务行为间的相互约束。本文针对该现状,结合情境感知服务及其环境特性对传统Petri网扩展,提出基于Petri网的情境感知服务模型,并研究了基于该模型的情境感知服务及其环境的建模方法和服务冲突监测方法。本文首先分析了国内外相关研究现状,在此基础上定义了基于Petri网的情境感知服务模型(Context-aware Service Model based on Petri net, CSMP),采用托肯颜色刻画情境的多样性,用时间和随机函数刻画情境的动态随机性,同时结合变迁优先级和ConDec约束描述服务行为间的约束,并研究了CSMP模型的相关性质;然后针对目前情境感知服务逻辑多由ECA规则描述这一现状,研究了服务逻辑从ECA规则转化为CSMP模型的转换模式;接着系统化的阐述了采用CSMP对情境感知服务及其环境建模的方法;并从约束的角度入手,建立了基于CSMP的服务冲突监测模型。最后结合CPN Tools建模仿真工具,以阿尔茨海默病患者智能辅助系统为例,对提出的方法进行了有效性验证。本文的研究表明：CSMP模型能够较好的刻画情境感知服务及其环境的特性,基于CSMP的服务冲突监测机制能有效发现潜在的服务冲突和问题,能够在一定程度上支持情境感知服务逻辑的设计,为设计人员提供有效的改进依据,实例研究表明该方法具有一定的应用价值和进一步深入研究的意义。

关键词：情境感知 Petri网服务建模仿真冲突监测

面向服务建模方法的研究及其在财务稽核系统的实践

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

面向服务建模方法的研究及其在财务稽核系统的实践

作者：彭兰茜北京邮电大学

学位级别：硕士

为了解决财务稽核系统建设过程中出现的系统耦合紧密、数据共享困难、功能模块重复严重、系统移植性和维护性较差等问题，本文引入面向服务的体系结构(SOA)对系统进行重新设计和改造。本文首先介绍财务稽核系统的情况，详细阐述了系统... 详细信息

为了解决财务稽核系统建设过程中出现的系统耦合紧密、数据共享困难、功能模块重复严重、系统移植性和维护性较差等问题，本文引入面向服务的体系结构(SOA)对系统进行重新设计和改造。本文首先介绍财务稽核系统的情况，详细阐述了系统存在的、亟待解决的问题，这是研究的目的。然后介绍面向服务体系结构的概念、特点、构成技术等，并详细说明SOA中关键的概念“服务”，包括服务的组成、分类和设计原则，这是本文研究的理论依据。接着讨论了面向服务的分析和设计过程，借鉴面向对象的UML建模方法，提出一套基于SOA面向服务的建模方法，用于指导系统的建模。这是本文的重点论述内容和研究成果。在此方法的指导下，对财务稽核系统进行建模，分析和设计出财务稽核系统需要的服务及服务的操作，并从灵活性、扩展性等方面对目前的财务稽核系统与基于SOA的财务稽核系统进行比较，解决了之前出现的紧密耦合、数据共享方面的问题。最后使用Web Services技术实现了财务稽核系统中的关键服务，并用C#开发的应用程序模拟异构系统对服务进行调用，验证了服务的可重用性，以及开发新应用时的高效性、灵活性。本文提出的基于SOA面向服务的建模方法是中立的，独立于软硬件平台、操作系统等，可用在任何需要采用SOA来建设的系统中，对系统所需服务的分析和设计提供指导。

关键词：财务稽核面向服务的体系结构服务建模服务粒度 Web服务统一建模语言