Formalizing Application Integration Patterns

Daniel Ritter; Stefanie Rinderle-Ma; Marco Montali; Andrey Rivkin; Aman Sinha

doi:10.1109/EDOC.2018.00012

Formalizing Application Integration Patterns

Daniel Ritter, Stefanie Rinderle-Ma, Marco Montali, Andrey Rivkin, Aman Sinha

Research Group Workflow Systems and Technology

Publications: Contribution to book › Contribution to proceedings › Peer Reviewed

Abstract

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 de?nition, the patterns cannot be veri?ed, and thus a formal foundation of EAI is missing. In this work, we leverage the novel db-net approach that ?nds 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.

Original language	English
Title of host publication	Proceedings - 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference, EDOC 2018
Pages	11-20
Number of pages	10
ISBN (Electronic)	9781538641392
DOIs	https://doi.org/10.1109/EDOC.2018.00012
Publication status	Published - 2018
Event	22nd IEEE International EDOC Enterprise Computing Conference (EDOC 2018) - KTH Royal Institute of Technology, Stockholm, Sweden Duration: 16 Oct 2018 → 19 Oct 2018 https://www.edoc2018.conf.kth.se

Conference

Conference	22nd IEEE International EDOC Enterprise Computing Conference (EDOC 2018)
Abbreviated title	EDOC 2018
Country/Territory	Sweden
City	Stockholm
Period	16/10/18 → 19/10/18
Internet address	https://www.edoc2018.conf.kth.se

Austrian Fields of Science 2012

102015 Information systems

Keywords

PETRI NETS
Petri nets
Enterprise Application Integration
Enterprise Integration Patterns

Access to Document

10.1109/EDOC.2018.00012

http://eprints.cs.univie.ac.at/5836/

Cite this

@inproceedings{5f15240e362d4a279cda7273979dd284,

title = "Formalizing Application Integration Patterns",

abstract = "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 de?nition, the patterns cannot be veri?ed, and thus a formal foundation of EAI is missing. In this work, we leverage the novel db-net approach that ?nds 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.",

keywords = "PETRI NETS, Petri nets, Enterprise Application Integration, Enterprise Integration Patterns",

author = "Daniel Ritter and Stefanie Rinderle-Ma and Marco Montali and Andrey Rivkin and Aman Sinha",

note = "Publisher Copyright: {\textcopyright} 2018 IEEE.; 22nd IEEE International EDOC Enterprise Computing Conference (EDOC 2018) ; Conference date: 16-10-2018 Through 19-10-2018",

year = "2018",

doi = "10.1109/EDOC.2018.00012",

language = "English",

pages = "11--20",

booktitle = "Proceedings - 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference, EDOC 2018",

url = "https://www.edoc2018.conf.kth.se",

}

Ritter, D, Rinderle-Ma, S, Montali, M, Rivkin, A & Sinha, A 2018, Formalizing Application Integration Patterns. in Proceedings - 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference, EDOC 2018. pp. 11-20, 22nd IEEE International EDOC Enterprise Computing Conference (EDOC 2018), Stockholm, Sweden, 16/10/18. https://doi.org/10.1109/EDOC.2018.00012

TY - GEN

T1 - Formalizing Application Integration Patterns

AU - Ritter, Daniel

AU - Rinderle-Ma, Stefanie

AU - Montali, Marco

AU - Rivkin, Andrey

AU - Sinha, Aman

PY - 2018

Y1 - 2018

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 de?nition, the patterns cannot be veri?ed, and thus a formal foundation of EAI is missing. In this work, we leverage the novel db-net approach that ?nds 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 de?nition, the patterns cannot be veri?ed, and thus a formal foundation of EAI is missing. In this work, we leverage the novel db-net approach that ?nds 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 - PETRI NETS

KW - Petri nets

KW - Enterprise Application Integration

KW - Enterprise Integration Patterns

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 - Contribution to proceedings

SP - 11

EP - 20

BT - Proceedings - 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference, EDOC 2018

T2 - 22nd IEEE International EDOC Enterprise Computing Conference (EDOC 2018)

Y2 - 16 October 2018 through 19 October 2018

ER -

Formalizing Application Integration Patterns

Abstract

Conference

Austrian Fields of Science 2012

Keywords

Access to Document

Other files and links

Fingerprint

Best Paper Award IEEE Enterprise Computing Conference

Cite this

Formalizing Application Integration Patterns

Abstract

Conference

Austrian Fields of Science 2012

Keywords

Access to Document

Other files and links

Fingerprint

Prizes

Best Paper Award IEEE Enterprise Computing Conference

Cite this