首页> 中文期刊> 《北京邮电大学学报》 >SDL动态语义模型研究

SDL动态语义模型研究

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

文献数据库（团队版） >>

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

以转换系统为基本模型 ,分析了 SDL动态语义定义的基本需求 ,提出了一种基于 SDL未来发展方向的结构化操作语义定义框架 .

著录项

来源
《北京邮电大学学报》 |2000年第1期|41-45|共5页
作者
倪朝; 王颖; 黄洁; 艾波;
展开▼
作者单位

北京邮电大学计算机科学与技术学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序语言、算法语言;
关键词
规格描述语言; 结构化操作语义; 动态语义模型;

相似文献

中文文献
外文文献
专利

1. SDL语言动态语义模型的研究 [J] . 宋瑾钰 ,魏仰苏 . 计算机应用 . 2004,第011期
2. 语义网下动态知识组织模型构建研究 [J] . 周义刚 ,姜赢 . 图书馆理论与实践 . 2019,第009期
3. OWL-S过程模型的一阶动态逻辑语义研究 [J] . 李明 ,刘冬 . 计算机工程 . 2012,第012期
4. 语义动态服务组合模型研究 [J] . 张继东 ,余凡 ,李力 . 湖北工业大学学报 . 2009,第002期
5. 基于语义Web的动态联盟知识集成模型方法研究 [J] . 吴正佳 ,冯爱华 ,杜义贤 . 现代制造工程 . 2007,第008期
6. 语义动态服务组合模型研究 [C] . 张继东 ,余凡 ,李力 . 湖北省机械工程学会设计与传动专业委员会2009年学术年会 . 2009
7. 基于语义的多代理动态交互模型的研究 [A] . 陈思明 . 2021

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号