TY - GEN
T1 - Formalizing application integration patterns
AU - Ritter, Daniel
AU - Rinderle-Ma, Stefanie
AU - Montali, Marco
AU - Rivkin, Andrey
AU - Sinha, Aman
N1 - Publisher Copyright:
© 2018 IEEE.
PY - 2018/11/14
Y1 - 2018/11/14
N2 - Enterprise Integration Patterns (EIPs) and their extensions denote the informally described building blocks of current Enterprise Application Integration (EAI) systems. Although a recent approach strives to provide an EIP formalization based on Coloured Petri Nets (CPNs), it does not completely consider EAI requirements, such as complex data, transacted resources and time. In the absence of a comprehensive formal definition, the patterns cannot be verified, and thus a formal foundation of EAI is missing. In this work, we leverage the novel db-net approach that finds a better balance between the data and process-related aspects than CPNs and we extend it according to the EAI requirements that we systematically collect on a pattern level. Then we discuss pattern realizations, and evaluate our approach for comprehensiveness, test correctness, and show its applicability.
AB - Enterprise Integration Patterns (EIPs) and their extensions denote the informally described building blocks of current Enterprise Application Integration (EAI) systems. Although a recent approach strives to provide an EIP formalization based on Coloured Petri Nets (CPNs), it does not completely consider EAI requirements, such as complex data, transacted resources and time. In the absence of a comprehensive formal definition, the patterns cannot be verified, and thus a formal foundation of EAI is missing. In this work, we leverage the novel db-net approach that finds a better balance between the data and process-related aspects than CPNs and we extend it according to the EAI requirements that we systematically collect on a pattern level. Then we discuss pattern realizations, and evaluate our approach for comprehensiveness, test correctness, and show its applicability.
KW - Enterprise Application Integration
KW - Enterprise Integration Patterns
KW - Petri nets
UR - http://www.scopus.com/inward/record.url?scp=85059078035&partnerID=8YFLogxK
U2 - 10.1109/EDOC.2018.00012
DO - 10.1109/EDOC.2018.00012
M3 - Conference contribution
AN - SCOPUS:85059078035
T3 - Proceedings - 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference, EDOC 2018
SP - 11
EP - 20
BT - Proceedings - 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference, EDOC 2018
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 22nd IEEE International Enterprise Distributed Object Computing Conference, EDOC 2018
Y2 - 16 October 2018 through 19 October 2018
ER -