检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

面向服务的企业应用集成系统描述与验证

软件学报 2007年第12期18卷 3015-3030页

作者：张广胜蒋昌俊汤宪飞徐岩同济大学电子与信息工程学院枣庄农村信用社合作联社山东枣庄277000

在对当前面向服务体系架构(service-oriented architecture,简称SOA)研究的基础上,给出了一个以企业服务总线(enterprise service bus,简称ESB)为中心的面向服务软件体系架构参考模型(SOA reference model,简称SOARM),是集Petri网和时序逻辑于一体的形式化SOA分析、验证和确认方法.基于以客户为中心的面向服务架构设计理念,即根据用户提出系统规范/需求,服务提供者提供服务或组合服务来满足服务消费者,服务接口和ESB作为实现面向服务架构的关键部分.虚拟计算环境下,服务语义的一致性验证是十分必要的,SOARM采用新的模式:通过Petri网为服务的行为建模,时序逻辑来描述服务语义一致性约束,综合运用分而治之的精炼检测思想和SOA模型检测合成方法,通过对这些子服务性质的检验来验证整个系统的规范.用商业银行综合前置系统说明了如何使用这种方法来实现面向服务的设计.

关键词：面向服务的体系架构体系架构模型综合前置系统时序逻辑 Petri网形式化描述正确性验证

基于大数据挖掘与决策分析体系的高校图书馆个性化服务研究

在线全文

学校读者我要写书评

暂无评论

图书情报知识 2016年第2期33卷 60-68页

作者：李艳吕鹏李珑湖北省科学图书馆武汉430071 中国科学院武汉文献情报中心武汉430071 中南民族大学图书馆武汉430074

首先,本文从大数据的历史演变及应用价值出发,研究了高校图书馆大数据挖掘与决策分析体系(简称"体系")建设的基础及发展方向。其次,文章设计了基于高校图书馆特点的体系架构模型与业务分析流程,并探讨体系在高校图书馆个性化服务中的应... 详细信息

首先,本文从大数据的历史演变及应用价值出发,研究了高校图书馆大数据挖掘与决策分析体系(简称"体系")建设的基础及发展方向。其次,文章设计了基于高校图书馆特点的体系架构模型与业务分析流程,并探讨体系在高校图书馆个性化服务中的应用。最后,结合体系在高校图书馆未来发展中的多个应用案例分析,证明了基于"大数据+微服务"的模式体系能够快速且有效地融入高校图书馆未来的建设发展中,为构建图书馆个性化服务提供技术支撑,同时为高校决策者做出科学的决策提供依据。

关键词：高校图书馆大数据挖掘与决策分析体系体系架构模型个性化服务微服务

在线全文

学校读者我要写书评

暂无评论

基于构件的服务模型形式化语义描述

华中科技大学学报（自然科学版） 2013年第S2期41卷 1-5页

作者：侯金奎王磊张奎廷潍坊学院计算机工程学院山东潍坊261061

为解决服务系统描述和构建过程中服务的组合和验证等方面的问题,以范畴理论为基础,引入进程代数,为服务系统的架构模型提出了一种形式化的语义描述方法.整个服务结构模型通过由服务标志和标志态射构成的范畴图表来描述,态射用来表示服... 详细信息

为解决服务系统描述和构建过程中服务的组合和验证等方面的问题,以范畴理论为基础,引入进程代数,为服务系统的架构模型提出了一种形式化的语义描述方法.整个服务结构模型通过由服务标志和标志态射构成的范畴图表来描述,态射用来表示服务规范之间的关系,余极限用来描述服务的层次组合.以此为基础,进一步从服务端口、结构和行为等方面对服务的组合、分解以及精化过程所中应保持的语义特性进行了分析.实例研究表明:该框架不仅能在抽象层次上支持服务系统的建模和分析,而且还可通过映射抽象模型到实现技术来支持服务组合,可以很好地分析需求分解和服务组合的正确性,可用于指导服务系统的描述和构建.

关键词：服务系统服务组合形式化语义体系架构模型范畴理论

在线全文

学校读者我要写书评

暂无评论

基于语音识别的体系设计建模辅助技术研究

基于语音识别的体系设计建模辅助技术研究

作者：高子恒中国电子科技集团公司电子科学研究院

学位级别：硕士

体系架构是一个由复杂系统组成的庞大的、可互操作的分布式信息系统,对组织或项目的开展有重要意义。在使用工具软件开展体系架构设计建模时,现有工作主要依赖键盘和鼠标进行操作和输入,存在输入速度可提升、建模操作过程重复冗余、操... 详细信息

体系架构是一个由复杂系统组成的庞大的、可互操作的分布式信息系统,对组织或项目的开展有重要意义。在使用工具软件开展体系架构设计建模时,现有工作主要依赖键盘和鼠标进行操作和输入,存在输入速度可提升、建模操作过程重复冗余、操作繁琐等问题,从而导致设计建模工作人力和时间成本较高,开发效率不高。针对上述问题,本文以体系架构设计工具作为参考,分析了实际架构设计案例,研究了基于语音识别的体系设计建模辅助技术,有力支持实际的架构设计工作开展,提升了设计效率和设计质量。本文的主要工作有:1)本文分析了传统键盘-鼠标操作的不足之处,分析了语音的优势,论述了基于语音改进传统设计建模工作的可能性。2)本文研究了基于词性标注与信息抽取的操作意图提取方法和基于多模态输入的语义补全方法,实现了从长文本中提取多个可能的操作意图3)本文研究了基于文本相似度计算思想的意图与指令匹配方法,实现了将模糊或歧义的意图文本匹配至明确的可被工具软件理解执行的操作指令。4)本文基于实际案例,通过绘制新的模型,结合重绘选取的日常工作中绘制积累的体系架构设计案例,通过对比操作量和操作时间对本文研究的基于语音的体系设计建模辅助方法进行了评估,通过信息熵方法对传统键盘-鼠标操作方法和键盘-鼠标-语音结合的操作方法进行了人机交互复杂度的量化,验证了本文方法的有效性和合理性。

关键词：体系架构模型信息提取文本相似度计算多模态输入

基于主题语义理解的体系架构智能辅助设计技术研究

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于主题语义理解的体系架构智能辅助设计技术研究

作者：邹梦苑中国电子科技集团公司电子科学研究院

学位级别：硕士

随着全军顶层设计工作的开展和推进,在使用Inf-ProA框架及其配套的工具开展军事领域的架构设计工作中逐步积累并形成了一定数量的架构设计模型资产。在开展体系架构模型设计时,存在设计过程重复冗余、跨域协作设计困难等问题,从而导致... 详细信息

随着全军顶层设计工作的开展和推进,在使用Inf-ProA框架及其配套的工具开展军事领域的架构设计工作中逐步积累并形成了一定数量的架构设计模型资产。在开展体系架构模型设计时,存在设计过程重复冗余、跨域协作设计困难等问题,从而导致设计质量层次不齐、人力和时间成本较高。已积累的资产和设计经验未被挖掘利用,造成了资源的浪费。因此,本文基于Inf-ProA图元类架构模型（本文以作战资源流模型为例）,通过对实际架构设计案例的分析,结合对其他模型相似性度量方法的研究,从而对架构模型主题语义进行分析和挖掘,创新的提出了架构模型搜索推荐技术实现的方法。从而实现了搜索推荐出与当前设计相似的模型的辅助功能,解决了在架构模型设计过程中对广泛的参考已有相似模型的需求,达到了利用已有模型库来智能辅助当前设计的目的。同时,本文还研究了在导入用户选中推荐的相似模型后,通过词匹配对生成和结构对比的方法,完成了对当前正在设计模型的辅助生成技术,智能补全当前的设计内容。并且,结合Inf-ProA配套的体系架构设计工具,实现了本文提出的智能辅助设计功能。最后,本文采用了选取具有明显特征的模型数据组与其他的相似性度量方法对比实验的思路,对本文提出的架构模型相似性度量方法进行了评估。同时,开展了某军项目科研案例的实验,经过专家对实现效果的评估,验证了本文所研究的架构模型搜索推荐和辅助生成技术的有效性和合理性。并且,表明该研究技术在实际的架构设计应用中确实起到了辅助设计的效果,显著提升了设计效率和设计质量。

关键词：体系架构模型主题特征提取相似度计算近义词匹配子图同构

Inf-ProA信息活动过程模型相似性度量方法

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

计算机与现代化 2022年第2期 26-32页

作者：邹梦苑樊志强徐珞刘洁梁万路华北计算技术研究所创新中心北京100083 军事科学院北京100091 中国电科智能科技研究院北京100005 北京市信息技术研究所北京100036

随着全军顶层设计工作的开展和推进,在使用Inf-ProA框架及其配套的工具开展军事领域的架构设计工作中逐步积累并形成了一定数量的架构设计模型资产。在架构师进行模型设计时,存在着广泛地参考已有相似模型的需求。然而,现有的架构方法... 详细信息

随着全军顶层设计工作的开展和推进,在使用Inf-ProA框架及其配套的工具开展军事领域的架构设计工作中逐步积累并形成了一定数量的架构设计模型资产。在架构师进行模型设计时,存在着广泛地参考已有相似模型的需求。然而,现有的架构方法和工具还无法对有参考价值的相似模型进行度量和推荐。本文基于信息活动模型(IAV-1a)的基本架构设计要素,通过对可扩展语言文档以及统一建模语言模型相似性度量的研究,提出一种可用于衡量Inf-ProA信息活动过程模型相似度的方法。对信息活动过程模型的内容和结构方面进行相似性的衡量,并考虑接近模型最终设计结果上的设计相似性,利用架构设计实践经验,使得到的相似性度量结果更具有合理性。该相似性度量的结果可以用于对正在设计的模型提供一个最大化的相似匹配,对推荐给架构师来完成辅助设计具有重要意义。实验结果表明,本文提出的方法可以有效地对信息活动过程模型的相似性进行度量。

关键词：体系架构模型相似度计算子图同构