Für Studenten

Für Unternehmen






RWTH Aachen

Automatic Generation of Concurrency Control Code using DES

Discrete Event System control theory (DES) defines the supervisory control problem (SCP) as follows: given an uncontrolled system G and a specification L, find a supervisor S such that S restricts G in such a way that all its executions satisfy L and that S is minimally restrictive. DES thus allows for the automatic enforcement of specifications that restrict the order in which certain kinds of events are allowed to occur. Depending on how these events are defined, different kinds of specifications can be enforced. DES offers a large body of research on the SCP with surprisingly little application to software engineering. In this talk, I will review our recent work on using DES for the automatic generation of concurrency control code for concurrent Java programs.