A stochastic non-deterministic temporal concurrent constraint calculus

We propose sntcc, a stochastic extension of the ntcc calculus, a model of temporal concurrent constraint programming with the capability of modeling asynchronous and non-deterministic timed behavior. We argue that such an extension is needed to faithfully model concurrent systems in real-life situat...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:XXV International Conference of the Chilean Computer Science Society (SCCC'05) s. 7 pp.
Hlavní autori: Olarte, C., Rueda, C.
Médium: Konferenčný príspevok..
Jazyk:English
Vydavateľské údaje: IEEE 2005
Predmet:
Biological system modeling
Biological systems
Calculus
Concurrent computing
Constraint theory
Logic programming
Probabilistic logic
Probability
Stochastic processes
Stochastic systems
ISBN:0769524915, 9780769524917
ISSN:1522-4902
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:We propose sntcc, a stochastic extension of the ntcc calculus, a model of temporal concurrent constraint programming with the capability of modeling asynchronous and non-deterministic timed behavior. We argue that such an extension is needed to faithfully model concurrent systems in real-life situations. We provide a suitable temporal logic and proof system for sntcc and illustrate how to use them for proving properties of stochastic systems. We argue that this modeling strategy of using explicit stochastic constructs within the calculus provides a "runnable specification" for a wide variety of stochastic systems that eases the task of formally reasoning about them. We give examples of specifications in sntcc and use the extended linear temporal logic for proving properties about them.
ISBN:0769524915
9780769524917
ISSN:1522-4902
DOI:10.1109/SCCC.2005.1587863