Time constraints with temporal logic programming

Authors:
Meng Han;Zhenhua Duan;Xiaobing Wang
Affiliations:
Institute of Computing Theory and Technology, and ISN Laboratory, Xidian University, Xi'an, P.R. China;Institute of Computing Theory and Technology, and ISN Laboratory, Xidian University, Xi'an, P.R. China;Institute of Computing Theory and Technology, and ISN Laboratory, Xidian University, Xi'an, P.R. China
Venue:
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Year:
2012

Citing 16
Cited 0

Executing temporal logic programs

Executing temporal logic programs
Real-time interval logic for reasoning about executions of real-time programs

TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
TRIO: A logic language for executable specifications of real-time systems

Journal of Systems and Software - On the role of language in programming
Specifying real-time properties with metric temporal logic

Real-Time Systems
Quantitative temporal reasoning

Real-Time Systems
The temporal logic of actions

ACM Transactions on Programming Languages and Systems (TOPLAS)
An old-fashioned recipe for real time

ACM Transactions on Programming Languages and Systems (TOPLAS)
An Interval Logic for Real-Time System Specification

IEEE Transactions on Software Engineering
Projection in Temporal Logic Programming

LPAR '94 Proceedings of the 5th International Conference on Logic Programming and Automated Reasoning
Automata For Modeling Real-Time Systems

ICALP '90 Proceedings of the 17th International Colloquium on Automata, Languages and Programming
Extending Interval Logic to Real Time Systems

Temporal Logic in Specification
A framed temporal logic programming language

Journal of Computer Science and Technology
Framed temporal logic programming

Science of Computer Programming
A really temporal logic

SFCS '89 Proceedings of the 30th Annual Symposium on Foundations of Computer Science
LTLC: Linear Temporal Logic for Control

HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Semantics of framed temporal logic programs

ICLP'05 Proceedings of the 21st international conference on Logic Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents an approach for the real-time extension of Projection Temporal Logic (PTL) and the corresponding programming language, Timed Modeling, Simulation and Verification Language (TMSVL). To this end, quantitative temporal constraints are employed to limit the time duration bounded on a formula or a program. First, the syntax and semantics of TPTL formulas are defined and some logic laws are given. Then, the corresponding executable programming language TMSVL is presented. Moreover, the operational semantics of TMSVL is formalized. Finally, an example of modeling and verification is given to show how TMSVL works.