Tarik Terzimehi, Eddie Groh, Alois Zoitl,
"Composing Services with SMT-Based Deployment Optimization and Service Merging Heuristic. 28th IEEE IES International Conference on Emerging Technologies and Factory Automation (ETFA 2023)"
: Proceedings of the 28th IEEE IES International Conference on Emerging Technologies and Factory Automation (ETFA 2023), IEEE, New York, NY, United States, Seite(n) 1-8, 10-2023, ISBN: 979-8-3503-3991-8
Original Titel:
Composing Services with SMT-Based Deployment Optimization and Service Merging Heuristic. 28th IEEE IES International Conference on Emerging Technologies and Factory Automation (ETFA 2023)
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the 28th IEEE IES International Conference on Emerging Technologies and Factory Automation (ETFA 2023)
Original Kurzfassung:
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).
Forschungs-