Time constraints with temporal logic programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7635 LNCS, Issue , 2012, Pages 266-282

  Han, Meng ^a   Duan, Zhenhua ^a   Wang, Xiaobing ^a  

^a XIDIAN UNIVERSITY   (China)

Author keywords

modeling; programming language; real time system; temporal logic; verification

Indexed keywords

OPERATIONAL SEMANTICS; REAL-TIME EXTENSION; TEMPORAL CONSTRAINTS; TIME CONSTRAINTS; TIME DURATION; VERIFICATION LANGUAGE;

ADA (PROGRAMMING LANGUAGE); COMPUTER PROGRAMMING LANGUAGES; LOGIC PROGRAMMING; MODELS; REAL TIME SYSTEMS; SEMANTICS; TEMPORAL LOGIC; VERIFICATION;

SOFTWARE ENGINEERING;

EID: 84871649025     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-34281-3_20     Document Type: Conference Paper

References (21)

1. Melliar-Smith, P.M.: Extending interval logic to real time systems. In: Proceedings of the Conference on Temporal Logci Specification, UK, pp. 224-242. Springer (April 1987)
2. Razouk, R., Gorlick, M.: Real-time interval logic for reasoning about executions of real-time programs. SIGSOFT Softw. Eng. Notes 14(8), 10-19 (1989)
3. Alur, R., Henzinger, T.A.: A really temporal logic. In: Proceedings of the 30th IEEE Conference on Foundations of Computer Science. IEEE Computer Society Press, Los Alamitos (1989)
4. Koymans, R.: Specifying real-time properties with metric temporal logic. Real-Time Syst. 2(4), 255-299 (1990)
5. Mattonlini, R., Nesi, P.: An Interval Logic for Real-Time System Specification. IEEE Trans. Softw. Eng. 27, 208-227 (2001)
6. Duan, Z.: An Extended Interval Temporal Logic and A Framing Technique for Temporal Logic Programming. PhD Thesis, University of Newcastle upon Tyne (1996)
7. Duan, Z.: Temporal Logic and Temporal Logic Programming. Science Press, Beijing (2006)
8. Duan, Z., Koutny, M.: A Framed Temporal Logic Programming Language. Journal of Computer Science and Technology 19, 341-351 (2004)
9. Duan, Z., Koutny, M., Holt, C.: Projection in Temporal Logic Programming. In: Pfenning, F. (ed.) LPAR 1994. LNCS (LNAI), vol. 822, pp. 333-344. Springer, Heidelberg (1994)
10. Duan, Z., Yang, X., Koutny, M.: Semantics of Framed Temporal Logic Programs. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol. 3668, pp. 356-370. Springer, Heidelberg (2005)
11. Duan, Z., Yang, X., Koutny, M.: Framed Temporal Logic Programming. Science of Computer Programming 70(1), 31-61 (2008)
12. Moszkowski, B.: Executing Temporal Logic Programs. Cambridge University Press (1986)
13. Yang, X., Duan, Z.: Operational semantics of Framed Tempura. J. Log. Algebr. Program. 78(1), 22-51 (2008)
14. Alur, R., Dill, D.: Automata for Modeling Real-Time Systems. In: Paterson, M. (ed.) ICALP 1990. LNCS, vol. 443, pp. 322-335. Springer, Heidelberg (1990)
15. Kwon, Y., Agha, G.: LTLC: Linear Temporal Logic for Control. In: Egerstedt, M., Mishra, B. (eds.) HSCC 2008. LNCS, vol. 4981, pp. 316-329. Springer, Heidelberg (2008)
16. Emerson, E.A., Mok, A.K., Sistla, A.P., Srinivasan, J.: Quantitative temporal reasoning. Real-Time Systems 4, 330-352 (1992)
17. Alur, R., Courcoubetis, C., Dill, D.L.: Model checking for real-time systems. In: Proc. IEEE Fifth Symp. Logic in Computer Science, pp. 414-425 (1990)
18. Lamport, L.: The temporal logic of action. ACM Transations on Programming Languages and Ssystems 16(3), 872-923 (1994)
19. Abadi, M., Lamport, L.: An old-fashioned recipe for real time. ACM Transactions on Programming Languages and Systems 16(5), 1543-1571 (1994)
20. Ghezzi, C., Mandrioli, D., Morzenti, A.: TRIO: A logic language for executable specifications of real-time systems. The Journal of Systems and Software 12(2), 107-123 (1990)
21. Tang, Z.S.: Temporal Logic Program Designing and Engineering, vol. 1. Science Press, Beijing (1999)