代数规范

作品数：25被引量：19H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：陈意云郭青尹剑飞孙永强舒忠梅更多>>
相关机构：中国科学技术大学青岛大学江西师范大学华南理工大学更多>>
相关期刊：《计算机工程与设计》《青岛大学学报（自然科学版）》《江西师范大学学报（自然科学版）》《计算机应用与软件》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划江西省教育厅科学技术研究项目湖北省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于模型驱动的Web服务建模与三阶段模型转换方法被引量：2
《计算机科学》2022年第S02期787-800,共14页王昌晶 丁希龙 陈茜 罗海梅 左正康 
国家自然科学基金(11804133,61862033);江西省教育厅科技重点项目(GJJ210307)
精确的描述Web服务的语义对Web服务的发现、执行、动态组合和交互至关重要。为支持Web服务建模,提出从抽象到具体4个模型:Radl-WS服务需求模型、Apla服务设计模型、Java可执行代码、WSDL/RESTful API。为支持模型转换,进一步提出一种三...
关键词：代数规范 模型驱动 WEB服务 建模语言 模型转换 
私法制度中的代数算法黑箱及其应对被引量：2
《法学评论》2022年第1期55-68,共14页陈醇 
因私法制度中代数算法规范(代数规范)的缺陷,一些指导性案例未能给出判决的明确算法,私法制度中的代数算法黑箱导致了判决书中的算法瑕疵。传统私法制度深受古希腊几何学的影响,因而疏离了代数算法且轻视相应的代数规范,人工智能中机器...
关键词：私法 代数算法黑箱 算法瑕疵 代数规范 法律人工智能 
WSDL→Radl-WS生成方法及自动转换系统被引量：4
《江西师范大学学报（自然科学版）》2018年第3期298-303,共6页张琦 王昌晶 罗海梅 左正康 石海鹤 郭帆 
国家自然科学基金(61762049;51567011;61462039;61662035;61562040);江西省科技课题(20171BAB202013;20151BBG70062);江西省教育厅科技课题(GJJ14255;GJJ150349)资助项目
精确地描述Web服务语义对Web服务的发现、执行、动态组合和交互至关重要.在Radl语言基础上,扩展Radl为Radl-WS,提出一种新型的基于Radl-WS代数规范的Web服务建模语言.该建模语言统一了基于代数公理方法和Hoare公理方法来描述软件规格说...
关键词：代数规范 WEB服务 模型转换 自动转换 
CASL:基于代数规范的几何成型被引量：3
《宜春学院学报》2011年第4期7-9,共3页袁伟 孙永强 
论文综合论述了代数规范方法在CAD几何成型中的应用[1,2,3]。首先阐述的是代数规范语言的概念,接下来通过引入反射函数,举例说明如何采用CASL语言在其代数性质方面的优点来描述基于n-维通用映射规范的几何成型数学模型。从而形成了高层...
关键词：代数规范语言 几何学成型 计算机辅助设计 
多态性构件及其代数规范
《计算机工程与设计》2009年第22期5058-5061,5064,共5页陈海波 邱剑锋 
浙江省教育厅基金项目(20060579)
可复用构件往往需要引入多态性支持,但是这给构件的形式化定义带来很多困难。采用代数规范系统来定义空间几何实体构件的组织结构及其行为特征,可以有效的支持构件的数据和行为多态性。在多层次的代数规范理论基础上,引入了构件的参数...
关键词：构件 多态 代数规范 空间几何实体 形式化 
基于重写逻辑的UML模型一致性检查方法被引量：1
《计算机工程》2006年第8期23-25,31,共4页尹剑飞 郭荷清 欧毓毅 
国家"973"计划基金资助项目(G20000263)
在模型驱动开发的场景下,保证UML模型的一致性具有重要意义,但目前大多数UML/MDA工具仅提供了有限支持。该文提出了一种基于代数重写逻辑的UML模型一致性检查的方法。首先定义了基于两级代数规范的实施构架以分别检查UML模型的设计时和...
关键词：模型检查 重写逻辑 代数规范 UML 
模型转换的重写逻辑构架研究被引量：2
《计算机工程与应用》2006年第2期14-16,19,共4页尹剑飞 王学斌 
国家973重点基础研究发展规划资助项目(编号:G20000263)
规则式的模型转换技术在模型驱动构架的模型转换实施中占有重要地位,但目前诸实施对于转换规则的定义存在多种解释、转换的协调方面、终止性和一致性等数学属性缺乏支持。该文提出一种Maude重写逻辑基础的构架(RLBA)以实施模型转换,通...
关键词：模型转换 重写逻辑 可执行代数规范 模型驱动构架 
空间实体多表达的代数规范和原型系统
《计算机工程与应用》2003年第18期193-194,共2页陈海波 王申康 
论文建立了以空间实体多表达为基础的空间抽象数据类型(SADT)以及SADT的代数规范体系。在SADT的基础上实现了空间多表达GIS的原型系统-MRGIS,并介绍了MRGIS的应用实例。
关键词：空间实体 多表达 SADT GIS 
基于代数-时态逻辑的象形对象语义模型探讨
《小型微型计算机系统》2002年第7期865-870,共6页胡金柱 舒忠梅 
湖北省自然科学基金项目
本文在 "基于代数 -时态逻辑的象形对象研究 "一文的基础上 ,进一步讨论了“基于代数 -时态逻辑的象形对象语义模型”问题 .主要是将基于代数模型和基于时态逻辑模型这两种方法结合 ,通过 OOCPN描述形式 ,对象形对象语义模型进行了探索...
关键词：代数-时态逻辑 象形对象 语义模型 代数规范 面向对象 形式语义 计算机 
基于代数-时态逻辑的象形对象研究
《小型微型计算机系统》2002年第6期726-730,共5页胡金柱 舒忠梅 
湖北省自然科学基金资助研究项目
本文首先讨论了国内外有关面向对象方法学、代数规范、时态逻辑的研究现状 ,分析了对象形式化语义研究的不足 .其次 ,分析了几种主要的系统形式化模型和方法 .然后 ,在我们已研究的“计算机甲骨文象形码输入法”的基础上 ,从时态逻辑的...
关键词：代数-时态逻辑 象形对象 面向对象方法学 代数规范 时态逻辑 逻辑程序设计 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部