PS系统的一种精确语义描述

戎玫

首页> 中文期刊> 《计算机科学》 >PS系统的一种精确语义描述

PS系统的一种精确语义描述

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

规约模式系统SPS是根据性质的语义抽象而成的描述程序性质的表达模式,既能方便程序员使用,又有对应的时序逻辑表达式.但是,它现有的语义描述不够精确.首先介绍了规约模式系统及其现有的语义,并用它描述了实例的性质,接着采用模型检测工具SPIN验证了该系统表达的性质,通过对比验证结果及现有语义,给出了系统精确的语义描述.

著录项

来源
《计算机科学》 |2008年第10期|284-287|共4页
作者
戎玫;
展开▼
作者单位

暨南大学深圳旅游学院;

深圳;

518053;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
规约模式系统; 程序性质; 形式化方法; SPIN;

相似文献

中文文献
外文文献
专利

1. 一种漏洞代码语义描述语言的设计与实现 [J] . 陈锦富 ,陈书杰 ,张庆晨 . 江苏大学学报（自然科学版） . 2020,第003期
2. 一种基于语义描述的Web应用构件自动组装与实现方法 [J] . 王永峰 ,沈立炜 ,彭鑫 . 计算机应用与软件 . 2015,第009期
3. 一种数据元语义描述方法 [J] . 文必龙 ,史春波 ,关翔瑞 . 哈尔滨商业大学学报（自然科学版） . 2010,第001期
4. 一种基于本体的叙词语义描述方法 [J] . 盛秋艳 ,刘群 . 情报科学 . 2007,第9期
5. 一种面向重构的工作流活动状态语义描述方法 [J] . 尹泉 ,张海盛 ,侯力 . 四川大学学报（工程科学版） . 2006,第005期
6. 一种基于视觉特征语义描述的图像分类检索方法 [C] . 夏定元 ,于昕梅 . 2003全国数字媒体与数字城市学术会议 . 2003
7. 一种基于语义描述的服务组合技术的研究 [A] . 唐昊 . 2007

PS系统的一种精确语义描述

摘要

著录项

相似文献

相关主题

期刊订阅