Search Results

Documents authored by van der Aalst, Wil

Document
DOI: 10.4230/DagRep.3.11.154
Unleashing Operational Process Mining (Dagstuhl Seminar 13481)

Authors: Rafael Accorsi, Ernesto Damiani, and Wil van der Aalst

Published in: Dagstuhl Reports, Volume 3, Issue 11 (2014)

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 13481 "Unleashing Operational Process Mining". Process mining is a young research discipline connecting computational intelligence and data mining on the one hand and process modeling and analysis on the other hand. The goal of process mining is to discover, monitor, diagnose and improve real processes by extracting knowledge from event logs readily available in today's information systems. Process mining bridges the gap between data mining and business process modeling and analysis. The seminar that took place November 2013 was the first in its kind. About 50 process mining experts joined forces to discuss the main process mining challenges and present cutting edge results. This report aims to describe the presentations, discussions, and findings.
Cite as

Rafael Accorsi, Ernesto Damiani, and Wil van der Aalst. Unleashing Operational Process Mining (Dagstuhl Seminar 13481). In Dagstuhl Reports, Volume 3, Issue 11, pp. 154-192, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)

Copy BibTex To Clipboard

@Article{accorsi_et_al:DagRep.3.11.154,
  author =	{Accorsi, Rafael and Damiani, Ernesto and van der Aalst, Wil},
  title =	{{Unleashing Operational Process Mining (Dagstuhl Seminar 13481)}},
  pages =	{154--192},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{3},
  number =	{11},
  editor =	{Accorsi, Rafael and Damiani, Ernesto and van der Aalst, Wil},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.11.154},
  URN =		{urn:nbn:de:0030-drops-44417},
  doi =		{10.4230/DagRep.3.11.154},
  annote =	{Keywords: Process mining, Big data, Conformance checking}
}
Document
DOI: 10.4230/DagSemProc.06291.1
06291 Abstracts Collection – The Role of Business Processes in Service-Oriented Architectures

Authors: Frank Leymann, Wolfgang Reisig, Satish R. Thatte, and Wil van der Aalst

Published in: Dagstuhl Seminar Proceedings, Volume 6291, The Role of Business Processes in Service Oriented Architectures (2006)

Abstract
The Dagstuhl seminar on \emph{The Role of Business Processes in Service Oriented Architectures} (Seminar 06291) took place in July 2006 (16.07.2006-21.07.2006 to be precise). The seminar was attended by more than 40 experts from both academia and industry. Unlike most Dagstuhl seminars there was a high participation from industry (in particular from organizations developing software, e.g., IBM, SAP, Microsoft, Google, etc.). The focal point of the seminar was the marriage of business processes and service oriented architectures. This was reflected by the topics selected by the participants and their background.
Cite as

Frank Leymann, Wolfgang Reisig, Satish R. Thatte, and Wil van der Aalst. 06291 Abstracts Collection – The Role of Business Processes in Service-Oriented Architectures. In The Role of Business Processes in Service Oriented Architectures. Dagstuhl Seminar Proceedings, Volume 6291, pp. 1-28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)

Copy BibTex To Clipboard

@InProceedings{leymann_et_al:DagSemProc.06291.1,
  author =	{Leymann, Frank and Reisig, Wolfgang and Thatte, Satish R. and van der Aalst, Wil},
  title =	{{06291 Abstracts Collection – The Role of Business Processes in Service-Oriented Architectures}},
  booktitle =	{The Role of Business Processes in Service Oriented Architectures},
  pages =	{1--28},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{6291},
  editor =	{Frank Leymann and Wolfgang Reisig and Satish R. Thatte and Wil van der Aalst},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06291.1},
  URN =		{urn:nbn:de:0030-drops-8324},
  doi =		{10.4230/DagSemProc.06291.1},
  annote =	{Keywords: Business Process Management, Workflow Management, Middleware, Service Oriented Architecture, Web Services, Petri-Nets, Transaction Models, Mega-Programming}
}
Document
DOI: 10.4230/DagSemProc.06291.3
06291 Workshop Report: Process Mining, Monitoring Processes and Services

Authors: Wil van der Aalst

Published in: Dagstuhl Seminar Proceedings, Volume 6291, The Role of Business Processes in Service Oriented Architectures (2006)

Abstract
In a service-oriented architecture, but also in classical entreprise systems, a variety of events (e.g., messages being sent and received) are being logged. This information can be used for process mining purposes, i.e., based on some event log it is possible to discover processes or to check conformance. The goal of process discovery is to build models without a-priori knowledge, i.e., based on sequences of events one can look for the presence or absence of certain patterns and deduce some process model from it. For conformance checking there has to be an initial model. One can think of this model as a contract" or speci¯cation" and it is interesting to see whether the parties involved stick to this model. Using conformance checking it is possible to quantify the fit (fewer deviations result in a better fit) and to locate problem areas" where a lot of deviations take place. One of the four workshops organized within the context of the Dagstuhl seminar on The Role of Business Processes in Service Oriented Architec- tures (Seminar 06291, 16.07.2006-21.07.2006) was aWorkshop on Process Mining and Monitoring Processes and Services. In this paper, we report on the results of the workshop.
Cite as

Wil van der Aalst. 06291 Workshop Report: Process Mining, Monitoring Processes and Services. In The Role of Business Processes in Service Oriented Architectures. Dagstuhl Seminar Proceedings, Volume 6291, pp. 1-7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)

Copy BibTex To Clipboard

@InProceedings{vanderaalst:DagSemProc.06291.3,
  author =	{van der Aalst, Wil},
  title =	{{06291 Workshop Report: Process Mining, Monitoring Processes and Services}},
  booktitle =	{The Role of Business Processes in Service Oriented Architectures},
  pages =	{1--7},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{6291},
  editor =	{Frank Leymann and Wolfgang Reisig and Satish R. Thatte and Wil van der Aalst},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06291.3},
  URN =		{urn:nbn:de:0030-drops-8345},
  doi =		{10.4230/DagSemProc.06291.3},
  annote =	{Keywords: }
}
Document
DOI: 10.4230/DagSemProc.06291.9
Choreography Conformance Checking: An Approach based on BPEL and Petri Nets

Authors: Wil van der Aalst, Marlon Dumas, C. Ouyang, Anne Rozinat, and H. M. W. Verbeek

Published in: Dagstuhl Seminar Proceedings, Volume 6291, The Role of Business Processes in Service Oriented Architectures (2006)

Abstract
Recently, languages such as BPEL and WS-CDL have been proposed to describe interactions between services and their behavioral dependencies. The emergence of these languages heralds an era where richer service descriptions, going beyond WSDL-like interfaces, will be available. However, what can these richer service descriptions serve for? This talk discussed the use of event logs of web services and behavioral service descriptions as input for process mining and conformance checking. Conformance checking is the act of verifying whether or not one or more parties stick to an agreed-upon behavior, by observing their actual behavior as recorded in message logs. This talk shows that it is possible to translate BPEL business abstract processes to Petri nets and to relate SOAP messages to transitions in the Petri net. The approach has been implemented in the ProM framework.
Cite as

Wil van der Aalst, Marlon Dumas, C. Ouyang, Anne Rozinat, and H. M. W. Verbeek. Choreography Conformance Checking: An Approach based on BPEL and Petri Nets. In The Role of Business Processes in Service Oriented Architectures. Dagstuhl Seminar Proceedings, Volume 6291, pp. 1-71, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)

Copy BibTex To Clipboard

@InProceedings{vanderaalst_et_al:DagSemProc.06291.9,
  author =	{van der Aalst, Wil and Dumas, Marlon and Ouyang, C. and Rozinat, Anne and Verbeek, H. M. W.},
  title =	{{Choreography Conformance Checking: An Approach based on BPEL and Petri Nets}},
  booktitle =	{The Role of Business Processes in Service Oriented Architectures},
  pages =	{1--71},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{6291},
  editor =	{Frank Leymann and Wolfgang Reisig and Satish R. Thatte and Wil van der Aalst},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06291.9},
  URN =		{urn:nbn:de:0030-drops-8307},
  doi =		{10.4230/DagSemProc.06291.9},
  annote =	{Keywords: Process mining, SOAP messages, BPEL, Petri nets}
}
Document
DOI: 10.4230/DagSemProc.06291.10
DecSerFlow: Towards a Truly Declarative Service Flow Language

Authors: Wil van der Aalst and Maja Pesic

Published in: Dagstuhl Seminar Proceedings, Volume 6291, The Role of Business Processes in Service Oriented Architectures (2006)

Abstract
The need for process support in the context of web services has triggered the development of many languages, systems, and standards. Industry has been developing software solutions and proposing standards such as BPEL, while researchers have been advocating the use of formal methods such as Petri nets and pi-calculus. The languages developed for service flows, i.e., process specification languages for web services, have adopted many concepts from classical workflow management systems. As a result, these languages are rather procedural and this does not fit well with the autonomous nature of services. Therefore, we propose DecSerFlow as a Declarative Service Flow Language. DecSerFlow can be used to specify, enact, and monitor service flows. The language is extendible (i.e., constructs can be added without changing the engine or semantical basis) and can be used to enforce or to check the conformance of service flows. Although the language has an appealing graphical representation, it is grounded in temporal logic.
Cite as

Wil van der Aalst and Maja Pesic. DecSerFlow: Towards a Truly Declarative Service Flow Language. In The Role of Business Processes in Service Oriented Architectures. Dagstuhl Seminar Proceedings, Volume 6291, pp. 1-23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)

Copy BibTex To Clipboard

@InProceedings{vanderaalst_et_al:DagSemProc.06291.10,
  author =	{van der Aalst, Wil and Pesic, Maja},
  title =	{{DecSerFlow: Towards a Truly Declarative Service Flow Language}},
  booktitle =	{The Role of Business Processes in Service Oriented Architectures},
  pages =	{1--23},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{6291},
  editor =	{Frank Leymann and Wolfgang Reisig and Satish R. Thatte and Wil van der Aalst},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06291.10},
  URN =		{urn:nbn:de:0030-drops-8298},
  doi =		{10.4230/DagSemProc.06291.10},
  annote =	{Keywords: DecSerFlow, LTL, service flows, web services, SOA}
}
Document
DOI: 10.4230/DagSemProc.06291.4
A SOA-Based Architecture Framework

Authors: Wil van der Aalst, Michael Beisiegel, Kees van Hee, Dieter König, and Christian Stahl

Published in: Dagstuhl Seminar Proceedings, Volume 6291, The Role of Business Processes in Service Oriented Architectures (2006)

Abstract
In this paper we present first results of a SOA-based architecture framework. The architecture framework is required to be close to industry standards, especially to service component architecture (SCA), language independent (i.e. it is adoptable) and the building blocks of a system, activities and data, are first class citizens. We present a meta model of the architecture framework and discuss its concepts in detail.
Cite as

Wil van der Aalst, Michael Beisiegel, Kees van Hee, Dieter König, and Christian Stahl. A SOA-Based Architecture Framework. In The Role of Business Processes in Service Oriented Architectures. Dagstuhl Seminar Proceedings, Volume 6291, pp. 1-17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)

Copy BibTex To Clipboard

@InProceedings{vanderaalst_et_al:DagSemProc.06291.4,
  author =	{van der Aalst, Wil and Beisiegel, Michael and van Hee, Kees and K\"{o}nig, Dieter and Stahl, Christian},
  title =	{{A SOA-Based Architecture Framework}},
  booktitle =	{The Role of Business Processes in Service Oriented Architectures},
  pages =	{1--17},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{6291},
  editor =	{Frank Leymann and Wolfgang Reisig and Satish R. Thatte and Wil van der Aalst},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06291.4},
  URN =		{urn:nbn:de:0030-drops-8277},
  doi =		{10.4230/DagSemProc.06291.4},
  annote =	{Keywords: SOA, architecture framework}
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact