MODEL.LA. A modeling language for process engineering—I. The formal framework