Pakistan Science Abstracts
Article details & metrics
No Detail Found!!
Formal modeling of process management system using automata, UML and VDM-SL.
Author(s):
1. Asim Raza: Faculty of Information Technology, University of Central Punjab, Lahore, Pakistan
2. Yasir Imtiaz Khan: Faculty of Information Technology, University of Central Punjab, Lahore, Pakistan
3. Amir Ali: Faculty of Information Technology, University of Central Punjab, Lahore, Pakistan
4. Nabeel Sabir: Faculty of Information Technology, University of Central Punjab, Lahore, Pakistan
5. Nazir Ahmad Zafar: Department of Computer and Information Sciences, Pakistan Institute of Engineering and Applied Sciences, Nilore, Islamabad, Pakistan
Abstract:
In this paper, the authors have described the formal specifications of process management which is a core module of an operating system. Formal Methods are the techniques based on predicate logic, set theory and discrete mathematics to model complex system. They investigated the possibility of integration of automata theory, UML and VDM-SL. To achieve the objective of integration, first of all, the process management system is described using non deterministic and then converted to deterministic finite automata. Finally the formal specification is given using VDM-SL. The specification is analyzed and validated using VDM-SL toolbox.
Page(s): 51-56
DOI: DOI not available
Published: Journal: Proceedings of International Conference on Information Communication Technologies, Volume: 27, Issue: 0, Year: 2008
Keywords:
Keywords are not available for this article.
References:
References are not available for this document.
Citations
Citations are not available for this document.
0

Citations

0

Downloads

21

Views