A modular semantics for SecureUML

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.