Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A Framework for Timed Concurrent Constraint Programming with External
 

Summary: PROLE 2006
A Framework for Timed Concurrent
Constraint Programming with External
Functions4
M. Alpuentea,1
B. Gramlichb,2
A. Villanuevaa,3
a DSIC, Technical University of Valencia
Valencia, Spain
b Faculty of Informatics
Vienna University of Technology
Vienna, Austria
Abstract
The timed concurrent constraint programming language (tccp in short) was introduced for modeling reactive
systems. This language allows one to model in a very intuitive way typical ingredients of these systems such
as timeouts, preemptions, etc. However, there is no natural way for modeling other desirable features such
as functional computations, for example for calculating arithmetic results. In fact, although it is certainly
possible to implement such kind of operations, each single step of the computation takes time in tccp, and
avoiding interferences with the intended overall behavior of the (reactive) system is quite involved.
In this paper, we propose an extension of tccp for modeling instantaneous computations which improves

  

Source: Alpuente, María - Departamento de Sistemas Informáticos y Computación, Universitat Politècnica de València
Villanueva, Alicia - Departamento de Sistemas Informáticos y Computación, Universitat Politècnica de València

 

Collections: Computer Technologies and Information Sciences