High-Level Software for Finite-Dimensional and Dynamic Optimization in Distributed Computing Infrastructureдоклад на конференции