Automata for Modeling the Distributed Probabilistic Reversible Processes
This paper presents the construction of an automaton termed the Concurrent Probabilistic Reversible Automata (CPRA). It models the distributed systems which exhibit probabilistic behaviour and also relies on backtracking as the basis to make a system fault tolerant. Here, the basic concepts of non-p...
保存先:
| 主要な著者: | , , |
|---|---|
| フォーマット: | Citation Index Journal |
| 出版事項: |
2014
|
| 主題: | |
| オンライン･アクセス: | http://eprints.utp.edu.my/11077/1/978-3-319-04126-1_11 http://eprints.utp.edu.my/11077/ |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
| id |
my.utp.eprints.11077 |
|---|---|
| record_format |
eprints |
| spelling |
my.utp.eprints.110772014-02-16T23:41:41Z Automata for Modeling the Distributed Probabilistic Reversible Processes Arpit, Arpit Shafie, Afza Wan Ahmad, Wan Fatimah T Technology (General) This paper presents the construction of an automaton termed the Concurrent Probabilistic Reversible Automata (CPRA). It models the distributed systems which exhibit probabilistic behaviour and also relies on backtracking as the basis to make a system fault tolerant. Here, the basic concepts of non-probabilistic automata have been extended by introducing the discrete probabilities on the set of transitions for modelling the probabilistic nature of computing environment. In addition, concurrency has been implemented by defining parallel joint( \textasciicircum ) operator dealing with the odds of shared transitions. A memory structure has also been defined to keep track of past transitions in order to facilitate the backtracking without losing the initial computations, which may result in inconsistent states as well. The major contribution of this work can be seen in three aspects: first, defining an automaton to model full non-determinism along with probabilistic characterisation without making any distinctions between states and actions by which some of the previous formalism suffers; second, association of memory with the automata that preserves concurrency during backtracking; third, the implementation of the parallel joint operator to facilitate the concurrency. Although, the full probabilistic analysis of CPRA can be performed by applying the principles of measure theory on the traces of CPRA but it is reported as future work. 2014 Citation Index Journal PeerReviewed other http://eprints.utp.edu.my/11077/1/978-3-319-04126-1_11 Arpit, Arpit and Shafie, Afza and Wan Ahmad, Wan Fatimah (2014) Automata for Modeling the Distributed Probabilistic Reversible Processes. [Citation Index Journal] http://eprints.utp.edu.my/11077/ |
| institution |
Universiti Teknologi Petronas |
| building |
UTP Resource Centre |
| collection |
Institutional Repository |
| continent |
Asia |
| country |
Malaysia |
| content_provider |
Universiti Teknologi Petronas |
| content_source |
UTP Institutional Repository |
| url_provider |
http://eprints.utp.edu.my/ |
| topic |
T Technology (General) |
| spellingShingle |
T Technology (General) Arpit, Arpit Shafie, Afza Wan Ahmad, Wan Fatimah Automata for Modeling the Distributed Probabilistic Reversible Processes |
| description |
This paper presents the construction of an automaton termed the Concurrent Probabilistic Reversible Automata (CPRA). It models the distributed systems which exhibit probabilistic behaviour and also relies on backtracking as the basis to make a system fault tolerant. Here, the basic concepts of non-probabilistic automata have been extended by introducing the discrete probabilities on the set of transitions for modelling the probabilistic nature of computing environment. In addition, concurrency has been implemented by defining parallel joint( \textasciicircum ) operator dealing with the odds of shared transitions. A memory structure has also been defined to keep track of past transitions in order to facilitate the backtracking without losing the initial computations, which may result in inconsistent states as well. The major contribution of this work can be seen in three aspects: first, defining an automaton to model full non-determinism along with probabilistic characterisation without making any distinctions between states and actions by which some of the previous formalism suffers; second, association of memory with the automata that preserves concurrency during backtracking; third, the implementation of the parallel joint operator to facilitate the concurrency. Although, the full probabilistic analysis of CPRA can be performed by applying the principles of measure theory on the traces of CPRA but it is reported as future work. |
| format |
Citation Index Journal |
| author |
Arpit, Arpit Shafie, Afza Wan Ahmad, Wan Fatimah |
| author_facet |
Arpit, Arpit Shafie, Afza Wan Ahmad, Wan Fatimah |
| author_sort |
Arpit, Arpit |
| title |
Automata for Modeling the Distributed Probabilistic Reversible Processes |
| title_short |
Automata for Modeling the Distributed Probabilistic Reversible Processes |
| title_full |
Automata for Modeling the Distributed Probabilistic Reversible Processes |
| title_fullStr |
Automata for Modeling the Distributed Probabilistic Reversible Processes |
| title_full_unstemmed |
Automata for Modeling the Distributed Probabilistic Reversible Processes |
| title_sort |
automata for modeling the distributed probabilistic reversible processes |
| publishDate |
2014 |
| url |
http://eprints.utp.edu.my/11077/1/978-3-319-04126-1_11 http://eprints.utp.edu.my/11077/ |
| _version_ |
1738655929122947072 |
| score |
13.251813 |