On the integration of automatic deployment into the ABS modeling language