形式化语义相关论文
工作流是一个运行的业务流程，工作流管理与工作流的控制及协同有关。工作流管理是一个被业界广泛应用并迅速发展的技术，它的主要特点......
软件体系结构是20世纪90年代软件工程领域出现的一个新的研究方向。软件体系结构关注系统的全局组织形式,是对系统结构高层抽象的......
协议是网络的血液和生命，计算机网络的发展是网络协议设计和开发的结果。随着通信网络向着高速度、高性能、多媒体等方向的发展，协议......
随着面向对象软件开发技术的广泛应用，面向对象的测试技术成为研究的热点问题。由于模型在软件设计和开发中得到普遍应用，基于模型的......
随着软件需求的不断增加，软件规模不断扩大、功能日趋复杂，传统的软件开发难以满足用户的需求，目前，基于构件的开发方法已经成为一个研......
如何开发复杂、庞大的Ｍｕｌｔｉ－ａｇｅｎｔ系统是目前人们关心的一个重要研究课题．文中提出了Ｍｕｌｔｉ－ａｇｅｎｔ系统中Ａｇｅｎｔ计算的理论框架，以提供方法和概念体系用于刻画和描述......
分析了GMA架构的核心流程,基于活动网络图提出了一种监控信息工作流模型的定义,设计了基于GMA的工作流模型.在引入XYZ/E线性时序逻......
用形式化的方法描述了硬件描述语言Verilog的语法和语义,建立了一个Verilog的操作语义模型.分别用二元组和四元组描述Verilog非并......
UML2．0顺序图适合于描述软件体系结构的各个组件之间和复合组件内部各个子组件之间的动态交互行为，但由于UML2．0顺序图的语义不够精确......
在传统的基于时序逻辑的模型检查框架下验证Statechart模型面临三大挑战：全状态空间搜索、多次重复搜索和复杂时序逻辑公式难写。基......
网格监控系统种类繁多而且大多具有自身特定的应用领域，有必要对一般性的网格监控模块提供设计参考及相应分析评价方法。文中提出基......
本文描述了XPath语言的形式化语义.一个统一的面向对象的语义视角用于建模所有XPath语言构造.语义的表示采用形式化规范语言Object......
XQuery语言用于查询XML文档.目前,该语言规范还是W3C的工作草稿.语言的形式化语义有助于语言的标准化,本文通过重用XML家族语言通......
针对现有关于统一建模语言状态图形式化语义研究过程中存在的缺点,给出一种统一建模语言状态图的形式化语法表示方法,结合统一网、......
UML2（unified modeling language2．x）的规范为其交互定义了一种基于事件发生轨迹的语义，弥补了之前版本在语义上的欠缺。但是此语义是......
针对模型驱动的协同应用系统开发,将范畴理论、代数规范和进程代数相结合,为软件体系结构模型提出了一种新的语义描述方法.该方法......
提出一种可以准确描述UML状态图动态特征的形式化模型SC_Net．首先给出了UML状态图的形式化语法定义，其中用状态集合、转移集合、事件......
在软件过程执行机制中，两种传统的过程执行机制——前摄式和反映式存在模型复杂性和执行灵活性之间的矛盾。分层机制可以缓解这种矛......
Statechart是一种可视的规格描述语言,由于其直观的特性和强大的描述能力,一直得到广泛的重视,Statechart语义的关键在于执行步语......
在连续离散混合时间模型中考虑Verilog的语义行为,将混合模型中的一个区间作为Verilog程序一次运行过程的指称.提出了一种扩展的IT......
目前的软件开发方法采用非结构化和非形式化方式建立构件模型,构件之间的关系是隐含的,并且缺乏严格的语义,不能有效地支持自顶向......
Pi演算作为一种移动进程代数,可用于分析和设计并行的分布式业务流程。基于Pi演算实现对跨组织服务交互流程的结构与形式化模型设......
统一建模语言UML是一种通用的图形化建模语言，在面向对象系统的分析和设计中，它已成为了事实上的工业标准。但UML不是形式化的建模语......
为解决模型驱动开发中模型映射关系的定义和模型转换的正确性验证等方面存在的问题，利用范畴理论形式化描述软件体系结构模型及其间......
本文提出了一种新的定义UML形式化语义的方法。我们将建模语言的语义区分为描述语义和功能语义两个方面。描述语义定义哪些系统满......
为了实现OWL-S过程模型正确性的自动化验证,提出了基于进程代数CSP的OWL-S过程模型的语义建模方法,建立了CSP的形式化语义模型,并......
为解决分布式系统构建过程中系统组合和语义验证等方面的问题,基于范畴理论和进程代数,为基于Agent的分布式系统模型提出了一种形......
面向方面通过分离关注点解决软件系统中的横切问题,通过扩展UML可实现对面向方面的建模。本文利用UML的扩展机制将方面加入状态图......
需求的变更影响分析过程无论是对于降低系统维护的代价或者是保证系统对变更需求正确的实现都有着至关重要的意义。已有的变更影响......
消息序列图（Msc）作为一种描述和规范系统部件之间交互行为的图文语言，对实例和消息等元素本身没有相应的描述结构，使得描述功能扩展有......
统一建模语言(Unified Modeling Language,UML)是一种描述能力强大且涵义直观的可视化建模语言,它提供多种图元从不同角度和应用层......
UML是一种图形化的语言，用于明确规定和构建软件系统开发过程中形成的产品，使这些产品可视化并形成文档资料。UML代表了在模拟大型和......
针对网格工作流的描述方法提出了一个新的视角：运用知识表达技术提供一个网格工作流的语义模型和查询机制，并将面向对象的继承思想引......
提出了一种将UML模型转换成SDL模型的方法。UML是一种优秀的建模语言，使用UML可以为协议建立模型带来很多方便。但是，UML缺乏形式化......
UML2．0通信图可以表示对象之间的交互，很适合用于对系统的交互行为建模，但由于UML缺乏精确语义，使得难以对其所表示的系统行为进行分析......
UML活动图可以表示不同抽象级的控制流,很适合用于对系统的行为建模.但是缺乏精确的语义使得难以对它所表示的系统行为进行分析.XY......
在密码协议中,主体的认知与信仰状态是随时间推移而不断变化的.为了在协议分析中体现这种动态性,提出一种时间相关密码协议逻辑.该......
为了阐述本体的内涵,讨论了本体的概念、分析了本体与其他知识表示方法的本质区别,总结了本体的分类.本体建模是应用的基础,论述了......
模型驱动开发(Model-Driven Development,MDD)已成为软件工程技术的研究热点和发展趋势,它通过提升抽象层次来应对软件开发的复杂......
随着数字通信和自动化控制等领域的高速发展和世界范围的高技术竞争加剧，人们对数字系统提出了越来越高的要求。而就目前来说，数字电......
体系结构设计在软件开发整个过程中扮演着重要角色。工程中常用直观、半形式化的图形建模的方法对软件体系结构进行描述,但这些建......
语义技术能够提高Web文本分析的精度。该文介绍了两种语义技术：概念语义技术和形式化语义技术。非负矩阵分解方法获取的概念语义技......
