enter search term and/or author name
Symbolic model checking of UML activity diagrams
Two translations from activity diagrams to the input language of NuSMV, a symbolic model verifier, are presented. Both translations map an activity diagram into a finite state machine and are inspired by existing statechart semantics. The...
Model driven security: From UML models to access control infrastructures
David Basin, Jürgen Doser, Torsten Lodderstedt
We present a new approach to building secure systems. In our approach, which we call Model Driven Security, designers specify system models along with their security requirements and use tools to automatically generate system architectures from the...
UML-B: Formal modeling and design aided by UML
Colin Snook, Michael Butler
The emergence of the UML as a de facto standard for object-oriented modeling has been mirrored by the success of the B method as a practically useful formal modeling technique. The two notations have much to offer each other. The UML provides an...