|
Published Articles >> Table of Contents >> Abstract
Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06)
pp. 216-225
Describing and Executing Random Reactive Systems
Pascal Raymond, VERIMAG, France
Erwan Jahier, VERIMAG, France
Yvan Roux, VERIMAG, France
Full Article Text:
 
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEFM.2006.15
Send link to a friend
| Abstract |
|
We present an operational model for describing random
reactive systems. Some models have already been proposed
for this purpose, but they generally aim at performing
global reasoning on systems, such as stochastic analysis, or
formal proofs. Our goal is somehow less ambitious, since
we are rather interested in executing such models, for testing
or prototyping. But on the other hand, the proposed
model is not restricted by decidability issues. Therefore it
can be more expressive: in particular, our model is not restricted
to finite-state descriptions.
The proposed model is rather general: systems are described
as implicit state/transition machines, possibly infinite,
where probabilities are expressed by means of relative
weights. The model itself is more an abstract machine than
a programming language. The idea is then to propose highlevel,
user-friendly languages that can be compiled into the
model. We present such a language, based on regular expressions,
together with its translation into the model.
|
 Additional Information
|
Citation:
Pascal Raymond, Erwan Jahier, Yvan Roux,
"Describing and Executing Random Reactive Systems,"
sefm,
pp. 216-225,
Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06),
2006
|
|
