DefinePK

DefinePK hosts the largest index of Pakistani journals, research articles, news headlines, and videos. It also offers chapter-level book search.

Select Collection

TOWARDS FORMALIZATION OF INSPECTION USING PETRINETS

Article Information

Get PDF View Article
Login to Add in Library

Title: TOWARDS FORMALIZATION OF INSPECTION USING PETRINETS

Authors: M. Javed, M. Naeem, F. Bahadur, A. Wahab

Journal: The Nucleus

HEC Recognition History
Category From To
Y 2024-10-01 2025-12-31
Y 2023-07-01 2024-09-30
Y 2022-07-01 2023-06-30
Y 2020-07-01 2021-06-30

Publisher: Pakistan Institute of Nuclear Science & Technology (PINSTECH).

Country: Pakistan

Year: 2014

Volume: 51

Issue: 2

Language: English

Categories
Computer Science (14978) Software Engineering (1373) Formal Methods (80) Systems Engineering (164) Petri Nets (11)

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.

Paper summary is not available for this article yet.

Loading PDF...

Loading Statistics...