INTEGRAL-an integrated framework for distributed software validation and verification

Abstract

A prototype validation and verification (V&V) system, called INTEGRAL, is presented that provides comprehensive and homogeneous analysis capabilities for the development and maintenance of distributed systems. The underlying software model supporting various V&V activities in INTEGRAL, called the extended modified Petri net model is applicable to the descriptions of both products and processes at various levels of the software life cycle. The goal of this research is to demonstrate the availability and applicability of a Petri-net-based software development paradigm supported by INTEGRAL.<>