The abstract syntax of structured Business Process Models (BPMs) can be described by a context-free hypergraph grammar in a straightforward way. Given a BPM, a hypergraph parser can be used to construct its derivation tree. Finally, the corresponding BPEL code can be generated using attribute evaluation. A diagram editor for structured BPMs has been realized using the DiaGen framework. On reque...

Web Services are the state-of-the-art realization of a service-oriented architecture. While there is an agreed standard to describe the interface of services (WSDL) as well as an agreed standard to describe the behavior of a single process (WS-BPEL), there is no agreed standard to describe choreographies. In this paper, we give an overview about existing approaches to model choreographies and p...

Today, service orientation is a well established concept in modern IT infrastructures. Web services and WS-BPEL as the two key technologies handle large structured data sets very inefficiently because they process the whole data set at once. In this demo, we present a framework to build standing business processes. Standing business processes rely on item-wise data set processing, exploit pipel...

The Web Service Business Process Execution Language (WSBPEL) is the de facto standard for describing workflow-like compositions of Web services, so-called Web service orchestrations. In this paper an ontology for executable BPEL processes is presented, which reflects both the natural language description and the syntax given in the specification. The ontology makes BPEL process models accessibl...

Business protocols in n-party interactions often require centralized protocol design but decentralized execution without the intervention of the designing party. In this paper, we tackle the problem for RosettaNet PIPs by creating a BPEL solution. We do so using a three– level approach, based on BPEL, for defining such multi–party protocols: templating for high–level patterns, specialization fo...

We present an extension of a Petri net semantics for the Web Service Business Execution Language (WS-BPEL). This extension covers the novel activities and constructs introduced by the recent WS-BPEL 2.0 specification. Furthermore, we simplify several aspects of the Petri net semantics to allow for more compact models suited for computer-aided verification. This technical report is the extended ...

We propose a language for expressing fine-grained security policies for controlling orchestrated business processes modelled as a BPEL workflow. Our policies are expressed as a process algebra that permits a BPEL activity, denies it or force-terminates it. The outcome is evaluates with compensation contexts. Finally, we give an example of these policies in a distributed map processing scenario ...

Nautilus Event-driven Process Chains (N-EPCs) are a variant of Eventdriven process chains allowing multiple events between functions. This allows events to be used as transition conditions in a mapping to the Business Process Execution Language for Web Services (BPEL). We will give a formal definition of N-EPCs and show how they can be mapped to BPEL. A close look will be taken how connectors c...

The Business Process Modeling Notation (BPMN) has been developed to enable business user to develop readily understandable graphical representations of business processes. BPMN is also supported with appropriate graphical object properties that will enable the generation of executable BPEL. Thus, BPMN creates a standardized bridge for the gap between the business process design and process impl...

Technologies for web services choreography and orchestration are considered. These technologies and standards have appeared as a natural growth of web service technologies. The main features and elements of BPEL standard are presented, because of its wide acceptance. It can be used both for choreography and for orchestration. The set of major characteristics of software orchestration tools are ...