面向对象的时序逻辑语言

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

面向对象的时序逻辑语言

王小兵, 段振华

文章导航 > 电子科技大学学报 > 2009 > 38(1): 97-101

王小兵, 段振华. 面向对象的时序逻辑语言[J]. 电子科技大学学报, 2009, 38(1): 97-101.

引用本文:

王小兵, 段振华. 面向对象的时序逻辑语言[J]. 电子科技大学学报, 2009, 38(1): 97-101.

WANG Xiao-bing, DUAN Zhen-hua. Object-Oriented Temporal Logic Language[J]. Journal of University of Electronic Science and Technology of China, 2009, 38(1): 97-101.

Citation:

WANG Xiao-bing, DUAN Zhen-hua. Object-Oriented Temporal Logic Language[J]. Journal of University of Electronic Science and Technology of China, 2009, 38(1): 97-101.

面向对象的时序逻辑语言

王小兵^1,2,
段振华¹

1.
西安电子科技大学计算理论与技术研究所西安 710071;
2.
武汉大学软件工程国家重点实验室武汉 430072

基金项目:

国家自然科学基金重点项目(60433010);国家自然科学基金面上项目(60873018)

作者简介:
王小兵(1979-)，男，博士生，讲师，主要从事可执行时序逻辑方面的研究.

中图分类号: TP311

Object-Oriented Temporal Logic Language

WANG Xiao-bing^1,2,
DUAN Zhen-hua¹

1.
Institute of Computing Theory & Technology,Xidian University Xi’an 710071;
2.
State Kay Laboratory of Software Engineering,Wuhan University Wuhan 430072

摘要: 针对时序逻辑语言缺少面向对象概念的现状，对投影时序逻辑进行了扩展，介绍了新的语法和语义。在扩展投影时序逻辑中，基于变量集合的层次化和谓词的分组，给出了对象、类和继承等概念的形式化定义。扩展投影时序逻辑的一个可执行子集被定义为面向对象的时序逻辑语言Framed Tempura++，它能够用于面向对象的程序设计，可以模拟组合Web服务的执行。所给出的实例表明，该语言与Framed Tempura相比，能有效地重用代码，提高了代码的可读性和可维护性。
- 形式语言 /
- 时序逻辑 /
- 面向对象程序设计 /
- 组合Web服务
Abstract: According to the status of temporal logic languages without object-oriented concepts, projection temporal logic is extended, and then the new syntax and semantics are introduced. In the extended projection temporal logic, formal definitions of objects, classes, and inheritances are given based on the hierarchical variable sets and grouping predicates. An object-oriented temporal logic language framed tempura++, is defined as an executable subset of extended projection temporal logic, and it can be used for object-oriented programming and simulating the execution of composite web services. The illustrated example shows that the language can reuse code efficiently and improve code readability and maintainability in compare with Framed Tempura.
- formal languages /
- temporal logic /
- object oriented programming /
- composite web services

[1]	叶恒舟, 胡志丹. 约束强度感知的时序约束服务组合 . 电子科技大学学报, 2019, 48(6): 880-885. doi: 10.3969/j.issn.1001-0548.2019.06.012
[2]	叶恒舟, 陆湘鹏. 基于离散粒子群优化的鲁棒Web服务组合 . 电子科技大学学报, 2018, 47(3): 443-448. doi: 10.3969/j.issn.1001-0548.2018.03.019
[3]	叶恒舟, 李陶深, 关云慧. 一种自治愈的QoS感知的Web服务组合方法 . 电子科技大学学报, 2017, 46(3): 618-624. doi: 10.3969/j.issn.1001-0548.2017.03.023
[4]	朱维军, 乔芃喆, 周清雷, 张海宾. 基于时间区间时序逻辑的实时系统统一模型检测 . 电子科技大学学报, 2014, 43(5): 712-716. doi: 10.3969/j.issn.1001-0548.2014.05.014
[5]	蒋运承, 谭红艳. 面向语义Web的Expressive格值描述逻辑 . 电子科技大学学报, 2012, 41(3): 322-335. doi: 10.3969/j.issn.1001-0548.2012.03.001
[6]	朱维军, 邓淼磊, 周清雷, 张海宾. 扩展命题区间时序逻辑公式可满足性判定算法 . 电子科技大学学报, 2011, 40(5): 753-758. doi: 10.3969/j.issn.1001-0548.2011.05.023
[7]	陈文宇, 向涛, 王晓斌, 桑楠, 孙世新. 实时可信服务的构件设计与形式化描述 . 电子科技大学学报, 2011, 40(1): 122-127. doi: 10.3969/j.issn.1001-0548.2011.01.023
[8]	邱航, 陈雷霆. 面向对象三维图形引擎的设计与实现 . 电子科技大学学报, 2010, 39(1): 123-127. doi: 10.3969/j.issn.1001-0548.2010.01.028
[9]	张佩云, 黄波, 孙亚民. 面向服务组合的服务语义匹配机制 . 电子科技大学学报, 2008, 37(6): 917-921.
[10]	艾未华, 宋自林, 魏磊, 吴量. 基于领域本体的Web服务发现 . 电子科技大学学报, 2007, 36(3): 506-509.
[11]	孙自行, 王雪. 5次交错群A₅的10阶子群的一个构造方法 . 电子科技大学学报, 2006, 35(3): 419-422.
[12]	李盛, 张扬. 嵌入式通信设备驱动程序设计标准化 . 电子科技大学学报, 2005, 34(3): 355-358.
[13]	石晶, 龚震宇, 裘杭萍. 基于Web使用挖掘的个性化服务系统 . 电子科技大学学报, 2002, 31(4): 399-403.
[14]	陈文宇. Windows编程中的面向对象技术 . 电子科技大学学报, 2002, 31(1): 57-61.
[15]	陈文宇. 面向对象的关系数据库设计 . 电子科技大学学报, 2002, 31(1): 53-56,75.
[16]	罗光春, 李炯. 有限自动机在BBS信息监测系统中的运用 . 电子科技大学学报, 2002, 31(3): 262-265.
[17]	陈文宇. 面向对象软件的测试 . 电子科技大学学报, 2001, 30(6): 613-617.
[18]	苏森, 唐雪飞, 刘锦德. 面向对象的互操作技术 . 电子科技大学学报, 1998, 27(1): 90-94.
[19]	徐文芳. 化简逻辑函数软件设计 . 电子科技大学学报, 1997, 26(5): 539-543.
[20]	张选芳. 形式语言中的上下文无关和上下文相关 . 电子科技大学学报, 1997, 26(4): 435-439.

WeChat

点击查看大图

计量

文章访问数: 4664
HTML全文浏览量: 153
PDF下载量: 57
被引次数: 0

面向对象的时序逻辑语言

王小兵^1,2,
段振华¹

1. 西安电子科技大学计算理论与技术研究所西安 710071;

2. 武汉大学软件工程国家重点实验室武汉 430072

基金项目:

国家自然科学基金重点项目(60433010);国家自然科学基金面上项目(60873018)

作者简介:
王小兵(1979-)，男，博士生，讲师，主要从事可执行时序逻辑方面的研究.

收稿日期: 2008-10-09
修回日期: 2008-11-28
刊出日期: 2009-02-15

中图分类号: TP311

关键词:

摘要: 针对时序逻辑语言缺少面向对象概念的现状，对投影时序逻辑进行了扩展，介绍了新的语法和语义。在扩展投影时序逻辑中，基于变量集合的层次化和谓词的分组，给出了对象、类和继承等概念的形式化定义。扩展投影时序逻辑的一个可执行子集被定义为面向对象的时序逻辑语言Framed Tempura++，它能够用于面向对象的程序设计，可以模拟组合Web服务的执行。所给出的实例表明，该语言与Framed Tempura相比，能有效地重用代码，提高了代码的可读性和可维护性。

English Abstract

王小兵, 段振华. 面向对象的时序逻辑语言[J]. 电子科技大学学报, 2009, 38(1): 97-101.

引用本文:

王小兵, 段振华. 面向对象的时序逻辑语言[J]. 电子科技大学学报, 2009, 38(1): 97-101.

WANG Xiao-bing, DUAN Zhen-hua. Object-Oriented Temporal Logic Language[J]. Journal of University of Electronic Science and Technology of China, 2009, 38(1): 97-101.

Citation:

WANG Xiao-bing, DUAN Zhen-hua. Object-Oriented Temporal Logic Language[J]. Journal of University of Electronic Science and Technology of China, 2009, 38(1): 97-101.

全文HTML

/

下载: 全尺寸图片幻灯片

分享

用微信扫码二维码

分享至好友和朋友圈

返回

期刊在线

编辑办公

友情链接

电子科技大学

版权所有 © 《电子科技大学学报》编辑部

地址: 成都市建设北路二段四号电子科技大学主楼中350室电话: 028-83202308,83207559 Email: xuebao@uestc.edu.cn

本系统由北京仁和汇智信息技术有限公司开发