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ženo v:
Podrobná bibliografie
Vydáno v:XXV International Conference of the Chilean Computer Science Society (SCCC'05) s. 7 pp.
Hlavní autoři: Olarte, C., Rueda, C.
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: IEEE 2005
Témata:
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 přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
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