Composing Services with SMT-Based Deployment Optimization and Service Merging Heuristic

Tarik Terzimehić, Eddie Groh and Alois Zoitl

28th International Conference on Emerging Technologies and Factory Automation (ETFA),

September 2023 · doi: 10.1109/ETFA54631.2023.10275652


The complexity of Industry 4.0 systems makes it challenging to manually synthesize and optimize architecture level decisions, such as service deployment and composition. To address this challenge, we propose an approach that utilizes a satisfiability modulo theories (SMT) solver to (semi-)automate service deployment and composition synthesis. Thereby, we conceptualize, formalize, and implement the complete workflow from input service workflows to valid and optimized service deployments and compositions. We demonstrate the practical application of our approach in an Industry 4.0 scenario, specifically the flexible production of new products. We evaluate the effectiveness of the proposed approach by investigating its benefits in terms of engineering effort, complexity of the resulting IEC 61499-based applications, and improvement of communication coupling quality attribute (QA).

subject terms: Industry 4.0, IEC 61499, deployment synthesis, service composition, optimization, SMT, Design-Space Exploration, DSE, Model-based Systems engineering, MbSE