1 Department of Engineering, Science and Technology, Aarhus University2 Department of Computer Science, Science and Technology, Aarhus University3 Bang & Olufsen4 Department of Computer Science, Science and Technology, Aarhus University
In this article two views on DRM are presented and modelled in VDM. The contribution from this modelling process is two-fold. A set of properties that are of interest while designing DRM systems are presented. Then, the two models are compared to elaborate our understanding of DRM elements and their inter- play. This work is an exploration towards realizing a core model and terminology upon which extended models can be built.
Proceedings of the 10th Overture Workshop, 2012, p. 20-29