Software Engineering and Methodology (TOSEM)


Search Issue
enter search term and/or author name


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 15 Issue 1, January 2006

Symbolic model checking of UML activity diagrams
Rik Eshuis
Pages: 1-38
DOI: 10.1145/1125808.1125809
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
Torsten Lodderstedt, Jürgen Doser, David Basin
Pages: 39-91
DOI: 10.1145/1125808.1125810
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
Pages: 92-122
DOI: 10.1145/1125808.1125811
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...