loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07)
An Interpreter for Framed Tempura and Its Application
Shanghai, China
June 06-June 08
ISBN: 0-7695-2856-2
ASCII Text
x 
 
Yongtao Ma, Zhenhua Duan, Xiaobing Wang, Xiaoxiao Yang, "An Interpreter for Framed Tempura and Its Application," Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on, pp. 251-260, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07), 2007.
 
 
BibTex
x
 
@article{ 10.1109/TASE.2007.10,
author = {Yongtao Ma and Zhenhua Duan and Xiaobing Wang and Xiaoxiao Yang},
title = {An Interpreter for Framed Tempura and Its Application},
journal ={Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on},
volume = {0},
year = {2007},
isbn = {0-7695-2856-2},
pages = {251-260},
doi = {http://doi.ieeecomputersociety.org/10.1109/TASE.2007.10},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on
TI - An Interpreter for Framed Tempura and Its Application
SN - 0-7695-2856-2
SP251
EP260
A1 - Yongtao Ma,
A1 - Zhenhua Duan,
A1 - Xiaobing Wang,
A1 - Xiaoxiao Yang,
PY - 2007
KW - framing
KW - projection
KW - normal form
KW - temporal logic programming
VL - 0
JA - Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on
ER -
 
Yongtao Ma, Xidian University,Xi?an, 710071, P.R. China
Zhenhua Duan, Xidian University,Xi?an, 710071, P.R. China
Xiaobing Wang, Xidian University,Xi?an, 710071, P.R. China
Xiaoxiao Yang, Xidian University,Xi?an, 710071, P.R. China
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.
Index Terms:
framing, projection, normal form, temporal logic programming
Citation:
Yongtao Ma, Zhenhua Duan, Xiaobing Wang, Xiaoxiao Yang, "An Interpreter for Framed Tempura and Its Application," tase, pp.251-260, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07), 2007
Usage of this product signifies your acceptance of the Terms of Use.