IMDEA Software

IMDEA initiative

Home > Events > Software Seminar Series > 2009 > A modular semantics for SecureUML

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.