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 …
techniques, and tools to support the design, enactment, management, and analysis of …
Declarative specification and verification of service choreographiess
Service-oriented computing, an emerging paradigm for architecting and implementing
business collaborations within and across organizational boundaries, is currently of interest …
business collaborations within and across organizational boundaries, is currently of interest …
Adaptive and context-aware service composition for IoT-based smart cities
Smart Cities are advancing towards an instrumented, integrated, and intelligent living space,
where Internet of Things (IoT), mobile technologies and next generation networks are …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
written in Matlab into a process network specification. The process network model of …