Final published version
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Publication date | 1/12/2000 |
---|---|
Host publication | Formal Methods for Open Object-Based Distributed Systems IV - TC6/WG6.1, Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2000 |
Pages | 327-347 |
Number of pages | 21 |
<mark>Original language</mark> | English |
Event | 4th International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2000 - Stanford, CA, United States Duration: 6/09/2000 → 8/09/2000 |
Conference | 4th International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2000 |
---|---|
Country/Territory | United States |
City | Stanford, CA |
Period | 6/09/00 → 8/09/00 |
Name | IFIP Advances in Information and Communication Technology |
---|---|
Volume | 49 AICT |
ISSN (Print) | 1868-4238 |
Conference | 4th International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2000 |
---|---|
Country/Territory | United States |
City | Stanford, CA |
Period | 6/09/00 → 8/09/00 |
There is currently considerable interest in the formal specification of distributed multimedia systems, with the majority of research in this area considering the use of timed formal languages for the specification of such systems. In contrast, however, there has been less research on the specification of stochastic behaviour, and yet this style of behaviour is predominant in this class of system. We therefore present stochastically enhanced timed automata, as a solution to the problem. The paper also introduces an associated tool suite that supports the editing, composition and simulation of such automata. Finally, a multimedia example is presented, illustrating the use of the enhanced automata and the associated tool suite.