形式化语义相关论文
自然语言理解的核心问题在于语义理解。首先要求语义解释是形式化的，不仅人能看得懂，而且在机器上是可操作、可计算的。形式化语义研......
中文知识组织系统——语义描述、共建及共享服务/曾新红等著.化学工业出版社,2016 ISBN978-7-122-27171-6定价$98.00该书汇集作者......
随着计算机应用广泛地深入到各个领域，应用系统的访问控制是一个相当重要的研究问题。在数字资源日益增多的背景下，权限控制同时被用......
随着计算机技术的深入发展和计算机软件在生产生活中的广泛应用,软件的正确性验证成了人们关心的重要问题。而模型检查作为一种软......
工作流是一个运行的业务流程，工作流管理与工作流的控制及协同有关。工作流管理是一个被业界广泛应用并迅速发展的技术，它的主要特点......
软件体系结构是20世纪90年代软件工程领域出现的一个新的研究方向。软件体系结构关注系统的全局组织形式,是对系统结构高层抽象的......
协议是网络的血液和生命，计算机网络的发展是网络协议设计和开发的结果。随着通信网络向着高速度、高性能、多媒体等方向的发展，协议......
随着面向对象软件开发技术的广泛应用，面向对象的测试技术成为研究的热点问题。由于模型在软件设计和开发中得到普遍应用，基于模型的......
随着计算机的迅速发展,软件复杂性逐渐增大,软件质量问题受到越来越多的关注。软件测试是保障软件质量的关键技术,研究表明测试通......
智能合约是实现各类区块链应用的核心软件程序.近期,以太坊区块链平台(Ethereum)上的智能合约暴露出大量错误和安全隐患,在国际上......
单个学习方法限于某一方面的应用,而且难以进一步发展.将多种策略相集成,则能具有单一策略达不到的能力.利用概念层次对问题进行抽......
UML行为模型对于描述软件系统的动态特征起着重要作用,但问题是缺乏形式化语义无法对模型进行形式化分析和验证.Petri网是一种形式......
针对现有的信任模型缺少信任相关概念属性在数理上的定义以及严格可靠的信任语义推理和统一的形式化抽象模型的问题，本文提出形......
本文对一种基于时序逻辑的UML 2.0形式化语义进行了研究。文章围绕时序逻辑语言XYZ/E、UML 2.0顺序图的XYZ/E时序逻辑语义等进行了......
总体设计作为引导企业CIMS建设的总纲和蓝图，其设计质量直接关系到CIMS建设的成败，以及未来企业的运行效率。面向用户的CIMS的总体设......
能力是规范和描述Ａｇｅｎｔ、研究和分析Ａｇｅｎｔ计算以及设计Ａｇｅｎｔ的一个重要抽象概念．文中基于一种主观的观点提出了Ａｇｅｎｔ计算的能力理论以支持Ａｇｅｎｔ计算的理论研究......
如何开发复杂、庞大的Ｍｕｌｔｉ－ａｇｅｎｔ系统是目前人们关心的一个重要研究课题．文中提出了Ｍｕｌｔｉ－ａｇｅｎｔ系统中Ａｇｅｎｔ计算的理论框架，以提供方法和概念体系用于刻画和描述......
本文提出了一个满足数字图书馆应用需求的开放型DRM平台。它包括两个核心的模型：使用OpenDigitalRightsLanguage(ODRL)作为版权描述......
分析了GMA架构的核心流程,基于活动网络图提出了一种监控信息工作流模型的定义,设计了基于GMA的工作流模型.在引入XYZ/E线性时序逻......
用形式化的方法描述了硬件描述语言Verilog的语法和语义,建立了一个Verilog的操作语义模型.分别用二元组和四元组描述Verilog非并......
UML2．0顺序图适合于描述软件体系结构的各个组件之间和复合组件内部各个子组件之间的动态交互行为，但由于UML2．0顺序图的语义不够精确......
在传统的基于时序逻辑的模型检查框架下验证Statechart模型面临三大挑战：全状态空间搜索、多次重复搜索和复杂时序逻辑公式难写。基......
网格监控系统种类繁多而且大多具有自身特定的应用领域，有必要对一般性的网格监控模块提供设计参考及相应分析评价方法。文中提出基......
本文描述了XPath语言的形式化语义.一个统一的面向对象的语义视角用于建模所有XPath语言构造.语义的表示采用形式化规范语言Object......
XQuery语言用于查询XML文档.目前,该语言规范还是W3C的工作草稿.语言的形式化语义有助于语言的标准化,本文通过重用XML家族语言通......
针对现有关于统一建模语言状态图形式化语义研究过程中存在的缺点,给出一种统一建模语言状态图的形式化语法表示方法,结合统一网、......
UML2（unified modeling language2．x）的规范为其交互定义了一种基于事件发生轨迹的语义，弥补了之前版本在语义上的欠缺。但是此语义是......
隐私偏好平台（platform for privacy preferences，P3P）是现今世界上广泛使用的隐私策略语言之一，服务提供者通过P3P隐私策略来告知用户......
针对模型驱动的协同应用系统开发,将范畴理论、代数规范和进程代数相结合,为软件体系结构模型提出了一种新的语义描述方法.该方法......
提出一种可以准确描述UML状态图动态特征的形式化模型SC_Net．首先给出了UML状态图的形式化语法定义，其中用状态集合、转移集合、事件......
在软件过程执行机制中，两种传统的过程执行机制——前摄式和反映式存在模型复杂性和执行灵活性之间的矛盾。分层机制可以缓解这种矛......
Statechart是一种可视的规格描述语言,由于其直观的特性和强大的描述能力,一直得到广泛的重视,Statechart语义的关键在于执行步语......
在连续离散混合时间模型中考虑Verilog的语义行为,将混合模型中的一个区间作为Verilog程序一次运行过程的指称.提出了一种扩展的IT......
目前的软件开发方法采用非结构化和非形式化方式建立构件模型,构件之间的关系是隐含的,并且缺乏严格的语义,不能有效地支持自顶向......
Pi演算作为一种移动进程代数,可用于分析和设计并行的分布式业务流程。基于Pi演算实现对跨组织服务交互流程的结构与形式化模型设......
统一建模语言UML是一种通用的图形化建模语言，在面向对象系统的分析和设计中，它已成为了事实上的工业标准。但UML不是形式化的建模语......
语义标记是研究意义的一种重要手段,本文在分析了语义标记这种形式化语义描述方法之后认为,语义标记方法固然有可取之处,但它更多......
为解决模型驱动开发中模型映射关系的定义和模型转换的正确性验证等方面存在的问题，利用范畴理论形式化描述软件体系结构模型及其间......
本文研究Statechart描述的测试语义和测试用例的自动生成。基于Tretmans的从标记转换系统描述自动生成测试用例的方法，我们研究如何......
分析了GMA架构的核心流程,基于活动网络图提出了一种监控信息工作流模型的定义,设计了基于GMA的工作流模型.在引入XYZ/E线性时序逻......
本文提出了一种新的定义UML形式化语义的方法。我们将建模语言的语义区分为描述语义和功能语义两个方面。描述语义定义哪些系统满......
语义一致性是模型驱动开发中模型转换正确性的一个重要标准,但目前模型转换中语义特性保持的定义、描述和验证仍是一个尚未解决的......
为了实现OWL-S过程模型正确性的自动化验证,提出了基于进程代数CSP的OWL-S过程模型的语义建模方法,建立了CSP的形式化语义模型,并......
为解决分布式系统构建过程中系统组合和语义验证等方面的问题,基于范畴理论和进程代数,为基于Agent的分布式系统模型提出了一种形......
基于软件体系结构模型的形式化描述，从结构语义、公理语义和行为语义等几个方面分析了模型转换中特性保持问题的描述，并建立了相应的......
面向方面通过分离关注点解决软件系统中的横切问题,通过扩展UML可实现对面向方面的建模。本文利用UML的扩展机制将方面加入状态图......
由于UML缺少精确的形式化语义,从标准的UML记法产生一个有效的协议实现是比较困难的。为了满足协议工程的要求,通过UML的Profile扩......
提出了一种改进的W oo-Lam密码协议模型,即eW oo-Lam模型。与W oo-Lam模型相比,新模型具有以下特点:增强了模型中关于密码学原语操......
