Skip Nav Destination
ASME Press Select Proceedings
International Conference on Electronics, Information and Communication Engineering (EICE 2012)
By
Garry Lee
Garry Lee
Information Engineering Research Institute
Search for other works by this author on:
ISBN:
9780791859971
No. of Pages:
1008
Publisher:
ASME Press
Publication date:
2012
eBook Chapter
129 The Temporal Logic Based on Event
By
Wei Xia
,
Wei Xia
School of Computer,
National University of Defense technology
, Changsha, 410073
, China
Department of Computer Science,
Xi'an Hi-Tech Institute
, Xi'an, 710025
, China
Search for other works by this author on:
Yiping Yao
,
Yiping Yao
School of Computer,
National University of Defense technology
, Changsha, 410073
, China
Search for other works by this author on:
Xiaodong Mu
Xiaodong Mu
Department of Computer Science,
Xi'an Hi-Tech Institute
, Xi'an, 710025
, China
Search for other works by this author on:
Page Count:
6
-
Published:2012
Citation
Xia, W, Yao, Y, & Mu, X. "The Temporal Logic Based on Event." International Conference on Electronics, Information and Communication Engineering (EICE 2012). Ed. Lee, G. ASME Press, 2012.
Download citation file:
An event-based temporal logic (ETL) is presented in this paper, because there is no suitable temporal logic which can directly describe the properties of event graph models. ETL has the abilities to describe the particular properties of event graph models, such as event canceling edge, passing parameter values between events, time constraints and the priorities of coinstantaneous events. It can facilitate the specification of properties during model checking for event graph models. ETL is verified by the example at last, which show ETL has the expressive powerful to describe event graph models.
Abstract
Keywords
Introduction
Event-Based Temporal Logic
The Syntax and Semantics of ETL
Case Study
Conclusion
Acknowledgments
References
This content is only available via PDF.
You do not currently have access to this chapter.
