A Petri-Nef Approach To Software Validation

摘要

This contribution introduces VIPVALIDATE - a software engineering method supporting the validation of software systems in early stages of their development life cycle, helping to reduce costs and improve quality of distributed software systems with high behavioural complexity. VIPVALIDATE is based on high-level Petri nets and the systematic construction of partially-ordered runs in the shape of causal nets and so provides a compact representation of distributed behaviour with high visual and analytical expressiveness. VIPVALIDATE is fully tool-supported and integrates smoothly into existing software production environments.