An Interpreter for Framed Tempura and Its Application

Authors:
Yongtao Ma;Zhenhua Duan;Xiaobing Wang;Xiaoxiao Yang
Affiliations:
Xidian University,Xi'an, 710071, P.R. China;Xidian University,Xi'an, 710071, P.R. China;Xidian University,Xi'an, 710071, P.R. China;Xidian University,Xi'an, 710071, P.R. China
Venue:
TASE '07 Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering
Year:
2007

Citing 0
Cited 3

A concurrent temporal programming model with atomic blocks

ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
A cylinder computation model for many-core parallel computing

Theoretical Computer Science
Linear time-dependent constraints programming with MSVL

Journal of Combinatorial Optimization

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper discusses the implementation mechanism and its application of an interpreter for a framed temporal logic programming language called Framed Tempura. Firstly, the basic approach based on the normal form is presented. Then, the structure of the interpreter is illustrated and each of its modules is explained. The work flow of the reduction of programs is given in detail. In particular, the implementation approaches of several important new constructs including frame, await, projection, pointer are presented. As an application, the interpreter is used as a simulator of service models of OWL-S for the Web service composition.