Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Enacting Declarative Languages using LTL: Avoiding Errors and Improving Performance
 

Summary: Enacting Declarative Languages using LTL:
Avoiding Errors and Improving Performance
Maja Pesi´c1
, Dragan Bosnacki2
, and Wil M.P. van der Aalst1
1
Department of Mathematics and Computer Science,
Eindhoven University of Technology,
P.O. Box 513, NL-5600 MB, The Netherlands
{m.pesic,w.m.p.v.d.aalst}@tue.nl
2
Department of Biomedical Engineering,
Eindhoven University of Technology,
P.O. Box 513, NL-5600 MB, The Netherlands
dragan@win.tue.nl
Abstract. In our earlier work we have proposed using the declarative
language DecSerFlow for modeling, analysis and enactment of web ser-
vice processes. DecSerFlow uses constraints, which are formally specified
as Linear Temporal Logic (LTL) formulas, to implicitly define possible
executions of a model: any execution that satisfies all constraints is pos-

  

Source: Aalst, W.M.P.van der - Wiskunde en Informatica, Technische Universiteit Eindhoven

 

Collections: Computer Technologies and Information Sciences