decomposition of automata pdl and its extension
文献类型：会议论文
| 作者 | Liu Xinxin ; Xue Bingtian |
| 出版日期 | 2012 |
| 会议名称 | 2012 International MultiConference of Engineers and Computer Scientists, IMECS 2012 |
| 会议日期 | March 14, 2012 - March 16, 2012 |
| 会议地点 | Kowloon, Hong kong |
| 关键词 | Computer science Decomposition Specification languages |
| 页码 | 305-310 |
| 中文摘要 | In this work we study the decomposition problem of automata PDL and one of its extension. We proved that automata PDL enjoys a good decomposition property under a very large class of process context, while this problem is more complicated for regular PDL, which has an exponential blow-up. We introduce proposition identifiers to automata PDL to obtain a language which has a good balance between expressiveness and ease of analysis. We prove that this extended specification language still has a good decomposition property for a large class of process contexts. After that we present a method to solve the weak bisimulation equations as an application of the extended language, by combining the decomposition property and the decision procedure proposed in [1]. |
| 英文摘要 | In this work we study the decomposition problem of automata PDL and one of its extension. We proved that automata PDL enjoys a good decomposition property under a very large class of process context, while this problem is more complicated for regular PDL, which has an exponential blow-up. We introduce proposition identifiers to automata PDL to obtain a language which has a good balance between expressiveness and ease of analysis. We prove that this extended specification language still has a good decomposition property for a large class of process contexts. After that we present a method to solve the weak bisimulation equations as an application of the extended language, by combining the decomposition property and the decision procedure proposed in [1]. |
| 收录类别 | EI |
| 会议主办者 | IAENG Society of Artificial Intelligence; IAENG Society of Bioinformatics; IAENG Society of Computer Science; IAENG Society of Data Mining; IAENG Society of Electrical Engineering |
| 会议录 | Lecture Notes in Engineering and Computer Science
 |
| 语种 | 英语 |
| ISSN号 | 2078-0958 |
| ISBN号 | 9789881925114 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/15854]  |
| 专题 | 软件研究所_软件所图书馆_会议论文 |
| 推荐引用方式 GB/T 7714 | Liu Xinxin,Xue Bingtian. decomposition of automata pdl and its extension[C]. 见:2012 International MultiConference of Engineers and Computer Scientists, IMECS 2012. Kowloon, Hong kong. March 14, 2012 - March 16, 2012. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。