论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 综合期刊 \
- 其它期刊 \
- 电脑知识与技术：学术版期刊 \
PROMELA语义引擎执行研究
PROMELA语义引擎执行研究
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
模型检查工具SPIN的核心是PROMELA语言,对PROMELA语言执行方式的理解决定所描述系统模型的行为方式。该文从语义角度研究了PROMELA语义引擎问题。首先给出PROMELA语法的抽象对象模型形式化定义,然后给出一个算法来实现PROMELA语法到抽象对象模型的映射,描述了PROMELA指称语义。
推荐文章
SPIN语义引擎执行方式研究
模型检查
SPIN
PROMELA
语义
基于BPMN的服务组合执行引擎的研究与实现
服务组合
业务流程建模标记
模型解析
执行引擎
语义搜索引擎概念模型
语义Web
本体
元数据
搜索引擎
推理机
基于本体的语义搜索引擎的概念体系结构研究
本体
推理引擎
语义搜索引擎
构件
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | PROMELA语义引擎执行研究 | ||
| 来源期刊 | 电脑知识与技术：学术交流 | 学科 | 工学 |
| 关键词 | 模型检查 SPIN PROMELA 语义 | ||
| 年，卷（期） | 2008,（12Z） | 所属期刊栏目 | |
| 研究方向 | 页码范围 | 2159-2160 | |
| 页数 | 2页 | 分类号 | TP311.52 |
| 字数 | 语种 | ||
| DOI | |||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (1)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2006(1)
- 参考文献（1）
- 二级参考文献（0）
2008(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
模型检查
SPIN
PROMELA
语义
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
电脑知识与技术：学术版
主办单位：
时代出版传媒股份有限公司
中国计算机函授学院
出版周期：
旬刊
ISSN：
1009-3044
CN：
34-1205/TP
开本：
出版地：
安徽合肥市濉溪路333号
邮发代号：
26-188
创刊时间：
语种：
出版文献量（篇）
41621
总下载数（次）
23
总被引数（次）
0
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
电脑知识与技术：学术版2021
电脑知识与技术：学术版2020
电脑知识与技术：学术版2019
电脑知识与技术：学术版2018
电脑知识与技术：学术版2017
电脑知识与技术：学术版2016
电脑知识与技术：学术版2015
电脑知识与技术：学术版2014
电脑知识与技术：学术版2013
电脑知识与技术：学术版2012
电脑知识与技术：学术版2011
电脑知识与技术：学术版2010
电脑知识与技术：学术版2009
电脑知识与技术：学术版2008
电脑知识与技术：学术版2007
电脑知识与技术：学术版2006
电脑知识与技术：学术版2005
电脑知识与技术：学术版2008年第S2期
电脑知识与技术：学术版2008年第9期
电脑知识与技术：学术版2008年第8期
电脑知识与技术：学术版2008年第7期
电脑知识与技术：学术版2008年第6期
电脑知识与技术：学术版2008年第5期
电脑知识与技术：学术版2008年第4期
电脑知识与技术：学术版2008年第3期
电脑知识与技术：学术版2008年第2期
电脑知识与技术：学术版2008年第12Z期
电脑知识与技术：学术版2008年第12X期
电脑知识与技术：学术版2008年第12期
电脑知识与技术：学术版2008年第11Z期
电脑知识与技术：学术版2008年第11X期
电脑知识与技术：学术版2008年第11期
电脑知识与技术：学术版2008年第10期
电脑知识与技术：学术版2008年第1期
