Business process management: a comprehensive survey

WMP Van der Aalst - International Scholarly Research Notices, 2013 - Wiley Online Library
Business Process Management (BPM) research resulted in a plethora of methods,
techniques, and tools to support the design, enactment, management, and analysis of …

Declarative specification and verification of service choreographiess

M Montali, M Pesic, WMP Aalst, F Chesani… - ACM Transactions on …, 2010 - dl.acm.org
Service-oriented computing, an emerging paradigm for architecting and implementing
business collaborations within and across organizational boundaries, is currently of interest …

Adaptive and context-aware service composition for IoT-based smart cities

A Urbieta, A González-Beltrán, SB Mokhtar… - Future Generation …, 2017 - Elsevier
Smart Cities are advancing towards an instrumented, integrated, and intelligent living space,
where Internet of Things (IoT), mobile technologies and next generation networks are …

Semi-automated adaptation of service interactions

HR Motahari Nezhad, B Benatallah, A Martens… - Proceedings of the 16th …, 2007 - dl.acm.org
In today's Web, many functionality-wise similar Web services are offered through
heterogeneous interfaces (operation definitions) and business protocols (ordering …

Event correlation for process discovery from web service interaction logs

HR Motahari-Nezhad, R Saint-Paul, F Casati… - The VLDB Journal, 2011 - Springer
Understanding, analyzing, and ultimately improving business processes is a goal of
enterprises today. These tasks are challenging as business processes in modern …

[图书][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 …

On the evolution of services

V Andrikopoulos, S Benbernou… - IEEE Transactions on …, 2011 - ieeexplore.ieee.org
In an environment of constant change and variation driven by competition and innovation, a
software service can rarely remain stable. Being able to manage and control the evolution of …

Service mining: Using process mining to discover, check, and improve service behavior

W Van Der Aalst - IEEE transactions on services Computing, 2012 - ieeexplore.ieee.org
Web services are an emerging technology to implement and integrate business processes
within and across enterprises. Service orientation can be used to decompose complex …

Multiparty contracts: Agreeing and implementing interorganizational processes

WMP Van Der Aalst, N Lohmann… - The Computer …, 2010 - ieeexplore.ieee.org
To implement an interorganizational process between different enterprizes, one needs to
agree on the 'rules of engagement'. These can be specified in terms of a contract that …

Compaan: Deriving process networks from matlab for embedded signal processing architectures

B Kienhuis, E Rijpkema, E Deprettere - Proceedings of the eighth …, 2000 - dl.acm.org
This paper presents the Compaan tool that automatically transforms a nested loop program
written in Matlab into a process network specification. The process network model of …