[KNIHA][B] Business process management architectures

M Weske - 2007 - Springer
7 Business Process Management Architectures Page 1 7 Business Process Management
Architectures Following our discussion of the evolution of enterprise systems architectures in …

Cloud enabled SDI architecture: a review

AK Tripathi, S Agrawal, RD Gupta - Earth Science Informatics, 2020 - Springer
With the advancement of GIS technology since its inception in 1960's, many educational
institutions, government departments, public/private sectors and individuals have started its …

Soundness of workflow nets: classification, decidability, and analysis

WMP Van Der Aalst, KM Van Hee… - Formal aspects of …, 2011 - Springer
Workflow nets, a particular class of Petri nets, have become one of the standard ways to
model and analyze workflows. Typically, they are used as an abstraction of the workflow that …

The use of software product lines for business process management: A systematic literature review

R dos Santos Rocha, M Fantinato - Information and software technology, 2013 - Elsevier
CONTEXT: Business Process Management (BPM) is a potential domain in which Software
Product Line (PL) can be successfully applied. Including the support of Service-oriented …

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 …

Petri net transformations for business processes–a survey

N Lohmann, E Verbeek, R Dijkman - Transactions on Petri Nets and Other …, 2009 - Springer
Abstract In Process-Aware Information Systems, business processes are often modeled in
an explicit way. Roughly speaking, the available business process modeling languages can …

Process-aware information systems: Lessons to be learned from process mining

WMP Van der Aalst - Transactions on Petri Nets and Other Models of …, 2009 - Springer
Abstract A Process-Aware Information System (PAIS) is a software system that manages and
executes operational processes involving people, applications, and/or information sources …

[KNIHA][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 …

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 …

Service interaction: Patterns, formalization, and analysis

WMP van der Aalst, AJ Mooij, C Stahl… - Formal Methods for Web …, 2009 - Springer
As systems become more service oriented and processes increasingly cross organizational
boundaries, interaction becomes more important. New technologies support the …