A comprehensive survey on fog computing: State-of-the-art and research challenges

C Mouradian, D Naboulsi, S Yangui… - … surveys & tutorials, 2017 - ieeexplore.ieee.org
Cloud computing with its three key facets (ie, Infrastructure-as-a-Service, Platform-as-a-
Service, and Software-as-a-Service) and its inherent advantages (eg, elasticity and …

From event streams to process models and back: Challenges and opportunities

P Soffer, A Hinze, A Koschmider, H Ziekow… - Information Systems, 2019 - Elsevier
The domains of complex event processing (CEP) and business process management (BPM)
have different origins but for many aspects draw on similar concepts. While specific …

How to adapt applications for the Cloud environment: Challenges and solutions in migrating applications to the Cloud

V Andrikopoulos, T Binz, F Leymann, S Strauch - Computing, 2013 - Springer
The migration of existing applications to the Cloud requires adapting them to a new
computing paradigm. Existing works have focused on migrating the whole application stack …

Evaluating IoT service composition mechanisms for the scalability of IoT systems

D Arellanes, KK Lau - Future Generation Computer Systems, 2020 - Elsevier
Abstract The Internet of Things (IoT) is an emerging paradigm where practically every
(physical and virtual) thing will be interconnected through innovative distributed services …

[CARTE][B] Specification and verification of declarative open interaction models: a logic-based approach

M Montali - 2010 - books.google.com
Many novel application scenarios and architectures in business process management or
service composition are characterized by a distribution of activities and resources, and by …

Checking the realizability of BPMN 2.0 choreographies

P Poizat, G Salaün - Proceedings of the 27th Annual ACM Symposium …, 2012 - dl.acm.org
Choreographies allow business and service architects to specify with a global perspective
the requirements of applications built over distributed and interacting software entities. While …

Green business process patterns

A Nowak, F Leymann, D Schleicher… - Proceedings of the 18th …, 2011 - dl.acm.org
To ensure their competitive advantage an increasing number of organizations adopt
business process management for design, automation, and analysis of their business …

Interacting services: From specification to execution

G Decker, O Kopp, F Leymann, M Weske - Data & Knowledge Engineering, 2009 - Elsevier
Interacting services play a key role to realize business process integration among different
business partners by means of electronic message exchange. In order to provide seamless …

VerChor: A framework for the design and verification of choreographies

M Güdemann, P Poizat, G Salaün… - IEEE Transactions on …, 2015 - ieeexplore.ieee.org
Choreographies are contracts specifying from a global point of view the legal interactions
that must take place among a set of services. Such a contract may serve as a reference in …

[PDF][PDF] Process fragment libraries for easier and faster development of process-based applications

D Schumm, D Karastoyanova, O Kopp… - Journal of Systems …, 2011 - iaas.uni-stuttgart.de
The term “process fragment” is recently gaining momentum in business process
management research. We understand a process fragment as a connected and reusable …