Publications 2005

  • [PDF] [DOI] W. M. P. van der Aalst, M. Dumas, A. H. M. ter Hofstede, N. Russell, H. M. W. Verbeek, and P. Wohed, “Life after bpel?,” in Formal techniques for computer systems and business processes (ws-fm 2005), Versailles, France, 2005, pp. 35-50.
    [Bibtex]
    @InProceedings{Aalst05,
    Title = {Life after BPEL?},
    Author = {Aalst, W. M. P. van der and Dumas, M. and Hofstede, A. H. M. ter and Russell, N. and Verbeek, H. M. W. and Wohed, P.},
    Booktitle = {Formal Techniques for Computer Systems and Business Processes (WS-FM 2005)},
    Year = {2005},
    Address = {Versailles, France},
    Editor = {Bravetti, M. and Kloul, L. and Zavattaro, G.},
    Note = {Invited paper to the 2nd International Workshop on Web Services and Formal Methods},
    Pages = {35--50},
    Publisher = {Springer, Berlin, Germany},
    Series = {Lecture Notes in Computer Science},
    Volume = {3670},
    Abstract = {The Business Process Execution Language for Web Services (BPEL) has emerged as a standard for specifying and executing processes. It is supported by vendors such as IBM and Microsoft and positioned as the ”process language of the Internet”. This paper provides a critical analysis of BPEL based on the so-called workflow patterns. It also discusses the need for languages like BPEL. Finally, the paper addresses several challenges not directly addressed by BPEL but highly relevant to the support of web services.},
    Doi = {10.1007/11549970_4},
    File = {Lecture Notes in Computer Science:http\://link.springer.de/link/service/series/0558/index.htm:URL;Volume 3670:http\://link.springer.de/link/service/series/0558/tocs/t3670.htm:URL;2nd International Workshop on Web Services and Formal Methods:http\://cs.unibo.it/WS-FM05:URL;Preprint of published paper:http\://www.win.tue.nl/~hverbeek/downloads/preprints/Aalst05.pdf:PDF},
    Owner = {hverbeek},
    Timestamp = {2008.11.04},
    Url = {http://www.springerlink.com/content/p4743p8w27ktm5r5/fulltext.pdf}
    }
  • [PDF] W. M. P. van der Aalst, M. Dumas, C. Ouyang, A. Rozinat, and H. M. W. Verbeek, “Choreography conformance checking: an approach based on bpel and petri nets (extended version),” BPMcenter.org, BPM Center Report BPM-05-25, 2005.
    [Bibtex]
    @TechReport{Aalst05a,
    Title = {Choreography Conformance Checking: An Approach based on BPEL and Petri Nets (extended version)},
    Author = {Aalst, W. M. P. van der and Dumas, M. and Ouyang, C. and Rozinat, A. and Verbeek, H. M. W.},
    Institution = {BPMcenter.org},
    Year = {2005},
    Number = {BPM-05-25},
    Type = {BPM Center Report},
    Abstract = {Recently, languages such as BPEL and CDL have been proposed to describe the way services can interact from a behavioral perspective. 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 paper investigates a possible usage of behavioral service descriptions, namely as input for conformance checking. Conformance checking is the act of verifying whether one or more parties stick to the agreed-upon behavior by observing the actual behavior, e.g., the exchange of messages between all parties. This paper shows that it is possible to translate BPEL business protocols to Petri nets and to relate SOAP messages to transitions in the Petri net. As a result, Petri net-based conformance checking techniques can be used to quantify fitness (whether the observed behavior is possible in the business protocol) and appropriateness (whether the observed behavior “overfits” or “underfits” the business protocol). Moreover, non-conformance can be visualized to pinpoint deviations. The approach has been implemented in the context of the ProM framework.},
    File = {BPM Center:http\://www.bpmcenter.org/:URL;Preprint of published paper:http\://www.win.tue.nl/~hverbeek/downloads/preprints/Aalst05a.pdf:PDF},
    Owner = {hverbeek},
    Timestamp = {2008.11.04},
    Url = {http://bpmcenter.org/wp-content/uploads/reports/2005/BPM-05-25.pdf}
    }
  • [PDF] [DOI] B. F. van Dongen, A. A. K. de Medeiros, H. M. W. Verbeek, A. J. M. M. Weijters, and W. M. P. van der Aalst, “The prom framework: a new era in process mining tool support,” in Application and theory of petri nets 2005, Miami, Florida, 2005, pp. 444-454.
    [Bibtex]
    @InProceedings{Dongen05,
    Title = {The ProM framework: A new era in process mining tool support},
    Author = {Dongen, B. F. van and Medeiros, A. K. Alves de and Verbeek, H. M. W. and Weijters, A. J. M. M. and Aalst, W. M. P. van der},
    Booktitle = {Application and Theory of Petri nets 2005},
    Year = {2005},
    Address = {Miami, Florida},
    Editor = {Ciardo, G. and Darondeau, P.},
    Month = {June},
    Pages = {444--454},
    Publisher = {Springer, Berlin, Germany},
    Series = {Lecture Notes in computer Science},
    Volume = {3536},
    Doi = {10.1007/11494744_25},
    File = {Lecture Notes in Computer Science:http\://link.springer.de/link/service/series/0558/index.htm:URL;Volume 3536:http\://link.springer.de/link/service/series/0558/tocs/t3536.htm:URL;26th International Conference on the Application and Theory of Petri nets and Other Models of Concurrency:http\://www.cs.fiu.edu/atpn2005/:URL;Preprint of published paper:http\://www.win.tue.nl/~hverbeek/downloads/preprints/Dongen05.pdf:PDF},
    Owner = {hverbeek},
    Timestamp = {2008.11.04},
    Url = {http://www.springerlink.com/content/wvc1l0detqnj4tcm/fulltext.pdf}
    }
  • [PDF] [DOI] B. F. van Dongen, H. M. W. Verbeek, and W. M. P. van der Aalst, “Verification of epcs: using reduction rules and petri nets,” in Advanced information systems engineering: 17th international conference (caise 2005), Porto, Portugal, 2005, pp. 372-386.
    [Bibtex]
    @InProceedings{Dongen05a,
    Title = {Verification of EPCs: Using reduction rules and Petri nets},
    Author = {Dongen, B. F. van and Verbeek, H. M. W. and Aalst, W. M. P. van der},
    Booktitle = {Advanced Information Systems Engineering: 17th International Conference (CAiSE 2005)},
    Year = {2005},
    Address = {Porto, Portugal},
    Editor = {Pastor, O. and Falcão e Cunha, J.},
    Month = {June},
    Pages = {372--386},
    Publisher = {Springer, Berlin, Germany},
    Series = {Lecture Notes in Computer Science},
    Volume = {3520},
    Abstract = {Designing business models is a complicated and error prone task. On the one hand, business models need to be intuitive and easy to understand. On the other hand, ambiguities may lead to different interpretations and false consensus. Moreover, to configure process-aware information systems (e.g., a workflow system), the business model needs to be transformed into an executable model. Event-driven Process Chains (EPCs), but also other informal languages, are intended as a language to support the transition from a business model to an executable model. Many researchers have assigned formal semantics to EPCs and are using these semantics for execution and verification. In this paper, we use a different tactic. We propose a two-step approach where first the informal model is reduced and then verified in an interactive manner. This approach acknowledges that some constructs are correct or incorrect no matter what interpretation is used and that the remaining constructs require human judgment to assess correctness. This paper presents a software tool that supports this two-step approach and thus allows for the verification of real-life EPCs as illustrated by two case studies.},
    Doi = {10.1007/11431855_26},
    File = {Lecture Notes in Computer Science:http\://link.springer.de/link/service/series/0558/index.htm:URL;Volume 3520:http\://link.springer.de/link/service/series/0558/tocs/t3520.htm:URL;17th Conference on Advanced Information Systems Engineering (CAiSE’05):http\://gnomo.fe.up.pt/~caise/:URL;Preprint of published paper:http\://www.win.tue.nl/~hverbeek/downloads/preprints/Dongen05a.pdf:PDF},
    Owner = {hverbeek},
    Timestamp = {2008.11.04},
    Url = {http://www.springerlink.com/content/g8cpj5rqbtehb6a1/fulltext.pdf}
    }
  • [PDF] [DOI] C. Ouyang, W. M. P. van der Aalst, S. Breutel, M. Dumas, A. H. M. ter Hofstede, and H. M. W. Verbeek, “Wofbpel: a tool for automated analysis of bpel processes,” in Proceedings of service-oriented computing (icsoc 2005), Amsterdam, The Netherlands, 2005, pp. 484-489.
    [Bibtex]
    @InProceedings{Ouyang05a,
    Title = {WofBPEL: A Tool for Automated Analysis of BPEL Processes},
    Author = {Ouyang, C. and Aalst, W. M. P. van der and Breutel, S. and Dumas, M. and Hofstede, A. H. M. ter and Verbeek, H. M. W.},
    Booktitle = {Proceedings of Service-Oriented Computing (ICSOC 2005)},
    Year = {2005},
    Address = {Amsterdam, The Netherlands},
    Editor = {Benatallah, B. and Casati, F. and Traverso, P.},
    Month = {December},
    Pages = {484--489},
    Publisher = {Springer, Berlin, Germany},
    Series = {Lecture Notes in Computer Science},
    Volume = {3826},
    Doi = {10.1007/11596141_37},
    File = {Lecture Notes in Computer Science:http\://link.springer.de/link/service/series/0558/index.htm:URL;Volume 3826:http\://link.springer.de/link/service/series/0558/tocs/t3826.htm:URL;ICSOC 2005:http\://www.icsoc.org/:URL;Preprint of published paper:http\://www.win.tue.nl/~hverbeek/downloads/preprints/Ouyang05a.pdf:PDF},
    Owner = {hverbeek},
    Timestamp = {2008.11.04},
    Url = {http://www.springerlink.com/content/f41x0n2888165672/fulltext.pdf}
    }
  • [PDF] C. Ouyang, W. M. P. van der Aalst, S. Breutel, M. Dumas, A. H. M. ter Hofstede, and H. M. W. Verbeek, “Formal semantics and analysis of control flow in ws-bpel,” BPMcenter.org, BPM Center Report BPM-05-15, 2005.
    [Bibtex]
    @TechReport{Ouyang05,
    Title = {Formal Semantics and Analysis of Control Flow in WS-BPEL},
    Author = {Ouyang, C. and Aalst, W. M. P. van der and Breutel, S. and Dumas, M. and Hofstede, A. H. M. ter and Verbeek, H. M. W.},
    Institution = {BPMcenter.org},
    Year = {2005},
    Number = {BPM-05-15},
    Type = {BPM Center Report},
    Abstract = {Web service composition refers to the creation of new (Web) services by combination of functionality provided by existing ones. This paradigm has gained significant attention in the Web services community and is seen as a pillar for building service-oriented applications. A number of domain-specific languages for service composition have been proposed with consensus being formed around a process-oriented language known as WS-BPEL (or BPEL). The kernel of BPEL consists of simple communication primitives that may be combined using control-flow constructs expressing sequence, branching, parallelism, synchronisation, etc. As a result, BPEL process definitions lend themselves to static flow-based analysis techniques. In this report, we describe a tool that performs two useful types of static checks and extracts meta-data to optimise dynamic resource management. The tool operates by translating BPEL processes into Petri nets and exploiting existing Petri net analysis techniques. It relies on a comprehensive and rigorously defined mapping of BPEL constructs into Petri net structures.},
    File = {BPM Center:http\://www.bpmcenter.org/:URL;Preprint of published paper:http\://www.win.tue.nl/~hverbeek/downloads/preprints/Ouyang05.pdf:PDF},
    Owner = {hverbeek},
    Timestamp = {2008.11.04},
    Url = {http://bpmcenter.org/wp-content/uploads/reports/2005/BPM-05-15.pdf}
    }
  • [PDF] H. M. W. Verbeek and W. M. P. van der Aalst, “Analyzing bpel processes using petri nets,” in 2nd international workshop on applications of petri nets to coordination, workflow and business process management (pncwb 2005), Miami, Florida, 2005, pp. 59-78.
    [Bibtex]
    @InProceedings{Verbeek05,
    Title = {Analyzing BPEL processes using Petri nets},
    Author = {Verbeek, H. M. W. and Aalst, W. M. P. van der},
    Booktitle = {2nd International Workshop on Applications of Petri Nets to Coordination, Workflow and Business Process Management (PNCWB 2005)},
    Year = {2005},
    Address = {Miami, Florida},
    Editor = {Marinescu, D.},
    Month = {June},
    Pages = {59--78},
    Publisher = {Florida International University, Miami, Florida},
    Abstract = {Some years ago, BEA, IBM, Microsoft, SAP AG, and Siebel Systems teamed up and proposed the Business Process Execution Language for Web Services (BPEL or BPEL4WS) for application integration within and across organizational boundaries. By now, BPEL has become the de facto standard in this Web services composition arena. However, little effort has been dedicated so far concerning the verification of the modeled business processes. For example, there is no support to detect possible deadlocks, or to detect parts of the process that are not viable. For so-called WF-nets (workflow nets), techniques and tools exist which make it possible to detect such anomalies. Therefore, we could detect these anomalies in a BPEL process model provided that we can successfully map this model onto a WF-net. This papers describes a first attempt to map a BPEL process model onto a WF-net. Although not all BPEL constructs have been mapped yet, the results seem promising, as we are able to map typical examples from the BPEL 1.1 specification onto WF-nets.},
    File = {Preprint of published paper:http\://www.win.tue.nl/~hverbeek/downloads/preprints/Verbeek05.pdf:PDF},
    Owner = {hverbeek},
    Timestamp = {2008.11.04},
    Url = {http://www.win.tue.nl/~hverbeek/downloads/preprints/Verbeek05.pdf}
    }
  • [PDF] [DOI] H. M. W. Verbeek, M. van Hattem, H. A. Reijers, and W. de Munk, “Protos 7.0: simulation made accessible,” in Application and theory of petri nets 2005, Miami, Florida, 2005, pp. 465-474.
    [Bibtex]
    @InProceedings{Verbeek05a,
    Title = {Protos 7.0: Simulation made accessible},
    Author = {Verbeek, H. M. W. and Hattem, M. van and Reijers, H. A. and Munk, W. de},
    Booktitle = {Application and Theory of Petri nets 2005},
    Year = {2005},
    Address = {Miami, Florida},
    Editor = {Ciardo, G. and Darondeau, P.},
    Month = {June},
    Pages = {465--474},
    Publisher = {Springer, Berlin, Germany},
    Series = {Lecture Notes in computer Science},
    Volume = {3536},
    Abstract = {Many consider simulation to be a highly specialist activity: it is difficult to undertake and is even more difficult to understand its outcomes. The new version of the business process modeling tool Protos attempts to more closely integrate modeling and simulation facilities into one tool. The assumed benefit is that business professionals may more easily undertake simulation experiments when they are enabled with the same tool to extend their existing process models to carry out simulation experiments. This paper explains how the existing engine of the Petri-net based tool ExSpect is integrated into Protos 7.0. It also shows the extended user interface of Protos and the simulation reports it generates.},
    Doi = {10.1007/11494744_27},
    File = {Lecture Notes in Computer Science:http\://link.springer.de/link/service/series/0558/index.htm:URL;Volume 3536:http\://link.springer.de/link/service/series/0558/tocs/t3536.htm:URL;26th International Conference on the Application and Theory of Petri nets and Other Models of Concurrency:http\://www.cs.fiu.edu/atpn2005/:URL;Preprint of published paper:http\://www.win.tue.nl/~hverbeek/downloads/preprints/Verbeek05a.pdf:PDF},
    Owner = {hverbeek},
    Timestamp = {2008.11.04},
    Url = {http://www.springerlink.com/content/gc51u6netynjxdbf/fulltext.pdf}
    }

Leave a Reply