OPUS RSS FeedOPUS documentshttps://opus4.kobv.de/opus4-bamberg/index/index/
Wed, 07 Oct 2015 10:49:11 +0200Wed, 07 Oct 2015 10:49:11 +0200Improving the Static Analysis Conformance of BPEL Engines with BPELlinthttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/26821
Today, process-aware systems are ubiquitous. They are built by leveraging process languages for both business and implementation perspectives. In the typical context of a Web Services-based Service-oriented Architecture, the obvious choice to implement service orchestrations is still the Business Process Execution Language (BPEL). For BPEL, a variety of open source and commercial engines have emerged. Although the BPEL standard document defines a set of static analysis rules which should be checked by engines prior to deployment to be standard conformant, previous work revealed that most engines are not capable of revealing all violations of these constraints, resulting in costly runtime errors later on. In this paper, we aim to improve the static analysis conformance of BPEL engines. We implement the tool BPELlint that validates 71 static analysis rules of the BPEL specification, show that the tool can be easily integrated into the deployment process of existing engines, and evaluate its performance to measure the effect on the time to deploy. The results demonstrate that BPELlint can improve the static analysis conformance of BPEL engines with an acceptable performance overhead.Simon Harrer; Matthias Geiger; Christian R. Preißinger; David Bimamisa; Stephan J.A. Schuberth; Guido Wirtzconferenceobjecthttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/26821Fri, 10 Jul 2015 10:49:11 +0200BPMN Conformance in Open Source Engineshttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/26820
Service-oriented systems are increasingly implemented in a process-based fashion. Multiple languages for building process-based systems are available today, but the Business Process Model and Notation (BPMN) is becoming ubiquitous. With BPMN 2.0 released in 2011, execution semantics were introduced, supporting the definition of executable processes. Nowadays, more and more process engines directly support the execution of BPMN processes. However, the BPMN specification is lengthy and complex. As there are no official tests and no certification authority, it is very likely that engines a) implement only a subset of the language features and b) implement language features differently. In other words, we suspect that engines do not conform to the standard, despite the fact that they claim support for it. This prohibits the porting of processes between different BPMN vendors, which is an acclaimed goal of the language. In this paper, we investigate the standard conformance of open source BPMN engines to provide a clear picture of the current state of the implementation of BPMN. We develop a testing approach that allows us to build fully BPMN-compliant tests and automatically execute these tests on different engines. The results demonstrate that state of-the-art BPMN engines only support a subset of the language. Moreover, they indicate that porting BPMN processes is only feasible when using basic language constructs.Matthias Geiger; Simon Harrer; Jörg Lenhard; Mathias Casar; Andreas Vorndran; Guido Wirtzconferenceobjecthttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/26820Fri, 10 Jul 2015 10:09:30 +0200BPEL Conformance in Open Source Engines: The Case of Static Analysishttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/26117
In 2007, OASIS finalized their Business Process
Execution Language 2.0 (BPEL) specification which defines
an XML-based language for building orchestrations of Web
Services. As the validation of BPEL processes against the
official BPEL XML schema leaves room for a plethora of static
errors, the specification contains 94 static analysis rules to cover
all static errors. According to the specification, any violations
of these rules are to be checked by a standard conformant
engine at deployment time. When a violation is not detected
in BPEL processes during deployment, such errors remain
unnoticed until runtime, making them expensive to find and fix.
In this work, we investigate whether mature BPEL engines that
claimed standard conformance implement these static rules.
To answer this question, we formalize the static rules and
derive test cases based on these formalizations to evaluate
the degree of support for static analysis of six open source
BPEL engines using the BPEL Engine Test System (betsy). In
addition, we propose a method to get more accurate static
analysis conformance results by taking the feature conformance
of engines into account to exclude false positives in contrast
to the classic approach. The results reveal that support for
static analysis in these engines varies greatly, ranging from
nonexistent to full support. Furthermore, our proposed method
outperforms the classic one in terms of accuracy.Simon Harrer; Christian Preißinger; Guido Wirtzconferenceobjecthttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/26117Thu, 12 Feb 2015 08:04:48 +0100Towards a Robustness Evaluation Framework for BPEL Engines https://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/26118
The selection of the best fitting process engine for
a specific project requires the evaluation of engines according
to various requirements. We focus on the non-functional
requirement robustness, which is critical in production environments
but hard to determine. Thus, we propose an evaluation
framework to reveal important robustness criteria of process
engines. In this work, we focus on message robustness, i.e., the
ability to handle the receipt of invalid messages appropriately.
In a case study comprising five open source BPEL engines, we
determine message robustness by injecting faults into robustly
designed processes as a reply to a previously sent request from
an external virtual service and assert their behavior. The results
show that the degree of message robustness significantly differs,
hence, robustly designed processes do not necessarily lead to
robust runtime behavior, the selected engines still play a major
role.Simon Harrer; Guido Wirtz; Faris Nizamic; Alexander Lazovikconferenceobjecthttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/26118Thu, 12 Feb 2015 08:01:08 +0100Towards Uniform BPEL Engine Management in the Cloudhttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/25719
The Web Services Business Process Execution language (BPEL) is a standard
for modeling and executing automated processes and is tailor-made for service
orchestration. BPEL specifies a serialization format which every BPEL implementation
has to understand, thus allowing for the portability of processes among runtime engines.
Although the modeling and execution of BPEL processes is portable between engines
to a large degree, the lifecycle management of BPEL processes is not standardized and
varies a lot for different engines. This paper presents a first approach for a uniform
and cloud-based lifecycle management of BPEL processes and engines. We infer a
uniform interface for the lifecycle management from the capabilities of current engines
and provide a prototypic implementation of a tool that manages processes and engines
on a TOSCA-compliant infrastructure.Simon Harrer; Jörg Lenhard; Guido Wirtz; Tammo van Lessenconferenceobjecthttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/25719Thu, 22 Jan 2015 08:28:08 +0100Applying business process management systems : a case studyhttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/24992
Gregor Scheithauer; Guido Wirtzbookhttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/24992Wed, 24 Sep 2014 13:22:07 +0200A Requirements Analysis of Business-To-Business Integrationhttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/24414
Andreas Schönberger; Christian Wilms; Guido Wirtzbookhttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/24414Wed, 24 Sep 2014 13:09:47 +0200A Negotiation Protocol Description Language for Automated Service Level Agreement Negotiationshttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/24013
Guido Wirtzarticlecollectionhttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/24013Wed, 24 Sep 2014 13:00:30 +0200Performance Measurements of Tor Hidden Services in Low-Bandwidth Access Networkshttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/24012
Jörg Lenhard; Karsten Loesing; Guido Wirtzarticlecollectionhttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/24012Wed, 24 Sep 2014 13:00:28 +0200Describing Services for Service Ecosystemshttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/24011
Gregor Scheithauer; Guido Wirtzarticlecollectionhttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/24011Wed, 24 Sep 2014 13:00:26 +0200Negotiating SLAs - An approach for a generic negotiation framework for WS-Agreementhttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/24010
Guido Wirtzarticlecollectionhttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/24010Wed, 24 Sep 2014 13:00:24 +0200Applying Service-Orientation through a Reference Architecturehttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/24009
Helge Hofmeister; Guido Wirtzarticlecollectionhttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/24009Wed, 24 Sep 2014 13:00:23 +0200QoS-Enabled B2B Integrationhttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/24008
Andreas Schönberger; Guido Wirtzbookhttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/24008Wed, 24 Sep 2014 13:00:21 +0200Engineering Autonomous Trust-Management Requirements for Software Agents: Requirements and Conceptshttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/24004
Sven Kaffille; Guido Wirtzarticlecollectionhttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/24004Wed, 24 Sep 2014 13:00:14 +0200Supporting Service-Oriented Design with Metricshttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/24003
Helge Hofmeister; Guido Wirtzarticlecollectionhttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/24003Wed, 24 Sep 2014 13:00:13 +0200Service Value Properties for Service Ecosystems: A Reference Model and a Modeling Guidelinehttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/24002
Gregor Scheithauer; Guido Wirtzarticlecollectionhttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/24002Wed, 24 Sep 2014 13:00:11 +0200QoS-Enabled Business-to Business Integration Using ebBP to Ws- BPEL Translationshttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/24000
Andreas Schönberger; Guido Wirtzarticlecollectionhttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/24000Wed, 24 Sep 2014 13:00:08 +0200Using Variable Communication Technologies for Realizing Business Collaborationshttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/23999
Andreas Schönberger; Guido Wirtzarticlecollectionhttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/23999Wed, 24 Sep 2014 13:00:06 +0200Introducing Partner Shared States into ebBP to WS- BPEL Translationshttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/23998
Andreas Schönberger; Guido Wirtzarticlecollectionhttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/23998Wed, 24 Sep 2014 13:00:03 +0200Using Patterns to Design Composite Applicationshttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/22036
Helge Hofmeister; Guido Wirtzarticlecollectionhttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/22036Wed, 24 Sep 2014 12:18:39 +0200mKernel: Manageable Kernel for EJB-based Systemshttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/22035
Jens Bruhn; Guido Wirtzarticlecollectionhttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/22035Wed, 24 Sep 2014 12:18:37 +0200Virtual private serviceshttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/22034
Karsten Loesing; Guido Wirtzarticlecollectionhttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/22034Wed, 24 Sep 2014 12:18:35 +0200Comprehensive support for management of Enterprise Applicationshttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/22033
Jens Bruhn; Guido Wirtzarticlecollectionhttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/22033Wed, 24 Sep 2014 12:18:34 +0200Combining SOA and BPM Technologies for Cross-System Process Automationhttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/21989
Guido Wirtzarticlecollectionhttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/21989Wed, 24 Sep 2014 12:17:27 +0200Negotiating Service Levels - A generic negotiation framework for WS Agreementhttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/21988
Heiko Ludwig; Guido Wirtzarticlecollectionhttps://opus4.kobv.de/opus4-bamberg/frontdoor/index/index/docId/21988Wed, 24 Sep 2014 12:17:25 +0200