The following information was submitted:
Transactions: WSEAS TRANSACTIONS ON COMPUTERS
Transactions ID Number: 28-895
Full Name: Nazir Zafar
Position: Professor
Age: ON
Sex: Male
Address: University of Central Punjab, 31-A, Main Gulberg, Lahore, PAKISTAN
Country: PAKISTAN
Tel: +92-42-5755314-7
Tel prefix:
Fax: +92-42-5710881
E-mail address: dr.zafar@ucp.edu.pk
Other E-mails: nazafar@yahoo.com
Title of the Paper: Semantics Transformation from Nondeterministic Finite Automata to Z Notation by Constructing Union of Regular Languages
Authors as they appear in the Paper: Nazir Ahmad Zafar, Nabeel Sabir and Amir Ali
Email addresses of all the authors:
Number of paper pages: 10
Abstract: Capturing functionalities and modeling control behavior are primary requirements in design and development of a complex system. Automata theory plays a vital role in modeling behavior while Z notation is an ideal specification language for describing state space of a system. Consequently, integration of automata and Z will be a useful tool increasing modeling power for complex systems. Further, nondeterministic finite automata (NFA) may have different implementations and therefore it is needed to verify the transformation from diagrams to code. If we describe formal specification of an NFA before implementing then confidence over transformation can be increased. In this paper, we have combined NFA and Z and a linkage is established between these approaches. At this level of integration, we have given a formal procedure to transform NFA to Z. A string accepter is designed and then extended to the language accepter. Finally, NFA accepting union of two regular languag!
es is constructed by describing formal specification of their relationships. The specification is analyzed and validated using Z/EVES tool.
Keywords: Modeling, Nondeterministic finite automata, Z notation, Integration of approaches, Validation.
EXTENSION of the file: .pdf
Special (Invited) Session: Semantics Transformation of NFA to Z Notation by Constructing Union of Regular Languages
Organizer of the Session: 603-140
How Did you learn about congress:
IP ADDRESS: 221.120.211.35
