Journal of Software Engineering and Applications

Volume 3, Issue 8 (August 2010)

ISSN Print: 1945-3116   ISSN Online: 1945-3124

Google-based Impact Factor: 1  Citations  h5-index & Ranking

Verifying Monoid and Group Morphisms over Strongly Connected Algebraic Automata

HTML  Download Download as PDF (Size: 2602KB)  PP. 803-812  
DOI: 10.4236/jsea.2010.38093    4,694 Downloads   7,817 Views  Citations




Automata theory has played an important role in theoretical computer science since last couple of decades. The alge-braic automaton has emerged with several modern applications, for example, optimization of programs, design of model checkers, development of theorem provers because of having certain interesting properties and structures from algebraic theory of mathematics. Design of a complex system requires functionality and also needs to model its control behavior. Z notation has proved to be an effective tool for describing state space of a system and then defining operations over it. Consequently, an integration of algebraic automata and Z will be a useful computer tool which can be used for modeling of complex systems. In this paper, we have linked algebraic automata and Z defining a relationship between fundamentals of these approaches which is refinement of our previous work. At first, we have described strongly connected algebraic automata. Then homomorphism and its variants over strongly connected automata are specified. Next, monoid endomorphisms and group automorphisms are formalized. Finally, equivalence of endomorphisms and automorphisms under certain assumptions are described. The specification is analyzed and validated using Z/Eves toolset.

Share and Cite:

Zafar, N. , Hussain, A. and Ali, A. (2010) Verifying Monoid and Group Morphisms over Strongly Connected Algebraic Automata. Journal of Software Engineering and Applications, 3, 803-812. doi: 10.4236/jsea.2010.38093.

Cited by

[1] Computing Reflections
[2] An UML+ Z Framework For Validating And Verifying the Static Aspect of Safety Critical System
Procedia Computer Science, 2016
[3] Possible Improvements in UML Behavior Diagrams
Computational Science and Computational Intelligence (CSCI), 2014 International Conference on. Vol. 2. IEEE, 2014
[4] Model Analysis of Equivalence Classes in UML Events Relations
Journal of Software Engineering and Applications, 2013
[5] Document Processing Architecture for Interoperable Administrative Services

Copyright © 2023 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.