Consistency Verification of UML Sequence Diagrams Modeling Wireless Sensor Networks

摘要

Automatic consistency checking for UML state machine diagrams and sequence diagrams has been expected since developers spend considerable effort to keep the consistency. We propose an automatic method for verifying consistency of UML diagrams using FDR model checker. We provide a process description of UML diagrams in CSP_M. Our description supports for sequence diagrams with a hierarchical structure.