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...

Full description

Saved in:
Bibliographic Details
Published in:XXV International Conference of the Chilean Computer Science Society (SCCC'05) p. 7 pp.
Main Authors: Olarte, C., Rueda, C.
Format: Conference Proceeding
Language:English
Published: IEEE 2005
Subjects:
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
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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