Modeling biological systems in hybrid concurrent constraint programming
Alexander Bockmayr, Arnaud Courtois · 2001
Constraint programming is a new programming language paradigm that appeared in the late 80's and became more and more popular during the 90's [5]. In a constraint program, the user specifies a number of constraints. Each constraint defines a relation between the variables that describe the state of the system under investigation. The constraint programming tool provides constraint solving algorithms which infer new constraints from given ones and which compute solutions, i.e., valuations of the variables satisfying all the constraints. In concurrent constraint programming, different computation processes may run concurrently. Interaction is possible via the constraint store. The store contains all the constraints currently known about the system. A process may tell the store a new constraint, or ask the store whether some constraint is entailed by the information currently available, in which case further action is taken [4]. Hybrid concurrent constraint programming (Hybrid cc) is an ...