TY - GEN
T1 - Composing Services with SMT-Based Deployment Optimization and Service Merging Heuristic
AU - Terzimehi, Tarik
AU - Groh, Eddie
AU - Zoitl, Alois
N1 - Publisher Copyright:
© 2023 IEEE.
PY - 2023/10
Y1 - 2023/10
N2 - 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).
AB - 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).
KW - deployment synthesis
KW - IEC 61499
KW - Industry 4.0
KW - optimization
KW - service composition
KW - SMT
UR - http://www.scopus.com/inward/record.url?scp=85175449268&partnerID=8YFLogxK
U2 - 10.1109/ETFA54631.2023.10275652
DO - 10.1109/ETFA54631.2023.10275652
M3 - Conference proceedings
SN - 979-8-3503-3991-8
T3 - IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
SP - 1
EP - 8
BT - Proceedings of the 28th IEEE IES International Conference on Emerging Technologies and Factory Automation (ETFA 2023)
PB - IEEE
CY - New York, NY, United States
ER -
