A Framework for Modeling and Modular Verification of Component-Based System Designs
A Framework for Modeling and Modular Verification of Component-Based System Designs
This paper introduces a framework for modeling and verifying safety properties of component-based systems (CBS) by extracting their models from designs in the form of UML 2.0 sequence diagrams. Given UML 2.0 sequence diagrams of a CBS, the framework extracts regular expressions exactly describing behaviors of the system.