Input/Output Stochastic Automata with Urgency: Confluence and Weak Determinism
| Title | Input/Output Stochastic Automata with Urgency: Confluence and Weak Determinism |
| Publication Type | Book Chapter |
| Year of Publication | 2018 |
| Authors | D'Argenio, PR, Monti, RE |
| Editor | Fischer, B, Uustalu, T |
| Book Title | Theoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings |
| Series Title | Lecture Notes in Computer Science |
| Volume | 11187 |
| Pagination | 132–152 |
| Publisher | Springer |
| Abstract | In a previous work, we introduced an input/output variant of stochastic automata (IOSA) that, once the model is closed (i.e., all synchronizations are resolved), the resulting automaton is fully stochastic, that is, it does not contain non-deterministic choices. However, such variant is not sufficiently versatile for compositional modelling. In this article, we extend IOSA with urgent actions. This extension greatly increases the modularization of the models, allowing to take better advantage on compositionality than its predecessor. However, this extension introduces non-determinism even in closed models. We first show that confluent models are weakly deterministic in the sense that, regardless the resolution of the non-determinism, the stochastic behaviour is the same. In addition, we provide sufficient conditions to ensure that a network of interacting IOSAs is confluent without the need to analyse the larger composed IOSA. |
| URL | https://doi.org/10.1007/978-3-030-02508-3_8 |
| DOI | 10.1007/978-3-030-02508-3_8 |
PDF (Full text):
