Formal modeling of process management system using automata, UML and VDM-SL. | [Proceedings of International Conference on Information Communication Technologies • 2008]

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.

Citations

Downloads

Views