Compositional Specification of Functionality and Timing of Manufacturing Systems

On September 16th 2016, I presented the paper “Compositional Specification of Functionality and Timing of Manufacturing Systems” during the Forum on specification and Design Languages, held in Bremen, Germany. The paper introduces a formal modeling approach for compositional specification of both functionality and timing of manufacturing systems. Functionality aspects can be considered orthogonally to timing aspects. The functional aspects are specified using two abstraction levels; high-level activities and lower level actions.