Automata for Modeling the Distributed Probabilistic Reversible Processes
- Arpit,
- Afza Shafie,
- Wan Fatimah Wan Ahmad
- … show all 3 hide
Abstract
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( $\mbox{\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.
- Tanenbaum, A.: Computer Networks, 4th edn. Prentice Hall Professional Technical Reference (2002)
- Shigong, L., Lijun, W.: Analysis of cryptographic protocols using ltl of knowledge. In: 2010 2nd International Conference on Networking and Digital Society (ICNDS), vol. 1, pp. 463–466 (2010)
- Daws, C., Kwiatkowska, M., Norman, G.: Automatic verification of the ieee 1394 root contention protocol with kronos and prism. International Journal on Software Tools for Technology Transfer 5(2-3), 221–236 (2004) CrossRef
- Ma, J., Zhang, D., Xu, G., Yang, Y.: Model checking based security policy verification and validation. In: 2010 2nd International Workshop on Intelligent Systems and Applications (ISA), pp. 1–4 (2010)
- Glabbeek, R.J.V., Smolka, S.A., Steffen, B.: Reactive, generative and stratified models of probabilistic processes. Information and Computation 121, 130–141 (1990)
- Sokolova, A., de Vink, E.P.: Probabilistic automata: System types, parallel composition and comparison. In: Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.-P., Siegle, M. (eds.) Validation of Stochastic Systems. LNCS, vol. 2925, pp. 1–43. Springer, Heidelberg (2004) CrossRef
- Barendregt, H.P.: The Lambda Calculus, Its Syntax and Semantics, Revised Edition. Studies in Logic and the Foundations of Mathematics, vol. 103. North Holland (November 1985)
- Milner, R.: Communication and Concurrency. Prentice-Hall, Inc., Upper Saddle River (1989)
- De Alfaro, L.: Formal verification of probabilistic systems. PhD thesis, Stanford, CA, USA, AAI9837082 (1998)
- Segala, R.: Modeling and verification of randomized distributed real-time systems. PhD thesis, Cambridge, MA, USA, Not available from Univ. Microfilms Int. (1995)
- Delahaye, B., Katoen, J.-P., Larsen, K.G., Legay, A., Pedersen, M.L., Sher, F., Wąsowski, A.: Abstract probabilistic automata. In: Jhala, R., Schmidt, D. (eds.) VMCAI 2011. LNCS, vol. 6538, pp. 324–339. Springer, Heidelberg (2011) CrossRef
- Golovkins, M., Kravtsev, M.: Probabilistic reversible automata and quantum automata. In: Ibarra, O.H., Zhang, L. (eds.) COCOON 2002. LNCS, vol. 2387, pp. 574–583. Springer, Heidelberg (2002) CrossRef
- Golovkins, M., Kravtsev, M., Kravcevs, V.: On a class of languages recognizable by probabilistic reversible decide-and-halt automata. Theor. Comput. Sci. 410(20), 1942–1951 (2009) CrossRef
- Phillips, I., Ulidowski, I.: Reversibility and models for concurrency. Electron. Notes Theor. Comput. Sci. 192(1), 93–108 (2007) CrossRef
- Pnueli, A.: The temporal logic of programs. In: Proceedings of the 18th Annual Symposium on Foundations of Computer Science, SFCS 1977, pp. 46–57. IEEE Computer Society, Washington, DC (1977)
- Title
- Automata for Modeling the Distributed Probabilistic Reversible Processes
- Book Title
- Applied Algorithms
- Book Subtitle
- First International Conference, ICAA 2014, Kolkata, India, January 13-15, 2014. Proceedings
- Pages
- pp 122-136
- Copyright
- 2014
- DOI
- 10.1007/978-3-319-04126-1_11
- Print ISBN
- 978-3-319-04125-4
- Online ISBN
- 978-3-319-04126-1
- Series Title
- Lecture Notes in Computer Science
- Series Volume
- 8321
- Series ISSN
- 0302-9743
- Publisher
- Springer International Publishing
- Copyright Holder
- Springer International Publishing Switzerland
- Additional Links
- Topics
- Industry Sectors
- eBook Packages
- Editors
-
- Prosenjit Gupta (16)
- Christos Zaroliagis (17)
- Editor Affiliations
-
- 16. Computer Science and Engineering, Heritage Institute of Technology
- 17. Department of Computer Engineering and Informatics, University of Patras
- Authors
-
- Arpit (18)
- Afza Shafie (19)
- Wan Fatimah Wan Ahmad (18)
- Author Affiliations
-
- 18. Computer and Information Sciences Department, Universiti Teknologi PETRONAS, Bandar Seri Iskandar, 31750, Tronoh, Perak, Malaysia
- 19. Fundamental and Applied Sciences Department, Universiti Teknologi PETRONAS, Bandar Seri Iskandar, 31750, Tronoh, Perak, Malaysia
Continue reading...
To view the rest of this content please follow the download PDF link above.