May 12, 2009
Jürgen Dosser
A modular semantics for SecureUML
Time:
11:00am
Location:
Meeting room 302 (Mountain View), level 3
SecureUML is a modeling language for adding (role-based) access-control requirements to software-system models. SecureUML is designed to be applied in a model-driven software development process, where system-models are typically defined using (various) domain-specific modeling languages. In this talk, I will explain the semantics of SecureUML, and how this semantics can be “plugged” into the semantics of different domain-specific modeling languages.