- This event has passed.
DCR Highlighter: Traceability between informal textual specifications and formal declarative process models
February 14 @ 09:00 - 11:30
Traceability between on the one hand informal textual specifications, such as use cases or regulatory requirements, and on the other hand formal declarative process models, is a cornerstone in model-driven software engineering and regulatory compliance of information systems. This tutorial will introduce the Dynamic Condition Response (DCR) graphs notation and method for formal declarative specification of process models and regulatory requirements, and the tool support for design, simulation and traceability between informal textual specifications and formal declarative process models in the DCRGraphs.net design portal. The DCR Graphs notation has been developed over the last decade by the research groups of Prof. Thomas Hildebrandt (Department of Computer Science Department, University of Copenhagen) and Morten Marquard (DCRSolutions.net). The foundation of the notation is described in numerous research papers and the technology is adopted in practice e.g. by KMD, the biggest provider of administrative systems in Denmark. The participants can register for free trials of the tool at DCRGraphs.net and get hands on experience during the tutorial.
Presenters: Morten Marquard (DCR Solutions, www.dcrsolutions.net)