In the formulation of a scheduling problem, replace ResourceAllocations with Tasks and Signals
Problem Description
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.
Proposed solution
Replace ResourceAllocations with the corresponding Tasks and Signals.
Remarks
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)