Towards formalization of inspection using petrinets. | [Nucleus • 2014]

Author(s):

1. M. Javed: Department of Information Technology, Hazara University, Mansehra, Pakistan

2. M. Naeem: Department of Information Technology, Hazara University, Mansehra, Pakistan

3. F. Bahadur: Department of Information Technology, Hazara University, Mansehra, Pakistan

4. A. Wahab: Department of Mathematics, Hazara University, Mansehra, Pakistan

Abstract:

Achieving better quality software has always been a challenge for software developers. Inspection is one of the most efficient techniques, which ensure the quality of software during its development. To the best of our knowledge, current inspection techniques are not realized by any formal approach. In this paper, we propose an inspection technique, which is not only backed by the formal mathematical semantics of Petri nets, but also supports inspecting concurrent processes. We also use a case study of an agent based distributed processing system to demonstrate the inspection of concurrent processes.

Page(s): 281-290

DOI: DOI not available

Published: Journal: Nucleus, Volume: 51, Issue: 2, Year: 2014

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