In: Information and Software Technology, Vol. 31, No. 10, pages 535-545. December 1989.
Abstract: A validation and verification (V&V) system based on a formal specification method is of paramount importance to the development and maintenance of distributed systems. There has been recent interest in integrating software techniques and tools at the specification level. An integrated V&V system, called Integral, is presented that provides comprehensive and homogeneous analysis capabilities to both specification and testing phases. The underlying software model in Integral is primarily based on Petri nets. The ultimate goal of this research is to demonstrate the availability and applicability of a new Petri-net-based software development paradigm. Integral is a prototype V&V system to support such a paradigm.
Keywords: Integral; distributed software development; validation (and) verification system; net-based software development paradigm.