In the formulation of a scheduling problem, replace ResourceAllocations with Tasks and Signals
In the formulation of a scheduling problem for the SMT solver, ResourceAllocations are currently used.
When considering a joint synthesis of deployment and scheduling, this complicates the formalization of constraints and objectives, as it makes it necessary to relate a resource allocation to the corresponding task/signal.
Replace ResourceAllocations with the corresponding Tasks and Signals.
Such a change will allow for removing from the dsl_v2.ecore metamodel the deprecated functions isTask, scheduledTask and scheduledSignal.
(from redmine: issue id 3551, created on 2018-10-11)