Tuesday, May 12, 2009
11:00am Meeting room 302 (Mountain View), level 3
Jürgen Dosser, PhD Student, IMDEA Software Institute
A modular semantics for SecureUML
Abstract:
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.