Electronic Notes in Theoretical Computer Science (ENTCS)
Automated security hardening for evolving UML models
Proceedings of the 33rd International Conference on Software Engineering
A formal verification framework for SysML activity diagrams
Expert Systems with Applications: An International Journal
Hi-index | 0.00 |
We present a Static Verification Tool (SVT), a system that performs static verification on UML models composed of UML class and state machine diagrams. Additionally, the SVT allows the user to add extra behavior specification in the form of guards and effects by defining a small action language. UML models are checked against properties written in a special-purpose property language that allows the user to specify linear temporal logic formulas that explicitly reason about UML components. Thus, the SVT provides a strong foundation for the design of reliable systems and a step towards model-driven security.