|
|
@inproceedings {INPROC-2016-55, author = {Felix Baumann and Oliver Kopp and Dieter Roller}, title = {{Universal API for 3D Printers}}, booktitle = {INFORMATIK}, editor = {Heinrich C. Mayr and Martin Pinzger}, publisher = {Gesellschaft f{\"u}r Informatik e.V. (GI)}, institution = {University of Stuttgart, Faculty of Computer Science, Germany}, series = {Lecture Notes in Informatics (LNI)}, volume = {P-259}, pages = {1611--1622}, type = {Conference Paper}, month = {September}, year = {2016}, isbn = {978-3-88579-653-4}, language = {English}, cr-category = {H.4.1 Office Automation}, ee = {http://subs.emis.de/LNI/Proceedings/Proceedings259/1611.pdf,
http://www.informatik2016.de/}, department = {University of Stuttgart, Institute of Computer Science, Architecture of Application Systems;
University of Stuttgart, Institute of Computer Science, Computer-aided Product Development Systems}, abstract = {With this research we propose the implementation of a overlay restful API for
3D printers to expose these machines to the Internet for utilization within
cloud services. This is to abstract the underlying communication structure and
means for accessing and controlling a 3D printer resource which is performed in
one of three ways. The ®rst method of accessing and controlling a 3D printer
is via a proprietary protocol or a printer driver in Microsoft Windows. The
second method is the control via a USB-serial connection between a controlling
computer and the printer resource. This protocol can either be proprietary or
based on open standards like GCODE (ISO 6983-1:2009). The third method of
control is based on physical storage devices attached to the printer with
machining instructions stored on them. This research excludes the communication
and control means involving proprietary protocols or drivers due complexity
restrictions within the implementation. The approach is designed with
extensibility in mind so that future access to proprietary protocols can be
added to the control API. Printer resources with only the third control method
available are also excluded from this research as they are currently lacking
the capability to be remotely controlled. This work describes the design and
implementation of an abstraction API layer between varying soft- and hardware
components with an extensible architecture for future hard- and software
components for within the domain of Additive Manufacturing (AM).}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2016-55&engl=1} }
@inproceedings {INPROC-2008-74, author = {K. Mokhtari and S. Benbernou and M. Said and E. Coquery and M.S. Hacid and Frank Leymann}, title = {{Verification of Privacy Timed Properties in Web Service Protocols}}, booktitle = {Proceedings of the International Conference on Services Computing, SCC 2008}, publisher = {IEEE Computer Society Press}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, pages = {593--594}, type = {Conference Paper}, month = {July}, year = {2008}, doi = {10.1109/SCC.2008.154}, isbn = {978-0-7695-3283-7}, language = {English}, cr-category = {H.4.1 Office Automation}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {In this work we propose an approach for verifying privace timed-related
prroperties of web service protocols. While in our previous work the addressed
problem in business protocols is focused on the analysis and management of
functional requirements that support rich timing constraints, our approach
extends the previous results to capture the timed behavior of privacy
constraints. Hence, we provide a model called Timed Private Business Protocol
TPBP. Next, we emphasize the timed properties related to privacy in TPBP.
Finally, we present the different types of timed property verification to
achieve upon the timed private business protocol.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-74&engl=1} }
@inproceedings {INPROC-2008-71, author = {Niels Lohmann and Oliver Kopp}, title = {{Tools4BPEL4Chor}}, booktitle = {YR-SOC 2008}, publisher = {online}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, pages = {74--75}, type = {Workshop Paper}, month = {June}, year = {2008}, language = {English}, cr-category = {H.4.1 Office Automation}, ee = {ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INPROC-2008-71/INPROC-2008-71.pdf,
http://www.yrsoc.org}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {In this paper, we present several tools support the modeling, analysis,
synthesis, and correction of BPEL4Chor choreographies}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-71&engl=1} }
@inproceedings {INPROC-2008-64, author = {Daniel Wutke and Daniel Martin and Frank Leymann}, title = {{Facilitating Complex Web Service Interactions through a Tuplespace Binding}}, booktitle = {Proceedings of Distributed Applications and Interoperable Systems, 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008.}, editor = {Rene Meier and Sotirios Terzis}, publisher = {Springer}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, pages = {275--280}, type = {Conference Paper}, month = {June}, year = {2008}, doi = {10.1007/978-3-540-68642-2_22}, language = {English}, cr-category = {H.4.1 Office Automation}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {The SOAP messaging framework, as one key technology of the Web service
technology standard stack, de nes a standardized message format for Web service
interactions, a set of rules governing their processing and a mechanism that
describes how SOAP messages can be transmitted over dierent network transport
protocols, called SOAP bindings. The most prominent example for a Web service
transport today, is the Hypertext Transfer Protocol (HTTP), which however
suers from certain drawbacks such as being inherently synchronous in nature
and not providing decoupling of message sender and receiver in reference or
time. In this paper, we present tuplespace technology as an alternative Web
service transport that is characterized by a number of properties that are not
found in current Web service transports: asynchronism, strong decoupling of
sender and receiver and support for advanced message exchange patterns, such as
one-to-many interactions, directly on the transport level. We describe the
representation of SOAP messages in tuple form and exemplify how to use the
operations provided by the tuplespace interface to realize certain Web service
message exchange patterns.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-64&engl=1} }
@inproceedings {INPROC-2008-42, author = {Ralph Mietzner and Frank Leymann}, title = {{Towards Provisioning the Cloud: On the Usage of Multi-Granularity Flows and Services to Realize a Unified Provisioning Infrastructure for SaaS Applications}}, booktitle = {Proceedings of the International Congress on Services, SERVICES 2008}, publisher = {IEEE}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, type = {Conference Paper}, month = {July}, year = {2008}, keywords = {Cloud Computing; SaaS; on Demand; Provisioning}, language = {English}, cr-category = {H.4.1 Office Automation}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {The automatic provisioning of applications is an importent task for the success
of Software as a Service (SaaS) providers. Different provisioning engines from
different vendors and open source projects with different interfaces have been
emerging lately. Additionally, infrastructure providers that provide
infrastructure on demand now provide computing resources that can be integrated
in a SaaS provider’s computing environment. In order to allow SaaS application
providers to specify generic installation and maintenance flows independent
from the underlying provisioning engines we propose an architecture for a
generic provisioning infrastructure based on Web services and workflow
technology.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-42&engl=1} }
@inproceedings {INPROC-2008-41, author = {Ralph Mietzner and Frank Leymann}, title = {{Generation of BPEL Customization Processes for SaaS Applications from Variability Descriptors}}, booktitle = {Proceedings of the International Conference on Services Computing, Industry Track, SCC 2008}, publisher = {IEEE}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, type = {Conference Paper}, month = {July}, year = {2008}, language = {English}, cr-category = {H.4.1 Office Automation}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Software as a Service (SaaS) is a new delivery model for software. Software in
a SaaS model is no longer run exclusively for one customer at a customer’s
premise but run at a service provider and accessed via the Internet. A provider
of Software as a Service exploits economies of scale by hosting and providing
the same application for several different customers. However, each individual
customer has different requirements for the same basic application. In order to
allow each customer to customize the process layer and related artifacts of a
SaaS application to their specific needs the application needs to provide a set
of variability points that can be modified by customers. In this paper we
describe the notion of a variability descriptor that defines variability points
for the process layer and related artifacts of process-based, service-oriented
SaaS applications. Furthermore we describe how these variability descriptors
can be transformed into a WS-BPEL process model that can then be used to guide
a customer through the customization of the SaaS application.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-41&engl=1} }
@inproceedings {INPROC-2008-40, author = {Ralph Mietzner and Frank Leymann and Mike P. Papazoglou}, title = {{Defining Composite Configurable SaaS Application Packages Using SCA, Variability Descriptors and SaaS Multi-Tenancy Patterns}}, booktitle = {Proceedings of the 3rd Intl. Conf. on Internet and Web Applications and Services ICIW 2008}, address = {Athens, Greece}, publisher = {IEEE}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, type = {Conference Paper}, month = {January}, year = {2008}, keywords = {SaaS; SCA; Multi-Tenancy; SOA}, language = {English}, cr-category = {H.4.1 Office Automation}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Currently, several vendors and projects are building proprietary SaaS platforms
where more and more applications are hosted in a Software as a Service business
model. However, these proprietary platforms prevent that applications offered
by different SaaS application vendors can be easily reused on the platforms
offered by the different SaaS hosting providers. In this paper we describe a
package format for composite configurable SaaS application packages for
applications developed following a service oriented architecture. We show how
the service component architecture (SCA) can be extended with variability
descriptors and SaaS multi-tenancy patterns to package and deploy multitenant
aware configurable composite SaaS applications.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-40&engl=1} }
@inproceedings {INPROC-2008-33, author = {J{\"o}rg Nitzsche and Tammo van Lessen and Frank Leymann}, title = {{WSDL 2.0 Message Exchange Patterns: Limitations and Opportunities}}, booktitle = {Proceedings of the 3rd International Conference on Internet and Web Applications and Services (ICIW 2008)}, publisher = {IEEE}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, type = {Conference Paper}, month = {June}, year = {2008}, language = {English}, cr-category = {H.4.1 Office Automation,
K.1 The Computer Industry}, ee = {http://www.iaria.org/conferences2008/ProgramICIW08.html}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {The Web Service Description Language (WSDL) provides means to describe
functional aspects of a service in a Service Oriented Architecture (SOA) based
on Web Service technology. In contrast to its predecessor (WSDL 1.1), WSDL 2.0
does not define a fixed set of operation types but provides for a generic
mechanism to define an operation by means of message exchange patterns (MEPs).
In this paper we identify new MEPs and extend the template used to define MEPs
to allow expressing more complex patterns. Furthermore, we compare the
expressivity of MEPs in general with other work and formalisms in the field of
service interaction. We give a refined definition of MEPs based on a detailed
discussion and discuss how WSDL and the MEPs in particular can be combined with
the choreography approach.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-33&engl=1} }
@inproceedings {INPROC-2008-31, author = {Olaf Zimmermann and Cesare Pautasso and Frank Leymann}, title = {{RESTful Web Services vs. ``Big'' Web Services - Making the Right Architectural Decisions}}, booktitle = {Proc. 17th International World Wide Web Conference (WWW 2008)}, publisher = {Online}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, type = {Conference Paper}, month = {April}, year = {2008}, language = {English}, cr-category = {K.1 The Computer Industry}, ee = {http://www2008.org/papers/fp179.html}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Recent technology trends in the Web Services (WS) domain indicate that a
solution eliminating the presumed complexity of the WS-* standards may be in
sight: advocates of REpresentational State Transfer (REST) have come to believe
that their ideas explaining why the World Wide Web works are just as applicable
to solve enterprise application integration problems and to simplify the
plumbing required to build service-oriented architectures. In this paper we
objectify the WS-* vs. REST debate by giving a quantitative technical
comparison based on architectural principles and decisions. We show that the
two approaches differ in the number of architectural decisions that must be
made and in the number of available alternatives. This discrepancy between
freedom-from-choice and freedom-of-choice explains the complexity difference
perceived. However, we also show that there are significant differences in the
consequences of certain decisions in terms of resulting development and
maintenance costs. Our comparison helps technical decision makers to assess the
two integration styles and technologies more objectively and select the one
that best fits their needs: REST is well suited for basic, ad hoc integration
scenarios, WS-* is more flexible and addresses advanced quality of service
requirements commonly occurring in enterprise computing.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-31&engl=1} }
@inproceedings {INPROC-2008-30, author = {Olaf Zimmermann and Uwe Zdun and Thomas Gschwind and Frank Leymann}, title = {{Combining Pattern Languages and Architectural Decision Models in a Comprehensive and Comprehensible Design Method}}, booktitle = {Seventh Working IEEE/IFIP Conference on Software Architecture - WICSA 2008}, publisher = {IEEE Computer Society}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, pages = {156--166}, type = {Conference Paper}, month = {February}, year = {2008}, doi = {10.1109/WICSA.2008.19}, language = {English}, cr-category = {K.1 The Computer Industry}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {When constructing software systems, software architects must identify and
evaluate many competing design options and document the rationale behind any
selections made. Two supporting concepts are pattern languages and
architectural decision models. Unfortunately, both concepts only provide
partial support: Extensive upfront education is needed for practitioners to be
in command of the full pattern literature relevant in their field;
retrospective architectural decision modeling is viewed as a painful extra
responsibility without immediate gains. In this paper, we combine pattern
languages and reusable architectural decision models into a design method that
is both comprehensive and comprehensible. Our design method identifies the
required decisions in requirements models systematically, gives domain-specific
pattern selection advice, and provides traceability from platform-independent
patterns to platform-specific decisions. We validate our approach by applying
it to enterprise applications as an exemplary application genre and a SOA case
study from the finance industry.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-30&engl=1} }
@inproceedings {INPROC-2008-25, author = {Thorsten Scheibler and Frank Leymann}, title = {{A Framework for Executable Enterprise Integration Patterns}}, booktitle = {Enterprise Interoperability III: New Challenges and Industrial Approaches}, editor = {Kai Mertins and Ruggaber Rainer and Keith Popplewell and Xiaofei Xu}, publisher = {Springer}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, pages = {485--497}, type = {Conference Paper}, month = {March}, year = {2008}, language = {English}, cr-category = {D.2.11 Software Engineering Software Architectures,
D.2.13 Software Engineering Reusable Software,
K.6.4 System Management}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {A great challenge for enterprises is the improvement of the utilization of
their landscape of heterogeneous applications in complex EAI (Enterprise
Application Integration) scenarios. Enterprise Application Integration Patterns
help to address this challenge by describing recurring EAI problems and
proposing possible solutions at an abstract level. However, EAI patterns are
documentation only used by systems architects and developers to decide how to
implement an integration solution. Thus, patterns do not specify how to produce
the code that will actually implement the solution described by the pattern on
a specific middleware. In this paper we introduce a framework that provides
configuration capabilities for EAI patterns. The framework also allows to
generate executable integration code from EAI patterns using a model-driven
architecture approach. Furthermore, we present a tool providing this framework.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-25&engl=1} }
@inproceedings {INPROC-2008-11, author = {Tobias Unger and Thomas Bauer}, title = {{Towards a Standardized Task Management}}, booktitle = {Multikonferenz Wirtschaftsinformatik 2008}, editor = {Martin Bichler and Thomas Hess and Helmut Krcmar and Ulrike Lechner and Florian Matthes and Arnold Picot and Benjamin Speitkamp and Petra Wolf}, publisher = {GITO-Verlag, Berlin}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, pages = {443--444}, type = {Conference Paper}, month = {February}, year = {2008}, isbn = {978-3-940019-34-9}, keywords = {Task Management; BPEL4People; WS-HumanTask}, language = {English}, cr-category = {H.4.1 Office Automation}, ee = {http://srvmatthes6.in.tum.de/tagungsbandArtikel.html,
http://ibis.in.tum.de/mkwi08/29_XML4BPM-XML_Integration_and_Transformation_for_Business_Process_Management/05_Unger-XML4BPM-long.pdf}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Business processes are increasingly controlled by IT-systems automatically, but
they still consist of many tasks that have to be performed by people. Despite
an appropriate IT-infrastructure is required for Task Management, until now
this is a neglected topic in the research domain. In general, existing concepts
and products for Task Management are not sufficient and, even worse,
inter-partner aspects are not supported at all. For the first time, this paper
analyzes the requirements for Task Management in a comprehensive way.
Furthermore, we present an architecture for a Task Management Infrastructure
that allows to fulfill these requirements even in inter-partner scenarios. This
architecture was developed in the TAMPRO project and is based on emerging
standards as WS-HumanTask and BPEL4People, which are discussed as well.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-11&engl=1} }
@inproceedings {INPROC-2008-09, author = {Dimka Karastoyanova and Tammo van Lessen and Frank Leymann and Zhilei Ma and J{\"o}rg Nitzsche and Branimir Wetzstein and Sami Bhiri and Manfred Hauswirth and Maciej Zaremba}, title = {{A Reference Architecture for Semantic Business Process Management Systems}}, booktitle = {Multikonferenz Wirtschaftsinformatik 2008}, editor = {Martin Bichler and Thomas Hess and Helmut Krcmar and Ulrike Lechner and Florian Matthes and Arnold Picot and Benjamin Speitkamp and Petra Wolf}, address = {Berlin}, publisher = {GITO-Verlag}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, pages = {371--372}, type = {Conference Paper}, month = {February}, year = {2008}, isbn = {978-3-940019-34-9}, language = {English}, cr-category = {H.5.4 Hypertext/Hypermedia}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Semantic Business Process Management (SBPM) enhances BPM with semantic
technologies in order to increase the degree of automation in the BPM lifecycle
and help in bridging the gap between the business and IT views on business
processes. In this paper, we describe the architecture of an SBPM System
(SBPMS) which supports the whole SBPM lifecycle by providing functionality for
process modeling, process configuration, process execution, and process
analysis. We analyze the functional requirements of the SBPMS from the business
user's and the IT expert's point of view and derive and describe the components
of the SBPMS and their key interactions to achieve the required
functionalities. We show how existing BPMS components can be extended to use
semantics, and describe the integration of new components, such as a Semantic
Execution Environment. The presented SBPMS is based on BPMN, BPEL and WSMO
technologies.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-09&engl=1} }
@inproceedings {INPROC-2008-08, author = {Ralph Mietzner and Zhilei Ma and Frank Leymann}, title = {{An Algorithm for the Validation of Executable Completions of an Abstract BPEL Process}}, booktitle = {Multikonferenz Wirtschaftsinformatik 2008}, editor = {Martin Bichler and Thomas Hess and Helmut Krcmar and Ulrike Lechner and Florian Matthes and Arnold Picot and Benjamin Speitkamp and Petra Wolf}, address = {Berlin}, publisher = {GITO-Verlag}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, pages = {437--438}, type = {Conference Paper}, month = {February}, year = {2008}, language = {English}, cr-category = {D.3.0 Programming Languages General,
G.4 Mathematical Software}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Abstract: WS-BPEL is the standard for specifying and executing business
processes by orchestrating Web Services. Abstract and executable processes are
two kinds of BPEL processes that are defined in the BPEL standard. An abstract
process can be used as a process template, which can be completed and made
executable through ``executable completion''. The BPEL standard defines a set of
rules that must be obeyed during such an executable completion. In this paper,
we present an algorithm for validating whether an executable BPEL process is a
valid executable completion of an abstract BPEL process. Our approach advances
the existing XML comparison algorithms in a way that it takes the BPEL-specific
characteristics into account and is optimized towards the validation of
``executable completion'' of abstract BPEL processes.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-08&engl=1} }
@inproceedings {INPROC-2007-93, author = {Olaf Zimmermann and Thomas Gschwind and Jochen Malte K{\"u}ster and Frank Leymann and Nelly Schuster}, title = {{Reusable Architectural Decision Models for Enterprise Application Development}}, booktitle = {Third International Conference on the Quality of Software-Architectures (QoSA 2007)}, editor = {Sven Overhage and Clemens A. Szyperski and Ralf Reussner and Judith A. Stafford}, publisher = {Springer}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, series = {Lecture Notes in Computer Science}, volume = {4880}, pages = {15--32}, type = {Conference Paper}, month = {July}, year = {2007}, isbn = {978-3-540-77617-8}, doi = {10.1007/978-3-540-77619-2_2}, keywords = {Architectural decision; architectural knowledge; MDA; SOA}, language = {English}, cr-category = {D.2.11 Software Engineering Software Architectures}, ee = {http://qosa.ipd.uka.de/}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {In enterprise application development and other software construction projects,
a critical success factor is to make sound architectural decisions. Text
templates and tool support for capturing architectural decisions exist, but
have failed to reach broad adoption so far. One of the inhibitors we perceived
on large-scale industry projects is that architectural decision capturing is
regarded as a retrospective and therefore unwelcome documentation task which
does not provide any benefit during the original design work. A major problem
of such a retrospective approach is that the decision rationale is not
available to decision makers when they identify, make, and enforce decisions.
Often a large, possibly distributed, community of decision makers is involved
in these three steps. In this paper, we propose a new conceptual framework for
proactive decision identification, decision maker collaboration, and decision
enforcement. Based on a meta model capturing reuse and collaboration aspects
explicitly, our framework instantiates decision models from requirements models
and re usable decision templates. These templates capture know ledge gained on
other projects em ploy ing the same architectural style. As an exemplary
application of these concepts to service-oriented architecture shows, reusable
architectural decision models can speed up the decision identification and
improve the quality of the decision making. Reusable architectural decision
models can also simplify the exchange of architecture design rationale within
and between project teams, and expose decision out come as model transformation
parameters in model-driven software development.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-93&engl=1} }
@inproceedings {INPROC-2007-91, author = {Jussi Vanhatalo and Hagen V{\"o}lzer and Frank Leymann}, title = {{Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition}}, booktitle = {Service-Oriented Computing – ICSOC 2007}, editor = {Bernd J. Kr{\"a}mer and Kwei-Jay Lin and Priya Narasimhan}, publisher = {Springer}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, series = {Lecture Notes in Computer Science}, volume = {4749}, pages = {43--55}, type = {Conference Paper}, month = {September}, year = {2007}, isbn = {978-3-540-74973-8}, doi = {10.1007/978-3-540-74974-5_4}, language = {English}, cr-category = {F.3.2 Semantics of Programming Languages,
F.3.3 Studies of Program Constructs}, ee = {http://www.icsoc.org/}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {We present a technique to enhance control-flow analysis of business process
models. The technique considerably speeds up the analysis and improves the
diagnostic information that is given to the user to fix control-flow errors.
The technique consists of two parts: Firstly, the process model is decomposed
into single-entry-single-exit (SESE) fragments, which are usually substantially
smaller than the original process. This decomposition is done in linear time.
Secondly, each fragment is analyzed in isolation using a fast heuristic that
can analyze many of the fragments occurring in practice. Any remaining
fragments that are not covered by the heuristic can then be analyzed using any
known complete analysis technique.
We used our technique in a case study with more than 340 real business
processes modeled with the IBM WebSphere Business Modeler. The results suggest
that control-flow analysis of many real process models is feasible without
significant delay (less than a second). Therefore, control-flow analysis could
be used frequently during editing time, which allows errors to be caught at
earliest possible time.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-91&engl=1} }
@inproceedings {INPROC-2007-90, author = {Stefan Pottinger and Ralph Mietzner and Frank Leymann}, title = {{Coordinate BPEL Scopes and Processes by Extending the WS-Business Activity Framework}}, booktitle = {Proceedings of the 15th International Conference on Cooperative Information Systems (CoopIS 2007)}, editor = {Robert Meersman and Zahir Tari}, publisher = {Springer}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, series = {Lecture Notes in Computer Science}, volume = {4803}, pages = {336--352}, type = {Conference Paper}, month = {November}, year = {2007}, isbn = {978-3-540-76846-3}, doi = {10.1007/978-3-540-76848-7_22}, keywords = {WS-BA; BPEL; coordination; long-running transactions; sub-processes}, language = {English}, cr-category = {C.2.4 Distributed Systems,
H.2.4 Database Management Systems,
H.3.5 Online Information Services,
H.4.1 Office Automation}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {In a Web service world, the Web Services Business Process Execution Language
(WS-BPEL) is the standard used to compose Web services into business processes.
These processes are often long-running. Therefore WS-BPEL employs a
long-running transaction model to handle the internal transactions of a WS-BPEL
process. WS-Business Activity (WS-BA) is a set of mechanisms and protocols to
coordinate a set of Web Services into a long-running compensation-based
transaction. Up to now, it was not possible to let parts of a WS-BPEL process
participate in a WS-BA coordination. We show how WS-BA needs to be extended to
allow parts of a WS-BPEL process to participate in a WS-BA coordination, which
is supervised by an external coordinator. In addition our approach allows
external partners to participate in these modified internal WS-BA transactions
initiated by a WS-BPEL process and also allows for easy incorporation of BPEL
sub-processes into the proposed coordination model. The architecture of a
prototype implementing our approach is sketched.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-90&engl=1} }
@inproceedings {INPROC-2007-69, author = {Oliver Kopp and Hanna Eberle and Frank Leymann and Tobias Unger}, title = {{From Process Models to Business Landscapes}}, booktitle = {EPK 2007: Gesch{\"a}ftsprozessmanagement mit Ereignisgesteuerten Prozessketten}, editor = {Markus N{\"u}ttgens and Frank J. Rump Rump and Andreas Gadatsch}, publisher = {Online}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, series = {CEUR Workshop Proceedings}, volume = {303}, pages = {7--22}, type = {Workshop Paper}, month = {December}, year = {2007}, keywords = {FMC, EPK, EPC, architecture}, language = {English}, cr-category = {H.4.1 Office Automation}, ee = {http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-303/}, contact = {kopp@iaas.uni-stuttgart.de}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Today, architecture and business processes are modeled separately. The only
integration in architectural diagrams is done with Petri nets in the
Fundamental Modeling Concept. Since business users prefer EPCs over Petri nets,
we show how information of extended EPCs can be transformed into business
landscapes. This facilitates development of IT landscapes satisfying the
requirements of the business process and adoption of existing IT
infrastructures to new requirements.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-69&engl=1} }
@inproceedings {INPROC-2007-60, author = {Tammo van Lessen and Branimir Wetzstein and J{\"o}rg Nitzsche and Zhilei Ma and Dimka Karastoyanova and Frank Leymann}, title = {{Gesch{\"a}ftsprozessmanagement Meets Semantic Web.}}, booktitle = {Tagungsband Science Meets Business. Stuttgarter Softwaretechnik Forum 2007, Fraunhofer IAO, 23. November 2007.}, editor = {D. Spath and A. Weisbecker and O. H{\"o}{\ss} and J. (Hrsg.) Drawehn}, address = {Stuttgart}, publisher = {Fraunhofer IRB Verlag}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, pages = {75--83}, type = {Conference Paper}, month = {November}, year = {2007}, isbn = {3-8167-7493-8}, keywords = {Semantic Business Process Management}, language = {German}, cr-category = {H.4.1 Office Automation}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {23. November 2007
Science Meets Business
Am vierten Tag des Stuttgarter Softwaretechnik Forums geben Experten aus
Forschung und Wissenschaft Einblick in aktuelle Forschungsarbeiten in den
Themenbereichen Softwareengineering, Softwaretechnik und Mobile Anwendungen.
Dadurch k{\"o}nnen die Zuh{\"o}rer interessante Impulse f{\"u}r ihr t{\"a}gliches Business
sowie einen Ausblick auf zuk{\"u}nftige Trends und Entwicklungen mitnehmen.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-60&engl=1} }
@inproceedings {INPROC-2007-40, author = {Rania Khalaf and Oliver Kopp and Frank Leymann}, title = {{Maintaining Data Dependencies Across BPEL Process Fragments}}, booktitle = {Service-Oriented Computing - ICSOC 2007}, editor = {Bernd J. Kr{\"a}mer and Kwei-Jay Lin and Priya Narasimhan}, publisher = {Springer}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, series = {Lecture Notes in Computer Science}, volume = {4749}, pages = {207--219}, type = {Conference Paper}, month = {September}, year = {2007}, doi = {10.1007/978-3-540-74974-5_17}, keywords = {Web services, fragments, business process, BPEL}, language = {English}, cr-category = {C.2.4 Distributed Systems,
H.3.5 Online Information Services,
H.4.1 Office Automation}, ee = {http://www.ece.cmu.edu/icsoc2007/index.html}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Continuous process improvement (CPI) may require a BPEL process to be split
amongst different participants. In this paper, we enable splitting standard
BPEL - without any extensions or new middleware. We present a solution that
uses a BPEL process, partition information, and results of data analysis to
produce a BPEL process for each participant. The collective behavior of these
participant processes recreates the control and data flow of the non-split
process. Previous work presented process splitting using a variant of BPEL
where data flow is modeled explicitly using ‘data links’. We reuse the control
flow aspect from that work, focusing in this paper on maintaining the data
dependencies in standard BPEL.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-40&engl=1} }
@inproceedings {INPROC-2007-24, author = {J{\"o}rg Nitzsche and Tammo van Lessen and Dimka Karastoyanova and Frank Leymann}, title = {{BPEL light}}, booktitle = {Proceedings of the 5th International Conference on Business Process Management (BPM 2007)}, publisher = {Springer-Verlag}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, series = {Lecture Notes in Computer Science}, volume = {4714}, pages = {214--229}, type = {Conference Paper}, month = {September}, year = {2007}, doi = {10.1007/978-3-540-75183-0_16}, keywords = {BPEL; BPEL light; WSDL-less BPEL; BPM; Workflow; SOA; Web services; flexibility; reusability}, language = {English}, cr-category = {C.2.4 Distributed Systems,
D.2.11 Software Engineering Software Architectures,
D.2.12 Software Engineering Interoperability,
H.4.1 Office Automation}, contact = {joerg.nitsche@iaas.uni-stuttgart.de and tammo.van.lessen@iaas.uni-stuttgart.de}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {In this paper we present BPEL light which decouples process logic from
interface definitions. By extending BPEL 2.0 with a WSDL-less interaction
model, BPEL light allows to specify process models independent of Web service
technology. Since its interaction model is based on plain message exchange, it
is completely independent of any interface description language. This fosters
flexibility and reusability of process models and enables modelling platform
and component model independent business processes. The presented approach
takes a significant step towards narrowing down the gap between business level
and IT level by facilitating a more business-oriented modelling of executable
processes.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-24&engl=1} }
@inproceedings {INPROC-2007-21, author = {Gero Decker and Oliver Kopp and Frank Puhlmann}, title = {{Service Referrals in BPEL-based Choreographies}}, booktitle = {Proceedings of the 2nd European Young Researchers Workshop on Service Oriented Computing (YR-SOC 2007)}, editor = {Stephen Gorton and Monika Solanki and Stephen Reiff-Marganiec}, address = {Leicester}, publisher = {University of Leicester}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, pages = {25--30}, type = {Workshop Paper}, month = {June}, year = {2007}, keywords = {Choreography; BPEL; BPEL4Chor; Application of Pi-calculus; interaction models; interconnection models; link passing mobility}, language = {English}, cr-category = {H.4.1 Office Automation,
K.1 The Computer Industry}, ee = {ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INPROC-2007-21/INPROC-2007-21.pdf,
http://www.cs.le.ac.uk/events/yrsoc2007/}, contact = {oliver.kopp@iaas.uni-stuttgart.de oder gero.decker@hpi.uni-potsdam.de}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Choreographies describe the interactions between two or more services from a
global perspective and specify allowed service conversations. Choreographies
typically do not rely on static binding, i.e. the participating services are
not selected at design-time of the choreography. Some services might only be
selected at runtime and this selection has to be propagated in the case of
multi-lateral conversations. Hence, the notion of service referrals (also
called link passing mobility) is recurrent in choreographies. In past work, we
have proposed BPEL extensions for describing service choreographies, namely
BPEL4Chor. This paper closely investigates the link passing mobility
capabilities of BPEL4Chor and illustrates their semantics using Pi-calculus.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-21&engl=1} }
@inproceedings {INPROC-2006-91, author = {Oliver G{\"u}nther and Gerrit Tamm and Frank Leymann}, title = {{Pricing Web Services}}, booktitle = {The Role of Business Processes in Service Oriented Architectures}, editor = {Frank Leymann and Wolfgang Reisig Reisig and Satish R. Thatte Thatte and Wil van der Aalst}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, series = {Dagstuhl Seminar}, volume = {06291}, pages = {1--13}, type = {Conference Paper}, month = {November}, year = {2006}, issn = {1862-4405}, language = {English}, cr-category = {H.4.1 Office Automation}, ee = {http://drops.dagstuhl.de/opus/volltexte/2006/822}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {This paper focuses on the challenges associated with composing and pricing web
services. We present the results of an online experiment, where subjects were
confronted with a variety of choices and decisions relating to web service
markets and service composition. Our analysis shows that people expect the
price of a composite web service to be lower than the sum of the prices of the
elementary services, i.e., users are not willing to pay for aggregation by a
third party. To obtain a viable business model for composed web services,
non-standard pricing mechanisms, such as auctions and negotiations, possibly
supported by electronic agents, have to be taken into consideration.
Usage-based pricing schemes, combined with an option to switch to a flat
subscription, seem most appropriate to penetrate the developing web service
market.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2006-91&engl=1} }
@inproceedings {INPROC-2006-88, author = {Jussi Vanhatalo and Jana Koehler and Frank Leymann}, title = {{Repository for Business Processes and Arbitrary Associated Metadata}}, booktitle = {Proceedings of the BPM Demo Session at the Fourth International Conference on Business Process Management (BPM 2006)}, publisher = {CEUR}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, pages = {25--31}, type = {Conference Paper}, month = {September}, year = {2006}, language = {English}, cr-category = {K.1 The Computer Industry}, ee = {http://ceur-ws.org/Vol-203/}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {We have published a repository for storing business processes and associated
metadata. The BPEL Repository is an Eclipse plug-in originally built for BPEL
business processes and other related XML data. It provides a framework for
storing, finding and using these documents. Other research prototypes can reuse
these features and build on top of it. The repository can easily be extended
with new types of XML documents. It provides a Java API for manipulating the
XML files as Java objects hiding the serialization and de-serialization from a
user. This has the advantage that the user can manipulate the data as more
convenient Java objects, although the data is stored as XML files compliant
with the standard XML schemas. The data can be queried as Java objects using an
object-oriented query language, namely the Object Constraint Language (OCL).
Moreover, the flexible design allows the OCL query engine to be replaced with
another engine based on other query language.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2006-88&engl=1} }
@inproceedings {INPROC-2006-86, author = {Dimka Karastoyanova and Frank Leymann and J{\"o}rg Nitsche and Branimir Wetzstein and Daniel Wutke}, title = {{Utilizing Semantic Web Service Technologies for Automatic Execution of Parameterized BPEL Processes}}, booktitle = {XML Tage 2006}, publisher = {Unbekannt}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, type = {Conference Paper}, month = {September}, year = {2006}, language = {English}, cr-category = {H.4.1 Office Automation,
K.1 The Computer Industry}, ee = {http://www.xml-clearinghouse.de/ws/XMLT2006/2/}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Utilizing Semantic Web Service Technologies for Automatic Execution of
Parameterized BPEL Processes}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2006-86&engl=1} }
@inproceedings {INPROC-2006-85, author = {Guadalupe Ortiz and Frank Leymann}, title = {{Combining WS-Policy and Aspect-Oriented Programming}}, booktitle = {Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT-ICIW'06)}, publisher = {IEEE Computer Society}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, pages = {143--143}, type = {Conference Paper}, month = {February}, year = {2006}, isbn = {0-7695-2522-9}, doi = {10.1109/AICT-ICIW.2006.66}, language = {English}, cr-category = {K.1 The Computer Industry}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Web Service technologies offer a successful way for interoperability among
applications. However, although current approaches are beginning to address how
to specify non-functional capabilities in Web Services at description level,
they have so far failed to propose an acceptable method to decouple the named
capabilities from Web Service implementations, resulting in a large amount of
code scattered and tangled all over the application. Considering it is our
desire to minimize middleware participation in nonfunctional properties
management, it is the aim of this paper to describe how aspect-oriented
techniques can be used in conjunction with WS-Policy in order to allow the
mentioned properties to be completely decoupled at description and
implementation level, thus improving their reusability and service maintenance
and evolution.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2006-85&engl=1} }
@inproceedings {INPROC-2006-84, author = {Frank Leymann}, title = {{Workflow-Based Coordination and Cooperation in a Service World}}, booktitle = {Cooperative Information Systems (CoopIS) 2006 International Conference}, editor = {Robert Meersman and Zahir Tari}, publisher = {Springer}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, pages = {2--16}, type = {Conference Paper}, month = {November}, year = {2006}, isbn = {3-540-48287-3}, doi = {10.1007/11914853_2}, language = {English}, cr-category = {K.1 The Computer Industry}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {One of the most important roles of workflow technology in a service oriented
environment is that of providing an easy to use technology for service
composition (so-called “orchestration”). Another important composition model in
this domain is based on the technology of “coordination protocols”. We sketch
the relation between orchestration and coordination protocols by describing two
application areas of both technologies: the introduction of subprocesses to the
service oriented world, and facilitating outsourcing by making splitting
processes much easier. Cooperation aspects of workflow technology are
emphasized by sketching the inclusion of human tasks in orchestrations.
Finally, the benefit of combining semantic technologies with orchestrations is
outlined (“semantic processes”) which aims in simplifying the creation of
orchestrations.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2006-84&engl=1} }
@inproceedings {INPROC-2006-83, author = {Rania Khalaf and Frank Leymann}, title = {{Role-based Decomposition of Business Processes using BPEL}}, booktitle = {International Conference on Web Services (ICWS 2006)}, publisher = {IEEE Computer Society}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, pages = {770--780}, type = {Conference Paper}, month = {September}, year = {2006}, isbn = {0-7695-2669-1}, doi = {10.1109/ICWS.2006.56}, language = {English}, cr-category = {K.1 The Computer Industry}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {This paper addresses role-based decomposition of a business process model
(based on a subset of WS-BPEL, using explicit data links. A mechanism is
presented for partitioning a business process so that each partition can be
enacted by a different participant. An important goal is to disconnect the
partitioning itself from the design of the business process, simplifying the
reassignment of activities to different entities. The result is several
(compliant) BPEL processes, one for each participant, as well as the
information needed to wire them together at deployment time and ensuring
correct instance-level connections at runtime. We present details of
partitioning and successfully running a sample process with three participants}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2006-83&engl=1} }
@inproceedings {INPROC-2006-81, author = {Rakesh Agrawal and Christopher M. Johnson and Jerry Kiernan and Frank Leymann}, title = {{Taming Compliance with Sarbanes-Oxley Internal Controls Using Database Technology}}, booktitle = {Proceedings of the 22nd International Conference on Data Engineering -- ICDE '06.}, editor = {Ling Liu and Andreas Reuter and Kyu-Young Whang and Jianjun Zhang}, publisher = {IEEE Computer Society}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, type = {Conference Paper}, month = {January}, year = {2006}, doi = {10.1109/ICDE.2006.155}, language = {English}, cr-category = {H.2.4 Database Management Systems,
K.4.1 Computers and Society Public Policy Issues}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {The Sarbanes-Oxley Act instituted a series of corporate reforms to improve the
accuracy and reliability of financial reporting. Sections 302 and 404 of the
Act require SEC-reporting companies to implement internal controls over
financial reporting, periodically assess the effectiveness of these internal
controls, and certify the accuracy of their financial statements. We suggest
that database technology can play an important role in assisting compliance
with the internal control provisions of the Act. The core components of our
solution include: (i) modeling of required workflows, (ii) active enforcement
of control activities, (iii) auditing of actual workflows to verify compliance
with internal controls, and (iv) discovery-driven OLAP to identify
irregularities in financial data. We illustrate how the features of our
solution fulfill Sarbanes-Oxley requirements using several real-life scenarios.
In the process, we identify opportunities for new database research.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2006-81&engl=1} }
@inproceedings {INPROC-2006-67, author = {Oliver Kopp and Carsten Frenkler and Niels Lohmann}, title = {{Korrektheit und Zuverl{\"a}ssigkeit zusammengesetzter Web Services am Beispiel der Gesch{\"a}ftsprozess-Modellierungssprache BPEL}}, booktitle = {Forschungsoffensive ``Software Engineering 2006'' Statuskonferenz 26.-28. Juni 2006}, editor = {DLR e.V.}, publisher = {n/a}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, pages = {1--11}, type = {Workshop Paper}, month = {July}, year = {2006}, keywords = {Tools4BPEL; BPEL; EPK; oWFN; BPEL2OWFN}, language = {German}, cr-category = {D.2.2 Software Engineering Design Tools and Techniques,
D.2.4 Software Engineering Software/Program Verification,
F.2.2 Nonnumerical Algorithms and Problems,
F.3.1 Specifying and Verifying and Reasoning about Programs,
F.3.2 Semantics of Programming Languages,
K.1 The Computer Industry}, ee = {ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INPROC-2006-67/INPROC-2006-67.pdf,
http://www2.informatik.hu-berlin.de/top/tools4bpel/,
http://www.softwarefoerderung.de/}, contact = {oliver.kopp@iaas.uni-stuttgart.de}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Unternehmens{\"u}bergreifende Gesch{\"a}ftsprozesse werden zunehmend nach dem Paradigma
der Services organisiert. Dabei stellen sich Fragen nach der Komponierbarkeit,
Bedienbarkeit, Austauschbarkeit sowie der R{\"u}cksetzbarkeit (Kompensation) im
Fehlerfall. In diesem Vorhaben werden Methoden und Werkzeuge zum Umgang mit
solchen Fragen entwickelt, am Beispiel der
Gesch{\"a}ftsprozess-Modellierungssprache BPEL erprobt und in ein Entwurfswerkzeug
der Firma Gedilan Technologies integriert.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2006-67&engl=1} }
@inproceedings {INPROC-2006-66, author = {Oliver Kopp and Tobias Unger and Frank Leymann}, title = {{Nautilus Event-driven Process Chains: Syntax, Semantics, and their mapping to BPEL}}, booktitle = {Proceedings of the 5th GI Workshop on Event-Driven Process Chains (EPK 2006)}, editor = {M. N{\"u}ttgens and F.J. Rump and J. Mendling}, address = {Vienna, Austria}, publisher = {CEUR-WS.org}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, pages = {85--104}, type = {Workshop Paper}, month = {December}, year = {2006}, keywords = {Nautilus; EPC; BPEL; mapping}, language = {English}, cr-category = {H.4.1 Office Automation,
K.1 The Computer Industry}, ee = {ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INPROC-2006-66/INPROC-2006-66.pdf,
http://www.epk-community.de/}, contact = {Oliver.Kopp@iaas.uni-stuttgart.de}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {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 can be eliminated while preserving their semantics.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2006-66&engl=1} }
@inproceedings {INPROC-2005-126, author = {Mike P. Papazoglou and Paolo Traverso and Schahram Dustdar and Frank Leymann and Bernd J. Kr{\"a}mer}, title = {{Service-Oriented Computing: A Research Roadmap}}, booktitle = {Service Oriented Computing}, editor = {Francisco Curbera and Bernd J. Kr{\"a}mer and Mike P. Papazoglou}, publisher = {Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, series = {Dagstuhl Seminar Proceedings}, volume = {05462}, pages = {1--29}, type = {Conference Paper}, month = {May}, year = {2005}, issn = {1862-4405}, keywords = {Service-oriented computing; research road map; service foundations; service composition; service management; service monitoring; service-oriented engineering}, language = {English}, cr-category = {K.1 The Computer Industry}, ee = {http://drops.dagstuhl.de/opus/volltexte/2006/524/}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {This document presents a Services Research Roadmap that launches four pivotal,
inherently related, research themes to Service-Oriented Computing (SOC):
service foundations, service composition, service management and monitoring and
service-oriented engineering. Each theme is introduced briefly from a
technology, state of the art and scientific challenges standpoint. From the
technology standpoint a comprehensive review of state of the art, standards,
and current research activities in each key area is provided. From the state of
the art the major open problems and bottlenecks to progress are identified.
During the during seminar each core theme was initially introduced by a leading
expert in the field who described the state of the art and highlighting open
problems and important research topics for the SOC community to work on in the
future. These experts were then asked to coordinate parallel workgroups that
were entrusted with an in-depth analysis of the research opportunities and
needs in the respective theme. The findings presented in this summary report
build on the advice of those panels of experts from industry and academia who
participated in this Dagstuhl Seminar and met at other occasions during the
past three years, e.g., at the International Conference on Service Oriented
Computing (ICSOC, see www.icsoc.org). These experts represent many disciplines
including distributed computing, database and information systems, software
engineering, computer architectures and middleware and knowledge
representation.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2005-126&engl=1} }
@inproceedings {INPROC-2005-125, author = {Frank Leymann and Stefan Pottinger}, title = {{Rethinking the Coordination Models of WS-Coordination and WS-CF}}, booktitle = {Third IEEE European Conference on Web Services (ECOWS 2005)}, publisher = {IEEE Computer Society}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, pages = {160--169}, type = {Conference Paper}, month = {November}, year = {2005}, isbn = {0-7695-2409-5}, doi = {10.1109/ECOWS.2005.20}, language = {English}, cr-category = {K.1 The Computer Industry,
K.4.4 Electronic Commerce}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {WS-coordination and WS-CF provide support for distributed activities that
require coordination in an environment of Web services. Both specifications are
generic coordination frameworks, not specific for any application. Despite
their generic character, up to now only transactional protocols have been
defined, which leverage these coordination frameworks. In this work we map a
distributed activity, that it is not related to transactions, onto the
coordination model underlying WS-coordination and WS-CF. Consequently we
identify the necessary characteristics of a distributed activity that leverages
the coordination frameworks of WS-coordination and WS-CF. We also examine
limits of these coordination frameworks and suggest additional mechanisms where
support for coordination in particular use cases is not sufficient. In contrast
to coordinating distributed transactions, additional problems could arise when
other types of activities are subject to coordination. These problems are
studied, classified and reviewed in conjunction with the architectural
differences of WS-coordination and WS-CF.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2005-125&engl=1} }
@inproceedings {INPROC-2005-124, author = {Frank Leymann}, title = {{The (Service) Bus: Services Penetrate Everyday Life}}, booktitle = {Service-Oriented Computing - ICSOC 2005}, editor = {Boualem Benatallah and Fabio Casati and Paolo Traverso}, publisher = {Springer}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, series = {Lecture Notes in Computer Science}, volume = {3826}, pages = {12--20}, type = {Conference Paper}, month = {November}, year = {2005}, isbn = {3-540-30817-2}, doi = {10.1007/11596141_2}, language = {English}, cr-category = {K.1 The Computer Industry}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {We sketch the vision of a ubiquitous service bus that will be the base for
hosting and accessing services everywhere. The utility model for using IT
artifacts is implied. Applications on top of the service bus will be centered
on business processes and will be adaptive in multiple dimensions. The
ubiquitous service bus will change the way we think about information
technology.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2005-124&engl=1} }
@inproceedings {INPROC-2005-122, author = {Dimka Karastoyanova and Frank Leymann and Alejandro P. Buchmann}, title = {{An Approach to Parameterizing Web Service Flows}}, booktitle = {Proc. 3rd Intl. Conf. on Service Oriented Computing (ICSOC’2005)}, editor = {Boualem Benatallah and Fabio Casati and Paolo Traverso}, address = {Amsterdam, The Netherlands}, publisher = {Springer}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, series = {Lecture Notes in Computer Science}, volume = {3826}, pages = {533--538}, type = {Conference Paper}, month = {November}, year = {2005}, isbn = {3-540-30817-2}, doi = {10.1007/11596141_45}, language = {English}, cr-category = {K.1 The Computer Industry}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {The flexibility and reusability of Web Service flows (WS-flows) are limited
especially by the fact that portType and operation names are hard-coded in the
process definition. In this paper we argue that through parameterization and
substitution WS-flows flexibility can be improved, while reusability is
enhanced. We introduce a meta-model extension to enable run time evaluation of
parameter values and thus discard the need to predict any possible partner
service types during process modeling. The extension enables also run time
changes in portType values. We show how the approach can be mapped to BPEL. We
discuss prototypical implementation for the extended functionality and present
conclusions and ideas for future work.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2005-122&engl=1} }
@inproceedings {INPROC-2005-121, author = {Dimka Karastoyanova and Alejandro Houspanossian and Mariano Cilia and Frank Leymann and Alejandro P. Buchmann}, title = {{Extending BPEL for Run Time Adaptability}}, booktitle = {Ninth IEEE International Enterprise Computing Conference (EDOC 2005)}, publisher = {IEEE Computer Society}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, pages = {15--26}, type = {Conference Paper}, month = {September}, year = {2005}, isbn = {0-7695-2441-9}, doi = {10.1109/EDOC.2005.14}, language = {English}, cr-category = {H.4.1 Office Automation}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {The existing Web service flow (WS-flow) technologies enable both static and
dynamic binding of participating Web services (WSs) on the process model level.
Adaptability on per-instance basis is not sufficiently supported and therefore
must be addressed to improve process flexibility upon changes in the
environment. Ad-hoc process instance changes can be enabled by swapping
participating WS instances, by modifying port types of the partners to be
invoked, and by changing process logic. In this work, we address the problem of
dynamic binding of WSs to WS-flow instances at run time, i.e. the ability to
exchange a WS instance participating in a WS-flow instance with an alternative
one. The problem is additionally complicated by the fact that the execution of
a process depends on its deployment. We describe the ``find and bind'' mechanism,
and we show its representation as a BPEL extension. We discuss the benefits
that could be gained and the disadvantages it brings in. The mechanism extends
and improves the existing process technologies. It facilitates a precisely
controlled policy-based selection of WSs at run time and also provides for
process instance repair, while maintaining simplicity. We also discuss a
prototypical implementation of the presented functionality.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2005-121&engl=1} }
@inproceedings {INPROC-2005-120, author = {Martin Hepp and Frank Leymann and John Domingue and Alexander Wahler and Dieter Fensel}, title = {{Semantic Business Process Management: A Vision Towards Using Semantic Web Services for Business Process Management}}, booktitle = {IEEE International Conference on e-Business Engineering (ICEBE 2005)}, editor = {Francis C. M. Lau and Hui Lei and Xiaofeng Meng and Min Wang}, publisher = {IEEE Computer Society}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, pages = {535--540}, type = {Conference Paper}, month = {October}, year = {2005}, isbn = {0-7695-2430-3}, doi = {10.1109/ICEBE.2005.110}, language = {English}, cr-category = {K.1 The Computer Industry}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Business process management (BPM) is the approach to manage the execution of
IT-supported business operations from a business expert's view rather than from
a technical perspective. However, the degree of mechanization in BPM is still
very limited, creating inertia in the necessary evolution and dynamics of
business processes, and BPM does not provide a truly unified view on the
process space of an organization. We trace back the problem of mechanization of
BPM to an ontological one, i.e. the lack of machine-accessible semantics, and
argue that the modeling constructs of semantic Web services frameworks,
especially WSMO, are a natural fit to creating such a representation. As a
consequence, we propose to combine SWS and BPM and create one consolidated
technology, which we call semantic business process management (SBPM).}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2005-120&engl=1} }
@inproceedings {INPROC-2005-111, author = {Albert Maier and Bernhard Mitschang and Frank Leymann and Wolfson Dan}, title = {{On Combining Business Process Integration and ETL Technologies}}, booktitle = {Datenbanksysteme in Business, Technologie und Web (BTW'05)}, editor = {Gesellschaft f{\"u}r Informatik}, publisher = {K{\"o}llen}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, pages = {533--546}, type = {Conference Paper}, month = {March}, year = {2005}, isbn = {3-88579-394-6}, language = {English}, cr-category = {H.2.8 Database Applications,
H.3.3 Information Search and Retrieval}, ee = {http://btw2005.aifb.uni-karlsruhe.de/}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems;
University of Stuttgart, Institute of Parallel and Distributed Systems, Applications of Parallel and Distributed Systems}, abstract = {On Combining Business Provess Integration and ETL Technologies}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2005-111&engl=1} }
@inproceedings {INPROC-2004-84, author = {Frank Leymann}, title = {{The Influence of Web Services on Software: Potentials and Tasks}}, booktitle = {INFORMATIK 2004 - Informatik verbindet, Band 1, Beitr{\"a}ge der 34. Jahrestagung der Gesellschaft f{\"u}r Informatik e.V. (GI)}, editor = {Peter Dadam and Manfred Reichert}, publisher = {GI}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, series = {LNI}, volume = {50}, pages = {14--25}, type = {Conference Paper}, month = {September}, year = {2004}, isbn = {3-88579-379-2}, language = {English}, cr-category = {K.1 The Computer Industry}, ee = {http://www.informatik2004.de}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Web Service Technologie findet gegenw{\"a}rtig gro{\ss}es Interesse bei Anwendern,
Herstellern und Forschern. Der Vortrag zeigt auf, was die Vision hinter all den
publizierten Standards in diesem Bereich ist, welche Probleme mit der
Technologie gel{\"o}st werden sollen, welcher Einfluss auf die Erstellung und
Nutzung von Software wahrscheinlich ist und welche Art Aufgaben noch zu l{\"o}sen
sind.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2004-84&engl=1} }
@inproceedings {INPROC-2004-83, author = {Frank Leymann}, title = {{Die Kombination von Web Services und Grid - Eine neue Art IT zu verstehen}}, booktitle = {Berliner XML Tage}, editor = {Robert Tolksdorf and Rainer Eckstein}, publisher = {XML-Clearinghouse}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, type = {Conference Paper}, month = {October}, year = {2004}, language = {German}, cr-category = {K.1 The Computer Industry}, ee = {http://www.xml-clearinghouse.de/ws/BXML2004/wirtschaftsforum/,
http://www.xml-clearinghouse.de/ws/BXML2004/folien/leymann.pdf}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Gegenw{\"a}rtig werden auf Web Service Technologie basierende Standards
vorgeschlagen, die wesentliche Aspekte des Grid spezifieren. Andererseits
entstehen innerhalb der Web Service Community neue Standards, die das Grid
unterst{\"u}tzen. In unserem Vortrag zeigen wir auf, wie die Kombination beider
Technologien die Virtualisierung sowohl von Hardware als auch von Software
erm{\"o}glicht. Die resultierende Infrastruktur (``Service Bus'') stellt die Basis
zur Realisierung autonomer R{\"u}ckkopplungen dar. Spezielle solcher R{\"u}ckkopplungen
k{\"o}nnen als Grundlage f{\"u}r das dynamische Zuverf{\"u}gungstellen von Anwendungen und
der von ihnen ben{\"o}tigten Infrastruktur angesehen werden. Die Rolle von
Choreographie in diesem Zusammenhang wird angerissen. Eine m{\"o}gliche zuk{\"u}nftige
Struktur von Anwendungen in solchen ``On Demand''-Umgebungen wird grob skizziert.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2004-83&engl=1} }
@inproceedings {INPROC-2003-63, author = {Frank Leymann}, title = {{Grid and Applications (Industrial Session)}}, booktitle = {Proceedings of the Twenty-Ninth International Conference on Vaery Large Data Bases (VLDB 2003)}, publisher = {Morgan Kaufmann Publishers Inc, US}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, pages = {1033--1033}, type = {Conference Paper}, month = {September}, year = {2003}, isbn = {0127224424}, language = {English}, cr-category = {K.1 The Computer Industry}, ee = {http://www.vldb.org/conf/2003/papers/S32P01.pdf,
http://www.vldb.informatik.hu-berlin.de/}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Grid and Applications (Industrial Session)}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2003-63&engl=1} }
@inproceedings {INPROC-2003-62, author = {Frank Leymann and K. G{\"u}ntzel}, title = {{The Business Grid: Providing Transactional Business Processes via Grid Services}}, booktitle = {First International Conference on Service-Oriented Computing - ICSOC 2003}, editor = {Maria E. Orlowska and Sanjiva Weerawarana and Mike P. Papazoglou and Jian Yang}, publisher = {Springer}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, series = {Lecture Notes in Computer Science}, volume = {2910}, pages = {256--270}, type = {Conference Paper}, month = {December}, year = {2003}, isbn = {3-540-20681-7}, doi = {10.1007/b94513}, language = {English}, cr-category = {K.1 The Computer Industry}, ee = {http://www.unitn.it/convegni/icsoc03.htm}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Web Services provide a suitable technical foundation for making business
processes accessible within and across enterprises. The business logic
encapsulated inside Web Services often resides in already existing
transactional backend-systems. However, the scope of these systems is normally
limited to their domain and is not distributed across heterogeneous
environments.
In this paper, we investigate the impact of the emerging Web Service technology
on transactional backend-systems: Transactional context needs to propagate from
activities or even business processes to services they use. Negotiations
between service requestors and services on context to be propagate can be done
automatically based on policies attached to the corresponding Web Service
descriptions. Corresponding standards and mechanisms form the basis of a new
computing and middleware paradigm: the Business Grid.
Some exemplary research work to be done to actually build the outlined Business
Grid environment is sketched.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2003-62&engl=1} }
@inproceedings {INPROC-2003-61, author = {Frank Leymann}, title = {{Web Services: Distributed Applications Without Limits}}, booktitle = {Datenbanksysteme in B{\"u}ro, Technik und Wissenschaft - BTW2003}, editor = {Gerhard Weikum and Harald Sch{\"o}ning and Erhard Rahm}, publisher = {GI}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, series = {LNI}, volume = {26}, pages = {2--23}, type = {Conference Paper}, month = {February}, year = {2003}, isbn = {3-88579-355-5}, language = {English}, cr-category = {K.1 The Computer Industry}, ee = {http://doesen0.informatik.uni-leipzig.de/proceedings/paper/keynote-leymann.pdf,
http://www.inf.u-szeged.hu/stf/slides/e7.pdf}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Web services technology is all about distributed computing. There is no
fundamentally new basic concept behind this and related technologies. What is
really new is the reach of Web services and its ubiquitous support by literally
all major vendors. Most likely, heterogeneity will at the end no longer be an
obstruc-tion for distributed applications. This will have impact on application
architectures, middleware, as well as the way in which people will think about
computing and businesses use computing resources. We sketch these impacts as
well as some exemplary research work to be done to actually build the outline
environment.
(no. 4 of most cited papers of all of BTW conference proceedings - H. K{\"o}pcke,
E. Rahm: ``Analyse von Zitierh{\"a}ufigkeiten f{\"u}r die Datenbankkonferenz BTW'',
Datenbank-Spektrum 20/2007.)}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2003-61&engl=1} }
@inproceedings {INPROC-2003-60, author = {Dieter K{\"o}nig and Matthias Kloppmann and Frank Leymann and Gerhard Pfau and Dieter Roller}, title = {{Web Services Invocation Framwork: A Step towards Virtualization Components}}, booktitle = {XML-Technologien f{\"u}r Middleware Middleware f{\"u}r XML-Anwendungen - XMIDX 2003}, editor = {Rainer Eckstein and Robert Tolksdorf}, publisher = {GI}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, series = {LNI}, volume = {24}, pages = {33--44}, type = {Conference Paper}, month = {February}, year = {2003}, isbn = {3-88579-353-9}, language = {English}, cr-category = {D.1 Programming Techniques}, ee = {http://www.xml-clearinghouse.de/ws/XMIDX2003/1/}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Web Services Invocation Framework: A Step towards Virtualizing Components}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2003-60&engl=1} }
@inproceedings {INPROC-2003-59, author = {Rania Khalaf and Frank Leymann}, title = {{On Web Services Aggregation}}, booktitle = {Technologies for E-Services - VLDB-TeS'03}, editor = {Boualem Benatallah and Ming-Chien Shan}, address = {Berlin}, publisher = {Springer}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, series = {Lecture Notes in Computer Science}, volume = {2819}, pages = {1--13}, type = {Conference Paper}, month = {September}, year = {2003}, isbn = {3-540-20052-5}, doi = {10.1007/b13474}, issn = {1611-3349}, language = {English}, cr-category = {K.1 The Computer Industry}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {The Web services framework is enabling applications from different providers to
be offered as services that can be used and composed in a loosely-coupled
manner. Subsequently, the aggregation of services to form composite
applications and maximize reuse is key. While choreography has received the
most attention, services often need to be aggregated in a much less constrained
manner. As a number of different mechanisms emerge to create these
aggregations, their relation to each other and to prior work is useful when
deciding how to create an aggregation, as well as in extending the models
themselves and proposing new ones. In this paper, we discuss Web services
aggregation by presenting a first-step classification based on the approaches
taken by the different proposed aggregation techniques. Finally, a number of
models are presented that are created from combinations of the above.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2003-59&engl=1} }
@inproceedings {INPROC-2001-81, author = {Frank Leymann and Dieter Roller}, title = {{Web Services als technische Grundlage f{\"u}r E-Business-Engineering (Web Services as technical foundation for e-business engineering)}}, booktitle = {Informatik 2001: Wirtschaft und Wissenschaft in der Network Economy - Visionen und Wirklichkeit, Tagungsband der GI/OCG-Jahrestagung, Bd. 2}, editor = {Kurt Bauknecht and Wilfried Brauer and Thomas A. M{\"u}ck}, publisher = {GI}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, pages = {678--682}, type = {Conference Paper}, month = {September}, year = {2001}, isbn = {3-85403-157-2}, language = {German}, cr-category = {H.4.1 Office Automation,
K.4.4 Electronic Commerce}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Web Services als technische Grundlage f{\"u}r E-Business-Engineering}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2001-81&engl=1} }
@inproceedings {INPROC-2001-80, author = {Marco K. Maxeiner and Klaus K{\"u}spert and Frank Leymann}, title = {{Data Mining von Workflow-Protokollen zur teilautomatisierten Konstruktion von Proze{\ss}modellen (Mining workflow audit trails)}}, booktitle = {Datenbanksysteme in B{\"u}ro, Technik und Wissenschaft (BTW), 9. GI-Fachtagung}, editor = {Andreas Heuer and Frank Leymann and Denny Priebe}, publisher = {Springer}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, series = {Informatik aktuell}, pages = {75--84}, type = {Conference Paper}, month = {February}, year = {2001}, isbn = {3-540-41707-9}, language = {German}, cr-category = {H.2.8 Database Applications,
H.4.1 Office Automation}, ee = {http://www-is.informatik.uni-oldenburg.de/btw2001/}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Data Mining von Workflow-Protokollen zur teilautomatisierten Konstruktion von
Proze{\ss}modellen}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2001-80&engl=1} }
@inproceedings {INPROC-1998-46, author = {Frank Leymann}, title = {{On the interrelationship of workflow technology and other software technologies}}, booktitle = {Proceedings of the 5th International Conference on the Software Process ICSP5 (ACM SIGSOFT) - Integrating Active Databases, Coordination, Method Engineering, Process, and Workflow technologies}, publisher = {Unbekannt}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, type = {Conference Paper}, month = {June}, year = {1998}, language = {English}, cr-category = {H.4.1 Office Automation,
K.1 The Computer Industry}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {On the interrelationship of workflow technology and other software technologies}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-1998-46&engl=1} }
@inproceedings {INPROC-1998-45, author = {Frank Leymann and Dieter Roller}, title = {{Building A Robust Workflow Management System With Persistent Queues and Stored Procedures}}, booktitle = {Proceedings of the Fourteenth International Conference on Data Engineering (ICDE)}, publisher = {IEEE Computer Society}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, pages = {254--258}, type = {Conference Paper}, month = {February}, year = {1998}, isbn = {0-8186-8289-2}, doi = {10.1109/ICDE.1998.655784}, language = {English}, cr-category = {C.4 Performance of Systems,
K.1 The Computer Industry}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Production workflow management systems must be scalable, highly available and
reliable. We sketch the architecture of such a system that is built entirely on
message-oriented middleware and relational database management technology.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-1998-45&engl=1} }
@inproceedings {INPROC-1998-44, author = {Rakesh Agrawal and Dimitrios Gunopulos and Frank Leymann}, title = {{Mining Process Models from Workflow Logs}}, booktitle = {Advances in Database Technology -- EDBT'98}, editor = {Hans-J{\"o}rg Schek and F{\`e}lix Saltor and Isidro Ramos and Gustavo Alonso}, publisher = {Springer}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, series = {Lecture Notes in Computer Science}, volume = {1377}, pages = {469--483}, type = {Conference Paper}, month = {March}, year = {1998}, isbn = {3-540-64264-1}, doi = {10.1007/BFb0100972}, language = {English}, cr-category = {H.2.8 Database Applications,
H.4.1 Office Automation}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Modern enterprises increasingly use the workflow paradigm to prescribe how
business processes should be performed. Processes are typically modeled as
annotated activity graphs. We present an approach for a system that constructs
process models from logs of past, unstructured executions of the given process.
The graph so produced conforms to the dependencies and past executions present
in the log. By providing models that capture the previous executions of the
process, this technique allows easier introduction of a workflow system and
evaluation and evolution of existing process models. We also present results
from applying the algorithm to synthetic data sets as well as process logs
obtained from an IBM Flowmark installation.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-1998-44&engl=1} }
@inproceedings {INPROC-1995-32, author = {Frank Leymann}, title = {{Supporting Business Transactions Via Partial Backward Recovery In Workflow Management Systems}}, booktitle = {Datenbanksysteme in B{\"u}ro, Technik und Wissenschaft (BTW'95)}, editor = {Georg Lausen}, publisher = {Springer-Verlag}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, series = {Informatik aktuell}, pages = {51--70}, type = {Conference Paper}, month = {March}, year = {1995}, isbn = {3-540-59095-1}, keywords = {Business process management; compensation; recovery; semantic transaction models; workflow management}, language = {English}, cr-category = {F.3.2 Semantics of Programming Languages}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Workflow management systems are used today to realize advanced, distributed
application systems, e.g. to support and control real world business processes
like ofice procedures. With the increase of sophistication of these application
systems a flexible transaction concept is required to be added to the workflow
management system. Business processes exploiting such advanced transaction
features are often referred to as ``business transactions''. We propose to
support business transactions by compensation based partial backward recovery
of the control flow within an instance of a business process. Work units of a
business process which are defined to be potentially subject to such kind of
recovery are introduced as ``spheres of joint compensation''. For the workflow
management system IBM FlowMark we show in detail how its metaodel can be
extended to support spheres of joint compensation.
Most cited paper of all of BTW conference proceedings - H. K{\"o}pcke, E. Rahm:
``Analyse von Zitierh{\"a}ufigkeiten f{\"u}r die Datenbankkonferenz BTW'',
Datenbank-Spektrum 20/2007.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-1995-32&engl=1} }
@inproceedings {INPROC-1994-29, author = {Frank Leymann}, title = {{Ein Transaktionsmodell f{\"u}r Gesch{\"a}ftsprozesse (A transaction model for business processes)}}, booktitle = {Proceedings der Fachtagung EMISA/MobIS '94}, publisher = {Unbekannt}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, pages = {54--55}, type = {Conference Paper}, month = {January}, year = {1994}, language = {German}, cr-category = {H.4.1 Office Automation,
K.1 The Computer Industry}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Ein Transaktionsmodell f{\"u}r Gesch{\"a}ftsprozesse}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-1994-29&engl=1} }
@inproceedings {INPROC-1994-28, author = {Frank Leymann and Dieter Roller}, title = {{Business Process Management With FlowMark}}, booktitle = {COMPCON 1994}, publisher = {IEEE Computer Society}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, pages = {230--234}, type = {Conference Paper}, month = {February}, year = {1994}, doi = {10.1109/CMPCON.1994.282918}, language = {English}, cr-category = {K.1 The Computer Industry}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {From an enterprise point of view the management of business processes is
becoming increasingly important: business processes control which piece of work
will be performed by whom and which resources are exploited for this work, i.e.
a business process describes how an enterprise will achieve its business goals.
We sketch FlowMark, an IBM program product, supporting both the modeling of
business processes and their execution.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-1994-28&engl=1} }
@inproceedings {INPROC-1993-23, author = {Frank Leymann}, title = {{A MOOTOR for accelerating the acceptance of the object paradigm (in German)}}, booktitle = {Tagungsband des 5. Kolloquiums {\"u}ber ``Software-Entwicklung -- Methoden, Werkzeuge und Erfahrungen'' der Technischen Akademie Esslingen}, publisher = {Unbekannt}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, type = {Conference Paper}, month = {September}, year = {1993}, language = {German}, cr-category = {K.1 The Computer Industry}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {A MOOTOR for accelerating the acceptance of the object paradigm}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-1993-23&engl=1} }
@inproceedings {INPROC-1992-04, author = {Gerhard Chroust and Frank Leymann}, title = {{Interpretable process models for software development and administration}}, booktitle = {Proc. 11th European Meeting on Cybernetics and Systems Research (EMCR92)}, publisher = {World Scientific}, institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany}, pages = {271--278}, type = {Conference Paper}, month = {April}, year = {1992}, language = {English}, cr-category = {H.4.1 Office Automation,
K.1 The Computer Industry}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Interpretable process models for software development and administration}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-1992-04&engl=1} }
@article {ART-2008-14, author = {Rania Khalaf and Oliver Kopp and Frank Leymann}, title = {{Maintaining Data Dependencies Across BPEL Process Fragments}}, journal = {International Journal of Cooperative Information Systems (IJCIS)}, publisher = {World Scientific}, volume = {17}, number = {3}, pages = {259--282}, type = {Article in Journal}, month = {September}, year = {2008}, doi = {10.1142/S0218843008001828}, keywords = {fragments; business process; BPEL; data consistency}, language = {English}, cr-category = {C.2.4 Distributed Systems,
H.3.5 Online Information Services,
H.4.1 Office Automation}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Continuous process improvement (CPI) may require a BPEL process to be split
amongst different participants. In this paper, we enable splitting standard
BPEL — without requiring any new middleware for the case of flat flows. The
solution also supports splitting loops and scopes that have compensation and/or
fault handlers. When splitting loops and scopes, we extend existing Web
services standards and frameworks in a standard compliant manner in order to
support the resulting split control (not data) between the fragments. Data
dependencies, however, are handled directly using BPEL constructs placed in the
fragments even for split loops and scopes.
We present a solution that uses a BPEL process, partition information, and
results of data-flow analysis to produce a BPEL process for each participant.
The collective behavior of these participant processes recreates the control
and data flow of the non-split process. Previous work presented process
splitting using a variant of BPEL where data flow is modeled explicitly using
``data links''. We reuse the control flow aspect from that work as well as the
control flow aspect from our work on splitting loops and scopes, focusing in
this paper on maintaining the data dependencies in standard BPEL.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2008-14&engl=1} }
@article {ART-2008-01, author = {Gero Decker and Oliver Kopp and Alistair Barros}, title = {{An Introduction to Service Choreographies}}, journal = {Information Technology}, publisher = {Oldenbourg Verlag}, volume = {50}, number = {2}, pages = {122--127}, type = {Article in Journal}, month = {February}, year = {2008}, issn = {1611-2776}, doi = {10.1524/itit.2008.0473}, keywords = {Choreography modeling; BPEL4Chor; WS-CDL; Let's Dance}, language = {English}, cr-category = {H.4.1 Office Automation,
K.1 The Computer Industry}, ee = {http://www.it-information-technology.de/}, contact = {oliver.kopp@iaas.uni-stuttgart.de}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Service oriented architecture (SOA) is an architectural style for building
software systems based on services. Especially in those scenarios where
services implement business processes, complex conversations between the
services occur. Service choreographies are a means to capture all interaction
obligations and constraints from a global perspective. This article introduces
choreographies as an important artifact for SOA, compares them to service
orchestrations and surveys existing languages for modeling them.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2008-01&engl=1} }
@article {ART-2007-14, author = {David Martin and John Domingue and Michael L. Brodie and Frank Leymann}, title = {{Semantic Web Services, Part 1}}, journal = {IEEE Intelligent Systems}, publisher = {IEEE Computer Society}, volume = {22}, number = {5}, pages = {12--17}, type = {Article in Journal}, month = {September}, year = {2007}, doi = {10.1109/MIS.2007.94}, language = {English}, cr-category = {H.4.1 Office Automation}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Semantic Web services (SWS) has been a vigorous technology research area for
about six years, producing a great deal of innovative work. This two-part
installment of Trends \& Controversies discusses what has been accomplished in
SWS, what value it can ultimately provide, and where we should go from here to
reap these technologies' benefits.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2007-14&engl=1} }
@article {ART-2007-13, author = {Oliver G{\"u}nther and Gerrit Tamm and Frank Leymann}, title = {{Pricing Web Services}}, journal = {International Journal Business Process Integration and Management}, publisher = {Inderscience Publishers}, volume = {2}, number = {2}, pages = {132--140}, type = {Article in Journal}, month = {April}, year = {2007}, issn = {1741-8771}, doi = {10.1504/IJBPIM.2007.015137}, keywords = {web services; pricing; composition; web-based; service-oriented architectures; SOAs}, language = {English}, cr-category = {H.4.1 Office Automation,
K.1 The Computer Industry}, ee = {http://dochost.rz.hu-berlin.de/docviews/abstract.php?lang=ger&id=28408,
http://www.inderscience.com/}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {This paper focuses on the challenges associated with composing and pricing web
services. We present the results of an online experiment, where subjects were
confronted with a variety of choices and decisions relating to web service
markets and service composition. Our analysis shows that people expect the
price of a composite web service to be lower than the sum of the prices of the
elementary services, that is, users are not willing to pay for aggregation by a
third party. To obtain a viable business model for composite web services,
non-standard pricing mechanisms, such as auctions and negotiations, possibly
supported by electronic agents, have to be taken into consideration.
Usage-based pricing schemes, combined with an option to switch to a flat
subscription, seem most appropriate to penetrate the developing market for web
services.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2007-13&engl=1} }
@article {ART-2006-17, author = {Frank Leymann and Dieter Roller}, title = {{Modeling business processes with BPEL4WS}}, journal = {Information Systems and e-Business Management (ISeB)}, publisher = {Springer}, volume = {4}, number = {3}, pages = {265--284}, type = {Article in Journal}, month = {July}, year = {2006}, doi = {10.1007/s10257-005-0025-2}, keywords = {Web services; BPEL; Business Processes}, language = {English}, cr-category = {K.1 The Computer Industry}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Business Process Execution Language for Web Services (BPEL4WS) allows defining
both, business processes that make use of Web services, and business processes
that externalize their functionality as Web services. This short paper
introduces the basic language elements of BPEL4WS using a simple example. The
concepts underlying the language are briefly explained: establishing bilateral
partnerships, correlating messages and processes, defining the order of the
activities of a business process, event handling, handling exceptions via
long-running transactions, and the usage of BPEL4WS in pure B2B scenarios. The
paper finishes off by presenting the resulting application structure and the
resulting economical implications.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2006-17&engl=1} }
@article {ART-2006-16, author = {Rania Khalaf and Alexander Keller and Frank Leymann}, title = {{Business processes for Web Services: Principles and applications}}, journal = {IBM Systems Journal: Celebrating 10 Years of XML}, publisher = {Online}, volume = {45}, number = {2}, pages = {425--446}, type = {Article in Journal}, month = {May}, year = {2006}, doi = {10.1147/sj.452.0425}, language = {English}, cr-category = {K.1 The Computer Industry}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {The Business Process Execution Language for Web Services (BPEL4WS or BPEL for
short) is an XML-based language for defining business processes that provides
an interoperable, portable language for both abstract and executable processes
and that was designed from the beginning to operate in the heterogeneity and
dynamism that is commonplace in information technology today. BPEL builds on
the layers of flexibility provided by the Web Services stack, and especially by
XML. In this paper, we provide a brief introduction to BPEL with emphasis on
architectural drivers and basic concepts. Then we survey ongoing BPEL work in
several application areas: adding quality of service to BPEL, extending BPEL to
activities involving humans, BPEL for grid computing, and BPEL for autonomic
computing.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2006-16&engl=1} }
@article {ART-2005-16, author = {Frank Leymann}, title = {{Choreography for the Grid: towards fitting BPEL to the resource framework}}, journal = {Journal of Concurrency and Computation: Practice and Experience}, publisher = {Wiley}, volume = {18}, number = {10}, pages = {1201--1217}, type = {Article in Journal}, month = {April}, year = {2005}, doi = {10.1002/cpe.996}, keywords = {Web Services; Grid computing; workflow management; service-oriented computing; service composition}, language = {English}, cr-category = {K.1 The Computer Industry}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {The inherent heterogeneity of the Grid demands the ability to specify
choreographies in a portable manner. This ensures that a choreography once
specified can be deployed and executed in every workflow system within a Grid
environment. It is likely that the Business Process Execution Language (BPEL)
will have the corresponding broad support in the industry. In order to become
first class citizens in the Grid, choreographies have to comply with the
resource framework. We therefore suggest steps to make BPEL compliant with the
resource framework. As a result, features of BPEL such as extended transactions
will be available in a Grid environment.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2005-16&engl=1} }
@article {ART-2004-24, author = {Donald Kossmann and Frank Leymann and Dirk Taubner}, title = {{Editorial (Web Services)}}, journal = {Informatik Spektrum}, publisher = {Springer}, volume = {27}, number = {2}, pages = {113--113}, type = {Article in Journal}, month = {April}, year = {2004}, doi = {10.1007/s00287-004-0377-x}, language = {English}, cr-category = {K.1 The Computer Industry}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {A Web service is a software system designed to support interoperable
machine-tomachine interaction over a network. It has an interface described in
a machine-processable format (specifically WSDL). Other systems interact with
the Web service in a manner prescribed by its description using SOAP messages,
typically conveyed using HTTP with an XML serialization in conjunction with
other Web-related standards.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2004-24&engl=1} }
@article {ART-2004-23, author = {Donald Kossmann and Frank Leymann}, title = {{Web Services}}, journal = {Informatik Spektrum}, publisher = {Springer}, volume = {27}, number = {2}, pages = {117--128}, type = {Article in Journal}, month = {April}, year = {2004}, doi = {10.1007/s00287-004-0378-9}, language = {German}, cr-category = {K.1 The Computer Industry}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Web Services gelten als die Technologie, mit der in Zukunft Softwarekomponenten
innerhalb einer Organisation und zwischen Organisationen integriert werden.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2004-23&engl=1} }
@article {ART-2004-22, author = {Matthias Kloppmann and Dieter K{\"o}nig and Frank Leymann and Gerhard Pfau and Dieter Roller}, title = {{Enabling Technology: Ein J2EE-basiertes Business Process Management System zur Ausf{\"u}hrung von BPEL- und Web Service-basierten Gesch{\"a}ftsprozessen}}, journal = {it - Information Technology}, publisher = {Oldenbourg Wissenschaftsverlag}, volume = {46}, number = {4/2004}, pages = {184--192}, type = {Article in Journal}, month = {April}, year = {2004}, issn = {1611-2776}, doi = {10.1524/itit.46.4.184.36080}, language = {German}, cr-category = {K.1 The Computer Industry}, ee = {www.it-information-technology.de/}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Mithilfe von Web Services und BPEL (Business Process Execution Language for Web
Services) k{\"o}nnen Gesch{\"a}ftsprozesse und deren Interaktion mit verschiedenen
Partnern beschrieben werden. Zur Ausf{\"u}hrung der Gesch{\"a}ftsprozesse finden
Workflow Management Systeme Verwendung. Dieser Artikel besch{\"a}ftigt sich,
basierend auf den Grundlagen von Web Services und BPEL, mit der Implementierung
eines Workflow Management Systems. Um den Anforderungen der Gesch{\"a}ftswelt zu
gen{\"u}gen, muss ein Workflow Management System sowohl langlaufende,
unterbrechbare als auch kurzlaufende Gesch{\"a}ftsprozesse mit ihren
unterschiedlichen Quality-of-Service Eigenschaften unterst{\"u}tzen. Die Systeme
m{\"u}ssen robust sein, sicher und hoch verf{\"u}gbar. Der Artikel beschreibt die
Implementierung eines J2EE-basierten Workflow Management System, das diesen
Anforderungen entspricht. Dabei wird auf die Verwendung von Message Queuing
Systemen und Datenbanken eingegangen, ebenso wie auf die Integration in einen
Standard Application Server und die Verwendung dort zur Verf{\"u}gung stehender
Transaction Manager, EJB Container, People Directory und Deployment
Infrastruktur.
Web services and BPEL (Business Process Execution Language for Web services)
allow both, the description of business processes, and the description of the
interaction between these business processes and their partners. Business
processes run within Workflow Managements Systems. Based on the foundation laid
out by Web services and BPEL, this paper describes the implementation of a
Workflow Management System. To satisfy the requirements of today´s business
world, a Workflow Management System has to support long-running, interruptible
business processes as well as short-running business processes, both with a
multitude of different Quality-of-Service (QoS) characteristics. Workflow
Management Systems have to be robust, secure, and highly available. This paper
discusses the implementation of a J2EE-based Workflow Management System that
delivers on these requirements. The discussion involves the use of message
queuing systems and relational databases when implementing the Workflow
Management System, as well as its integration into a standard application
server architecture, and the use of the services provided there like
transaction manager, EJB container, people directory, and deployment
infrastructure.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2004-22&engl=1} }
@article {ART-2003-20, author = {Frank Leymann}, title = {{Choreographie: Gesch{\"a}ftsprozesse mit Web-Services (horeography: Business Processes with Web Services)}}, journal = {ObjektSpektrum}, publisher = {SIGS Datacom}, type = {Article in Journal}, month = {January}, year = {2003}, language = {German}, cr-category = {H.4.1 Office Automation,
K.1 The Computer Industry}, ee = {http://www.sigs-datacom.de/sd/publications/pub_article_show.htm?&AID=1211&Table=sd_article,
http://www.sigs-datacom.de/sd/publications/os/}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Um Gesch{\"a}ftsprozesse in der Welt der Web-Services zu unterst{\"u}tzen, wird die so
genannte Choreographie-Technologie ben{\"o}tigt. Die Standardisierung auf diesem
Gebiet ist weit fortgeschritten. Als Resultat werden Gesch{\"a}ftsprozesse
handelbare Artefakte, die auf unterschiedlichen Plattformen ausgef{\"u}hrt werden
k{\"o}nnen und interoperabel sind.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2003-20&engl=1} }
@article {ART-2003-19, author = {Kai-Uwe Sattler and Frank Leymann}, title = {{Information Integration und Semantic Web}}, journal = {Datenbank-Spektrum: Information Integration und Semantic Web}, publisher = {dpunkt.verlag}, volume = {3}, number = {6}, pages = {5--6}, type = {Article in Journal}, month = {June}, year = {2003}, language = {German}, cr-category = {K.1 The Computer Industry}, ee = {http://www.datenbank-spektrum.de/v2/archiv/beitrag.html?key=dbspektrum/SattlerL03&nummer=6}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Information Integration und Semantic Web}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2003-19&engl=1} }
@article {ART-2003-18, author = {Frank Leymann}, title = {{Web-Services - Kurz erkl{\"a}rt}}, journal = {Datenbank-Spektrum: Information Integration und Semantic Web}, publisher = {dpunkt.verlag}, volume = {3}, number = {6}, pages = {54--55}, type = {Article in Journal}, month = {June}, year = {2003}, language = {German}, cr-category = {K.1 The Computer Industry}, ee = {http://www.datenbank-spektrum.de/,
http://www.datenbank-spektrum.de/v2/archiv/beitrag.html?key=dbspektrum/Leymann03&nummer=6}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Web Services}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2003-18&engl=1} }
@article {ART-2002-12, author = {Frank Leymann and Dieter Roller}, title = {{Using flows in information integration}}, journal = {IBM Systems Journal: Information Integration}, address = {Riverton, NJ, USA}, publisher = {IBM Corp.}, volume = {41}, number = {4}, pages = {732--742}, type = {Article in Journal}, month = {October}, year = {2002}, issn = {0018-8670}, doi = {10.1147/sj.414.0732}, language = {English}, cr-category = {H.4.1 Office Automation,
K.1 The Computer Industry}, ee = {http://www.research.ibm.com/journal/sj/414/leymann.html}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Information integration has two fundamental aspects, data integration and
function integration. Function integration is based on flow technology and
adapter technology, and both of these add powerful capabilities to information
integration. They provide access to a huge variety of data sources, such as
standard applications, home-grown backend systems, and Web services. For
accesses that are not restricted to read operations, flows can help in managing
units of work across these data stores. When a database system is coupled with
a flow engine, all of these capabilities are made available to database
applications.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2002-12&engl=1} }
@article {ART-1997-13, author = {Frank Leymann}, title = {{Transaktionsunterst{\"u}tzung f{\"u}r Workflows}}, journal = {Informatik - Forschung und Entwicklung}, address = {Berlin, Heidelberg}, publisher = {Springer}, volume = {12}, number = {2}, pages = {82--90}, type = {Article in Journal}, month = {May}, year = {1997}, doi = {10.1007/s004500050077}, keywords = {Workflow-Management; Workflows; Transaktionsmodelle}, language = {German}, cr-category = {H.4.1 Office Automation,
K.4.4 Electronic Commerce}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Aus der Verwendung von Workflow-Management-Systemen in der Praxis ergeben sich
drei wesentliche Anforderungen an die Transaktionsunterst{\"u}tzung f{\"u}r Workflows:
Zun{\"a}chst mu{\ss} das WFMS selbst Manipulationen seiner eigenen Ressourcen unter
Transaktionsschutz durchf{\"u}hren. Weiterhin ist die M{\"o}glichkeit des gesicherten
Aufrufs von Transaktionen und deren Gruppierung zu verteilten Transaktionen zu
erm{\"o}glichen. Schlie{\ss}lich ist die Unterst{\"u}tzung von langen Transaktionen zu
gew{\"a}hrleisten, die sich aus der Semantik der abgebildeten Gesch{\"a}ftsprozesse
ergeben.
Based on the exploitation of workflow management systems in practice three
essential requirements for transaction support for workflows result: First, the
WFMS must perform manipulations of its own resources under transaction
protection. Next, the ability of protected invocations of transactions as well
as their grouping into distributed transactions must be provided. Finally,
support of long running transactions resulting from the semantics of the
represented business processes has to be ensured.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-1997-13&engl=1} }
@article {ART-1997-12, author = {Frank Leymann and Dieter Roller}, title = {{Workflow-Based Applications}}, journal = {IBM Systems Journal: Application Development}, publisher = {Online}, volume = {36}, number = {1}, pages = {102--123}, type = {Article in Journal}, month = {January}, year = {1997}, doi = {10.1147/sj.361.0102}, language = {English}, cr-category = {K.1 The Computer Industry}, ee = {http://www.research.ibm.com/journal/sj/361/leymann.html}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {A significant number of companies are re-engineering their business to be more
effective and productive. Consequently, existing applications must be modified,
and new applications must be written. The new applications typically run in a
distributed and heterogeneous environment, performing single tasks in parallel,
and demanding special transaction functionality for the supporting
environments. Workflow-based applications offer this type of capability. In
this paper, their principal advantages are derived and set in context to
transaction, object, and CASE (computer-assisted software engineering)
technology. In particular, a method is proposed to develop these workflow-based
applications in a cohesive and consistent way.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-1997-12&engl=1} }
@article {ART-1996-07, author = {Frank Leymann}, title = {{Workflows Make Objects Really Useful}}, journal = {EMISA Forum}, publisher = {GI}, volume = {6}, number = {1}, pages = {90--99}, type = {Article in Journal}, month = {January}, year = {1996}, language = {English}, cr-category = {K.1 The Computer Industry}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Workflows Make Objects Really Useful
(Reprint of the article appeared in Proc. HPTS'95 6th Intl. Workshop on High
Performance Transaction Systems)}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-1996-07&engl=1} }
@article {ART-1994-06, author = {Frank Leymann}, title = {{Towards the STEP neutral repository}}, journal = {Computer Standards \& Interfaces}, publisher = {Elsevier Science B.V.}, volume = {16}, number = {3}, pages = {299--319}, type = {Article in Journal}, month = {August}, year = {1994}, issn = {0920-5489}, doi = {10.1016/0920-5489(94)90056-6}, keywords = {CIM; Data modeling; Database systems; Enterprise modeling; EXPRESS; Information resources; Integration; IRDS; Meta model; Repository; SDAI; Standards; STEP}, language = {English}, cr-category = {H.2.1 Database Management Logical Design,
D.2.0 Software Engineering General,
K.1 The Computer Industry}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {The goal of the STEP standard effort is to achieve integration of all
applications in the product data area. For this purpose a huge collection of
data models providing schemes for all data which have to be shared amongst
these applications is standardized. Integration is defined to share data both,
across a broad spectrum of applications and across enterprises. It is thus
important to encapsulate database technology, i.e. to become independent of
particular vendors of database systems and database paradigms. The base for
this is a database system called ‘neutral repository’ providing its own
services for manipulating and defining data. We describe the fundamentals of
the neutral repository.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-1994-06&engl=1} }
@article {ART-1994-05, author = {Frank Leymann and Wolfgang Altenhuber}, title = {{Managing Business Processes as an Information Resource}}, journal = {IBM Systems Journal}, publisher = {Online}, volume = {33}, number = {2}, pages = {326--348}, type = {Article in Journal}, month = {January}, year = {1994}, language = {English}, cr-category = {K.1 The Computer Industry}, ee = {http://domino.watson.ibm.com/tchjr/journalindex.nsf/495f80c9d0f539778525681e00724804/5ef5dc1aac5ec8c185256bfa00685cd1?OpenDocument}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {The relevance of business processes as a major asset of an enterprise is more
and more accepted: Business processes prescribe the way in which the resources
of an enterprise are used, i.e., they describe how an enterprise will achieve
its business goals. Organizations typically prescribe how business processes
have to be performed, and they seek information technology that supports these
processes. We describe a system that supports the two fundamental aspects of
business process management, namely the modeling of processes and their
execution. The meta-model of our system deals with models of business processes
as weighted, colored, directed graphs of activities; execution is performed by
navigation through the graphs according to a well-defined set of rules. The
architecture consists of a distributed system with a client/server structure,
and stores its data in an object-oriented database system.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-1994-05&engl=1} }
@article {ART-1993-04, author = {Wolfgang Altenhuber and Frank Leymann}, title = {{Unterst{\"u}tzung der Modellierung und Ausf{\"u}hrung von Gesch{\"a}ftsvorg{\"a}ngen im LAN (Support for modeling and execution of business processes in LAN)}}, journal = {Datenbank Rundbrief}, publisher = {GI}, volume = {12}, pages = {43--44}, type = {Article in Journal}, month = {November}, year = {1993}, language = {German}, cr-category = {C.2.0 Computer-Communication Networks, General}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Support for modeling and execution of business processes in LAN (in German)}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-1993-04&engl=1} }
@article {ART-1992-01, author = {Frank Leymann}, title = {{Objektverwaltung basierend auf Relationalen Datenbanksystemen (Object management based on relational database management systems)}}, journal = {Datenbank Rundbrief}, editor = {GI-Fachgruppe 2.5.1 Datenbanksysteme}, publisher = {GI}, volume = {10}, pages = {43--44}, type = {Article in Journal}, month = {November}, year = {1992}, language = {German}, cr-category = {H.4.2 Information Systems Applications Types of Systems}, ee = {http://www.datenbank-portal.de/,
http://www.datenbank-spektrum.de/}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Objektverwaltung basierend auf relationalen Datenbanksystemen}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-1992-01&engl=1} }
@article {ART-1990-01, author = {Frank Leymann}, title = {{UDH: A Universal Relation System}}, journal = {Data \& Knowledge Engineering}, address = {Amsterdam, The Netherlands}, publisher = {Elsevier Science Publishers B. V.}, volume = {5}, number = {1}, pages = {21--38}, type = {Article in Journal}, month = {March}, year = {1990}, issn = {0169-023X}, doi = {10.1016/0169-023X(90)90031-8}, keywords = {Relational database; Universal relation; Database semantic; Access path; Data model; Query language; Database navigation; Window; Object scheme; Database handler; Design Implementation; Data manipulation}, language = {English}, cr-category = {H.2 Database Management,
H.2.1 Database Management Logical Design,
H.2.3 Database Management Languages}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {The concept of a new universal relation system, called UDH (unified database
handler), is given, allowing enquiries of relational databases without
references to the underlying database scheme. Also, UDH attempts to decouple
data manipulation requests from the database scheme via an additional layer
above the database scheme, called semantic object scheme.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-1990-01&engl=1} }
@article {ART-1989-01, author = {Frank Leymann}, title = {{A Survey of the Universal Relation Model}}, journal = {Data \& Knowledge Engineering}, publisher = {Elsevier}, volume = {4}, number = {4}, pages = {305--320}, type = {Article in Journal}, month = {January}, year = {1989}, language = {English}, cr-category = {H.4.2 Information Systems Applications Types of Systems}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {A Survey of the Universal Relation Model}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-1989-01&engl=1} }
@inbook {INBOOK-2008-01, author = {Frank Leymann and Ralph Mietzner}, title = {{Neue Gesch{\"a}ftsmodelle durch SOA}}, series = {Soa f{\"u}r Agile Unternehmen}, address = {D{\"u}sseldorf}, publisher = {Symposion Publishing}, pages = {71--96}, type = {Article in Book}, month = {April}, year = {2008}, isbn = {978-3-939707-14-1}, language = {German}, cr-category = {H.4.1 Office Automation}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {SOA wird die Unternehmens-IT ver{\"a}ndern, denn eine serviceorientierte
Architektur bietet viele Vorteile wie erh{\"o}hte Wiederverwendbarkeit und mehr
Flexibilit{\"a}t durch Prozessorientierung. Hierdurch werden auch neue
Gesch{\"a}ftsmodelle wie Outsourceing von Diensten oder Software as a Service
entstehen.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INBOOK-2008-01&engl=1} }
@inbook {INBOOK-2007-02, author = {Stijn Heymans and Li Ma and Darko Anicic and Zhilei Ma and Nathalie Steinmetz and Yue Pan and Jing Mei and Achille Fokoue and Aditya Kalyanpur and Aaron Kershenbaum and Edith Schonberg and Kavitha Srinivas and Cristina Feier and Graham Hench and Branimir Wetzstein and Uwe Keller}, title = {{Ontology Reasoning With Large Data Repositories}}, series = {Ontology Management for the Semantic Web, Semantic Web Services, and Business Applications}, address = {Berlin, Heidelberg, New York}, publisher = {Springer-Verlag}, pages = {89--130}, type = {Article in Book}, month = {November}, year = {2007}, isbn = {978-0-387-69899-1}, keywords = {business repository; IRIS; OWL DL; Reasoning with large datasets; Semantic; Business Process Management; WSML DL}, language = {English}, cr-category = {D.2.11 Software Engineering Software Architectures}, ee = {ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INBOOK-2007-02/INBOOK-2007-02.pdf}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Reasoning with large amounts of data together with ontological knowledge is
becoming a pertinent issue. In this chapter, we will give an overviewof
well-known ontology repositories, including native stores and database based
stores, and highlight strengths and limitations of each store. We take Minerva
as an example to analyze ontology storage in databases in depth, as well as to
discuss efficient indexes for scaling up ontology repositories. We then discuss
a scalable reasoning method for handling expressive ontologies, as well as
summarize other similar approaches. We will subsequently delve into the details
of one particular ontology language based on Description Logics called WSML-DL
and show that reasoning with this language can be done by a transformation from
WSML-DL to OWL DL and support all main DL-specific reasoning tasks. Finally, we
illustrate reasoning and its relevance by showing a reasoning example in a
practical business context by presenting the Semantic Business Process
Repository (SBPR) for systemical management of semantic business process
models. As part of this, we analyze the main requirements on a such a
repository. We then compare different approaches for storage mechanisms for
this purpose and show how a RDBMS in combination with the IRIS inference engine
provides a suitable solution that deals well with the expressiveness of the
query language and the required reasoning capabilities even for large amounts
of instance data.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INBOOK-2007-02&engl=1} }
@inbook {INBOOK-2006-11, author = {Frank Leymann}, title = {{Foreword}}, series = {Semantic and Dynamic Web Processes (Semantic Web and Beyond: Computing for Human Experience)}, address = {Berlin}, publisher = {Springer}, type = {Article in Book}, month = {August}, year = {2006}, isbn = {0387302395}, language = {English}, cr-category = {K.1 The Computer Industry}, ee = {http://dme.uma.pt/jcardoso/Books/Semantic-Web-Services-Processes-and-Applications}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Editorial}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INBOOK-2006-11&engl=1} }
@inbook {INBOOK-1996-02, author = {Frank Leymann}, title = {{Transaction concepts for workflow management systems}}, series = {Gesch{\"a}ftsproze{\ss}modellierung und Workflow-Management - Modelle, Methoden, Werkzeuge}, publisher = {International Thomson Publ.}, type = {Article in Book}, month = {January}, year = {1996}, isbn = {3826601246}, language = {English}, cr-category = {K.4.4 Electronic Commerce}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Transaction concepts for workflow management systems.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INBOOK-1996-02&engl=1} }
@book {BOOK-2000-01, author = {Frank Leymann and Dieter Roller}, title = {{Production Workflow - Concepts and Techniques}}, publisher = {PTR Prentice Hall}, pages = {479}, type = {Book}, month = {January}, year = {2000}, language = {English}, cr-category = {H.4.1 Office Automation,
K.1 The Computer Industry}, department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems}, abstract = {Implemented properly, workflow products enable companies to reengineer and
streamline business processes. In Production Workflow: Concepts and Techniques,
two of IBM's leading workflow experts demonstrate structures of production
workflow systems and solutions that deliver maximum availability, reliability,
and scalability. This start-to-finish, vendor-independent guide brings together
best practices from these areas.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=BOOK-2000-01&engl=1} }
|
|