An Interpreter for Framed Tempura and Its Application

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 mod...

Full description

Saved in:
Bibliographic Details
Published in:TASE 2007 : First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering : June 6-8, 2007, Shanghai, China pp. 251 - 260
Main Authors: Yongtao Ma, Zhenhua Duan, Xiaobing Wang, Xiaoxiao Yang
Format: Conference Proceeding
Language:English
Published: IEEE 01.06.2007
Subjects:
Computer languages
framing
Logic programming
normal form
Programmable logic arrays
projection
temporal logic programming
Web services
ISBN:9780769528564, 0769528562
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISBN:9780769528564
0769528562
DOI:10.1109/TASE.2007.10