您好、欢迎来到现金彩票网!
当前位置:神州彩票app下载 > 公理语义 >

网络式软件的语义过程模型及其验证技术研究

发布时间:2019-05-14 11:26 来源:未知 编辑:admin

  随着互联网技术的发展和普及,社会对于软件的形态和开发过程提出了更高的要求,如各种业务应用的快速集成,业务系统的良好适应性及可复用性等。为了满足这种要求,一种面向服务(Service-Oriented)的软件形态正在来临。网络式软件作为一种为了顺应这种新要求而涌现的软件新形态,具有网络化和服务化的特点,集中体现了“软件即服务(Software as a service SaaS)的核心思想。网络式软件的开发呈现了“用户主导,面向领域,柔性生产”的模式特点,其中,领域的可复用的共性资产是实现网络式软件敏捷开发和满足用户个性化和多元化目标的重要基础。 网络式软件的领域建模是构建应用领域可复用的共性资产的过程。O-RGPS元建模框架为网络式软件的领域建模提供了建模视角及其之间的元关系。在元建模框架的指导下,领域建模构建了应用领域中的本体(O)资产,角色(R)资产,目标(G)资产,过程(P)资产,及服务(S)资产。这些不同视角的资产并非完全正交和独立的,而是呈现多层次、多粒度、且在语义层面上相互耦合。为了有利于这些语义丰富且相互耦合的领域资产的复用、规约、分析与管理,提出一个合适的资产组织框架来有效地组织这些不同视角的资产是十分必要的。 作为O-RGPS元建模框架的深入性基础研究,本文主要关注于领域资产的组织结构、描述及资产间一致性问题的分析和验证。因此,本文拟解决的科学问题为“基于元建模框架O-RGPS,针对语义丰富且耦合的领域资产,如何有效地组织这些不同视角的领域资产,使其能够被正确的复用和管理”。围绕着该科学问题,本文的贡献主要体现在以下几个方面: (1)基于O-RGPS元建模框架,提出了一个以过程模型为核心的形式化的资产组织框架RGPS-SPM(Semantic Process Model),称之为语义过程模型框架。以过程模型为核心的资产组织方式顺应了当前业务过程模型在面向服务计算和面向服务的软件开发中越来越重要的趋势。以过程模型为基点,组合与其语义上强耦合的角色模型、目标模型等资产,从而结构化和模块化的形成以过程模型为核心的语义上高内聚、低耦合的、更大粒度的可复用的组合模型(称之为语义过程模型)。基于多类型谓词逻辑(Many-sorted Predicate Logic)及并发事务逻辑(Concurrent TRansaction logic, CTR),给出了语义过程模型的形式定义,及其内部的角色模型、目标模型及过程模型的形式定义。 (2)给出了语义过程模型的模型语义(Model Semantics),基于该模型语义,定义了语义过程模型的一致性公理。语义过程模型作为以过程模型为核心,封装与过程模型在语义上强耦合的角色模型、目标模型的复合模型,其内部的一致性是实现领域资产正确复用的重要前提。给出了语义过程模型的模型语义。基于该模型语义,定义了语义过程模型关于模型间静态语义的一致性公理。 (3)基于语义过程模型的模型语义和形式定义,定义了语义过程模型的形式化规约语言SPML(Semantic Process Modeling Language)。O-RGPS元建模框架为领域资产的建模提供了建模视角和视角之间的元关系。然而当前并没有相应的具有足够描述能力的资产规约语言。基于语义过程模型框架,并借鉴语义Web建模语言WSML(Web Service Modeling Language)和OWL-S的特点,定义了语义过程模型的规约语言SPML,该语言可以对O-RGPS框架中各模型(不包括服务模型)进行规约。 (4)基于语义过程模型的模型语义,针对目标模型相对于过程模型的可实现性(Realizable)问题,定义了两类验证问题并提出了相应的验证方法。基于语义过程模型的模型语义,给出了目标模型相对于过程模型的可实现性定义。并给出了目标模型相对过程模型的可实现性判定定理。根据该定理,定义了两类关于目标模型相对于过程模型的可实现性的验证问题,即语义过程模型的约束验证和语义过程模型的能力一致性验证问题。一方面,约束验证是过程模型是否满足数据流和目标模型关于过程执行的时序约束;借助进程代数CSP(Communicating Sequence Processes)及其工具FDR2,提出了语义过程模型的约束验证方法。另一方面,能力一致性验证是过程模型的实际执行能力是否同过程模型的能力模型和目标模型对过程模型的能力期望是否相一致。借助谓词抽象技术(Prediate Abstraction)和可满足性求解工具SAT solver,提出了能力一致性的验证方法。 简言之,本文主要是在O-RGPS元建模框架下关于领域资产的组织结构、描述、和一致性分析与验证方面作了一定的贡献,为RGPS元建模框架的更深入应用奠定基础。

  金芝,陆汝钤,David A.Bell;多范例自动需求建模和分析:一种基于本体的方法[J];中国科学E辑:技术科学;2003年04期

  卢梅,李明树;软件需求工程——方法及工具评述[J];计算机研究与发展;1999年11期

  吴步丹;金芝;赵彬;;面向服务的建模:一种全过程复用的方法[J];计算机学报;2008年08期

  陆汝钤,金芝,陈刚;面向本体的需求分析[J];软件学报;2000年08期

  张伟,梅宏;一种面向特征的领域模型及其建模过程[J];软件学报;2003年08期

  岳昆,王晓玲,周傲英;Web服务核心支撑技术:研究综述[J];软件学报;2004年03期

  ;DESIGN METHODOLOGY OF NETWORKED SOFTWARE EVOLUTION GROWTH BASED ON SOFTWARE PATTERNS[J];Journal of Systems Science & Complexity;2006年02期

  高志升,刘兴伟;基于语义P2P的Web服务模型[J];阿坝师范高等专科学校学报;2005年03期

  陈祥松,邓苏,黄宏斌;GLAV集成方法中的模式匹配研究[J];安徽工程科技学院学报(自然科学版);2004年04期

  王红艳;朱全银;丁甜甜;;通信终端与农村科技服务平台的Web服务数据同步设计[J];安徽农业科学;2012年01期

  方芳;叶春明;;基于Qos的语义Web服务发现研究[J];安庆师范学院学报(自然科学版);2010年02期

  侯贵法;罗颖;;基于SOA的数字气田应用集成[J];安阳工学院学报;2007年04期

  曹利培;杨庆祥;李冰川;;一种考虑QoS的网格服务匹配模型[J];安阳工学院学报;2009年02期

  孙猛;杨红丽;张乃孝;裘宗燕;;基于UML的软件结构规范与精化(英文)[J];北京大学学报(自然科学版)网络版(预印本);2006年04期

  王宏鼎;谭少华;唐世渭;杨冬青;童云海;;基于模式元素语义关系的模式合并方法研究[J];北京大学学报(自然科学版)网络版(预印本);2006年04期

  刘实;刘书雷;熊伟;钟志农;;基于工作流的服务动态聚合平台[J];兵工自动化;2007年10期

  刘冬云,梅宏;从需求到软件体系结构:一种面向特征的映射方法[J];北京大学学报(自然科学版);2004年03期

  曹菁;甘仞初;;组织符号学方法在电子政务业务流程分析中的应用[A];2007年全国第十一届企业信息化与工业工程学术会议论文集[C];2007年

  ;Discovering Complex Matches Between Database Schemas[A];第二十七届中国控制会议论文集[C];2008年

  陶冶;刘建勋;唐明董;;基于Map/Reduce的分布式Web服务搜索引擎设计与实现[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年

  党德鹏;徐俏;徐娟;;基于替代的Web服务事务提交协议及其性能分析[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年

  孙科武;许斌;罗森;;属性驱动的Web服务分类方法[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年

  曹栋;李晓峰;乔秀全;孟洛明;;基于模型驱动架构的语义化电信服务建模方法研究[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年

  陈彦萍;李增智;夏虹;朱海萍;;服务质量驱动的Web服务组合框架的设计与实现[A];2006年全国通信软件学术会议论文集[C];2006年

  王育红;陈军;;GIS客户数据库更新自动化实施算法研究[A];中国测绘学会第九次全国会员代表大会暨学会成立50周年纪念大会论文集[C];2009年

  王育红;蒋捷;;基础地理信息的客户更新服务问题[A];中国地理信息系统协会第八届年会论文集[C];2004年

  李宏伟;李勤超;蔡畅;;基于OWL-S的地理信息服务语义描述研究[A];中国地理信息系统协会第四次会员代表大会暨第十一届年会论文集[C];2007年

  张冰;小组软件过程建模方法及过程定义重用研究[D];哈尔滨工程大学;2009年

  孟宇龙;基于本体的多源异构安全数据聚合[D];哈尔滨工程大学;2010年

  王英照;面向信息网络经营的客户需求研究[D];哈尔滨工程大学;2010年

  徐晓冰;光伏跟踪系统智能控制方法的研究[D];合肥工业大学;2010年

  张宇;个性化移动内容服务的模型和支持技术研究[D];华中科技大学;2010年

  朱里越;多业务协同系统服务组合技术研究[D];中国科学技术大学;2010年

  高瞻;网格任务调度中服务质量保证相关问题研究[D];北京交通大学;2010年

  吴羽;面向时间敏感对象的垂直搜索引擎关键技术研究[D];浙江大学;2011年

  尹可挺;Internet环境中基于QoS的Web服务组合研究[D];浙江大学;2010年

  邝砾;基于接口和行为语义的Web服务发现与适配研究[D];浙江大学;2009年

  吕媛媛;基于本体的物流信息集成系统的研究[D];山东科技大学;2010年

  徐扬;异构数据资源汇聚的模式及优化问题研究[D];山东科技大学;2010年

  聂剑锋;基于QoS的Web服务选择研究[D];浙江理工大学;2010年

  郭洪霖;基于J2EE的SOA架构在仓储服务领域的研究与设计[D];哈尔滨工程大学;2010年

  宋超臣;基于推荐网络的服务搜索技术研究[D];哈尔滨工程大学;2010年

  曾祥莉;ETL在经济普查信息发布系统中的应用研究[D];哈尔滨工程大学;2010年

  李伟光;基于BP神经网络的数据库模式匹配方法研究[D];哈尔滨工程大学;2010年

  刘国峰;数据模板匹配研究及在社保审计中的应用[D];哈尔滨工程大学;2010年

  刘洋;基于本体的医保审计知识库构建研究[D];哈尔滨工程大学;2010年

  杨芙清,梅宏,李克勤;软件复用与软件构件技术[J];电子学报;1999年02期

  杨芙清,邵维忠,梅宏;面向对象的CASE环境青岛Ⅱ型系统的设计与实现[J];中国科学(A辑 数学 物理学 天文学 技术科学);1995年05期

  ;Modeling and verifying Web services driven by requirements:An ontology-based approach[J];Science in China(Series F:Information Sciences);2006年06期

  李克勤;陈兆良;梅宏;杨芙清;;领域工程概述[J];计算机科学;1999年05期

  陆汝钤,金芝,刘璘,蒋爱军,赖辉旻;客户/服务器风格的体系结构描述语言NEWCOM[J];计算机学报;1998年12期

  陆汝钤,金芝,万荣林,夏幼明;基于领域知识的需求信息获取[J];软件学报;1996年03期

  张家重,王志坚,伊波,徐家福;对象式软件需求模型及其机器支撑[J];软件学报;1998年06期

  胡佳琦,胡和平,罗明,卢正鼎;一种基于用户过程的知识发现建模方法[J];华中理工大学学报;1998年01期

  顾新建,孙静,丁勇,祁国宁;基于Web的企业过程模型仿真系统[J];计算机集成制造系统-CIMS;2003年06期

  余军合;全生命周期产品和过程模型集成技术研究[J];工程设计学报;2005年03期

  张多利,高明伦,李丽,程作仁;基于功能信息的验证工程学过程模型研究[J];微电子学与计算机;2005年10期

  曾清华;李青;;基于扩展的UML活动图的质量工作流建模[J];航空制造技术;2006年09期

  胡勇;谢康;肖静华;;软件项目风险管理的协同过程模型[J];现代管理科学;2007年03期

  桑海峰;王福利;苑玮琦;何大阔;;诺西肽发酵过程中的混合建模[J];仪器仪表学报;2007年01期

  苏海云;李仲学;;基于业务流程再造(BPR)的信息弹性协同的构建[J];中国管理信息化(综合版);2007年06期

  牛芳;李东;;信息系统规划过程特征与有效性关系实证研究[J];管理世界;2007年02期

  刘丛军;武忠;;组织的知识应用过程研究[J];现代情报;2008年01期

  李烨;;企业战略性业务转型的一个过程模型及其混沌特征分析[A];现代工业工程与管理研讨会会议论文集[C];2006年

  邹慧君;梁庆华;郭为忠;何有钧;姚燕安;;基于运动状态变换特性矩阵的运动求解过程模型[A];第十二届全国机构学学术研讨会论文集[C];2000年

  史正祥;汪霖;贾连兴;;MSF在军用软件开发中的应用[A];2008系统仿真技术及其应用学术会议论文集[C];2008年

  胡勇;肖静华;庞家峰;谢康;;软件项目风险管理的协同过程模型[A];信息经济与国民经济增长方式的转变——中国信息经济学会2006年学术年会论文集[C];2006年

  赵雯;王悦;李烁;廖馨;;复杂产品总体设计过程集成环境在大飞机设计中的应用[A];大型飞机关键技术高层论坛暨中国航空学会2007年学术年会论文集[C];2007年

  唐杨军;戴牡红;;软件测试过程及其改进技术[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年

  黄福鑫;郑康锋;胡影;张玲;;一种基于渗透图的信息安全风险过程模型[A];第十三届中国科协年会第11分会场-中国智慧城市论坛论文集[C];2011年

  冯文强;邹志云;任夫健;;过程仿真培训系统的历史、现状和发展趋势[A];工业自动化应用实践——全国(第五届)炼钢、连铸和轧钢自动化学术会议论文集[C];2002年

  李姗琦;孙永宣;高隽;谢昭;;层次Dirichlet过程模型下的目标分析与识别[A];2011中国仪器仪表与测控技术大会论文集[C];2011年

  李嵩山;李彤;李志勇;;软件过程模型的复用[A];2008中国信息技术与应用学术论坛论文集(一)[C];2008年

  ;Alunorf改造2#热轧铝带轧机过程自动化系统[N];中国有色金属报;2004年

  特约撰稿 杨文嘉;从“过程模块化”到“数据模块化”[N];民营经济报;2007年

  石微;LEONARDO工业软件系统在玻璃生产过程控制中的应用[N];中国建材报;2006年

  钢铁研究总院科技信息室;意将建不锈钢CSP连铸机[N];中国冶金报;2001年

  江苏省如皋中学 张淑蓉;浅析物理模型在教学中的运用[N];成才导报.教育周刊;2008年

  龚平;网络式软件的语义过程模型及其验证技术研究[D];武汉大学;2009年

  杨煜俊;网络化协同产品开发理论及其关键技术研究[D];华中科技大学;2005年

  张燕;网格环境中数据挖掘执行过程模型的研究[D];北京交通大学;2012年

  任怡;分布异构环境中事务工作流技术的研究[D];国防科学技术大学;2005年

  李向宁;业务过程管理理论与若干关键技术研究[D];西北大学;2007年

  杜湘瑜;基于综合集成的虚拟样机测试与评估理论和方法研究[D];国防科学技术大学;2005年

  周俊鹏;支持软件过程自动化的工作流引擎的设计和实现[D];国防科学技术大学;2005年

  薛萍;基于心理契约的餐饮业员工流失控制研究[D];合肥工业大学;2008年

  张洋;基于工作流的业务过程管理系统的设计开发[D];电子科技大学;2008年

  魏家瑞;基于工作流技术的办公自动化系统的研究与实现[D];内蒙古工业大学;2009年

  曹大海;基于着色Petri网的图形化工作流建模工具的设计与实现[D];清华大学;2005年

  范俊杰;基于心理契约的知识型员工流失控制研究[D];合肥工业大学;2007年

  胡海涛;Folksonomy在网络学习资源管理中的应用研究[D];山东师范大学;2008年

  曹军武;项目管理在培训中的应用[D];华北电力大学(北京);2008年

http://39-5963.net/gongliyuyi/148.html
锟斤拷锟斤拷锟斤拷QQ微锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷微锟斤拷
关于我们|联系我们|版权声明|网站地图|
Copyright © 2002-2019 现金彩票 版权所有