|
|
@inproceedings {INPROC-2009-90, author = {Hanna Eberle and Oliver Kopp and Tobias Unger and Frank Leymann}, title = {{Retry Scopes to Enable Robust Workflow Execution in Pervasive Environments}}, booktitle = {Proceedings of the 2nd Workshop on Monitoring, Adaptation and Beyond (MONA+)}, address = {Stockholm}, publisher = {Springer}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, series = {Lecture Notes in Computer Science}, volume = {6275}, pages = {358--369}, type = {Workshop-Beitrag}, month = {November}, year = {2009}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, ee = {http://www.s-cube-network.eu/MONA2/}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Recent workflow languages are designed to serve the needs of business processes
running in a unambiguous world based on unambiguous data. In contrast to
business processes, processes running in a real world environment have to deal
with data uncertainty and instability of the execution environment. Building a
workflow language for real world flows based on a workflow language for
business processes therefore may need additional modeling elements to be able
to deal with this uncertainty and instability. Based on a real world process
scenario we analyse and derive requirements for workflow language extensions
for real world processes. The contributions provided by this paper are at first
to investigate, how a workflow language can be extended properly followed up by
the definition of workflow language extensions for real world processes,
whereas the extensions are motivated by the real world process scenario. In
this paper we use the Business Process Execution Language (BPEL) as extension
foundation.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-90&engl=0} }
@inproceedings {INPROC-2009-82, author = {Raman Kazhamiakin and Branimir Wetzstein and Dimka Karastoyanova and Marco Pistore and Frank Leymann}, title = {{Adaptation of Service-Based Applications Based on Process Quality Factor Analysis}}, booktitle = {Proceedings of the 2nd Workshop on Monitoring, Adaptation and Beyond (MONA+), co-located with ICSOC/ServiceWave 2009}, publisher = {Online}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, type = {Workshop-Beitrag}, month = {November}, year = {2009}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {When service-based applications implement business processes, it is important
to monitor their performance in terms of Key Performance Indicators (KPIs). If
monitoring results show that the KPIs do not reach target values, the
influential factors have to be analyzed and corresponding adaptation actions
have to be taken. In this paper we present a novel adaptation approach for
service-based applications (SBAs) based on a process quality factor analysis.
This approach uses decision trees for showing the dependencies of KPIs on
process quality factors from different functional levels of an SBA. We extend
the monitoring and analysis approach and show how the analysis results may be
used to come up with an adaptation strategy leading to an SBA that satisfies
KPI values. The approach includes creation of a model which associates
adaptation actions to process quality metrics, extraction of adaptation
requirements based on analysis results, and identification of an adaptation
strategy which can consist of several adaptation actions on different
functional levels of an SBA.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-82&engl=0} }
@inproceedings {INPROC-2009-81, author = {Philipp Leitner and Branimir Wetzstein and Florian Rosenberg and Anton Michlmayr and Schahram Dustdar and Frank Leymann}, title = {{Runtime Prediction of Service Level Agreement Violations for Composite Services}}, booktitle = {Proceedings of the 3rd Workshop on Non-Functional Properties and SLA Management in Service-Oriented Computing, co-located with ICSOC 2009}, publisher = {Springer}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, type = {Workshop-Beitrag}, month = {November}, year = {2009}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {SLAs are contractually binding agreements between service providers and
consumers, mandating concrete numerical target values which the service needs
to achieve. For service providers, it is essential to prevent SLA violations as
much as possible to enhance customer satisfaction and avoid penalty payments.
Therefore, it is desirable for providers to predict possible violations before
they happen, while it is still possible to set counteractive measures. We
propose an approach for predicting SLA violations at runtime, which uses
measured and estimated facts (instance data of the composition or QoS of used
services) as input for a prediction model. The prediction model is based on
machine learning regression techniques, and trained using historical process
instances. We present the architecture of our approach and a prototype
implementation, and validate our ideas based on an illustrative example.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-81&engl=0} }
@inproceedings {INPROC-2009-80, author = {Branimir Wetzstein and Philipp Leitner and Florian Rosenberg and Ivona Brandic and Schahram Dustdar and Frank Leymann}, title = {{Monitoring and Analyzing Influential Factors of Business Process Performance}}, booktitle = {Proceedings of the 13th IEEE Enterprise Distributed Object Conference (EDOC 2009)}, publisher = {IEEE}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, type = {Konferenz-Beitrag}, month = {September}, year = {2009}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, contact = {branimir.wetzstein@iaas.uni-stuttgart.de}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Business activity monitoring enables continuous observation of key performance
indicators (KPIs). However, if things go wrong, a deeper analysis of process
performance becomes necessary. Business analysts want to learn about the
factors that influence the performance of business processes and most often
contribute to the violation of KPI target values, and how they relate to each
other. We provide a framework for performance monitoring and analysis of
WS-BPEL processes, which consolidates process events and Quality of Service
measurements. The framework uses machine learning techniques in order to
construct tree structures, which represent the dependencies of a KPI on process
and QoS metrics. These dependency trees allow business analysts to analyze how
the process KPIs depend on lower-level process metrics and QoS characterisitics
of the IT infrastructure. Deeper knowledge about the structure of dependencies
can be gained by drill-down analysis of single factors of influence.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-80&engl=0} }
@inproceedings {INPROC-2009-76, author = {Tobias Anstett and Dimka Karastoyanova and Frank Leymann and Ralph Mietzner and Ganna Monakova and Daniel Schleicher and Steve Strauch}, title = {{MC-Cube: Mastering Customizable Compliance in the Cloud}}, booktitle = {Proceedings of the 7th International Joint Conference on Service Oriented Computing, Stockholm, Sweden, November 23-27, 2009}, editor = {Springer}, publisher = {Springer Verlag}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, pages = {592--606}, type = {Konferenz-Beitrag}, month = {November}, year = {2009}, keywords = {Cloud Computing; IaaS; PaaS; SaaS; Monitoring; Enforcement}, language = {Englisch}, cr-category = {H.2.7 Database Administration}, contact = {anstett@iaas.uni-stuttgart.de}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Outsourcing parts of a company's processes becomes more and more important in a
globalized, distributed economy. While archi- tectural styles and technologies
such as service-oriented architecture and Web services facilitate the
distribution of business process over several departments, enterprises and
countries, these business processes still need to comply with various
regulations. These regulations can be company regulations, national, or
international regulations. When outsourcing IT-functions, enterprises must
ensure that the overall regulations are met. Therefore they need evidence from
their outsourcing partners that supports the proof of compliance to
regulations. Furthermore it must be possible to enforce the adherence to
compliance rules at partners. In this paper we introduce so-called compliance
interfaces that can be used by customers to subscribe to evidence at a provider
and to enforce regulations at a provider. We introduce a general compliance
architecture that allows compliance to be monitored and enforced at services
deployed in any emerging cloud delivery model.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-76&engl=0} }
@inproceedings {INPROC-2009-75, author = {Ralph Mietzner and Tobias Unger and Frank Leymann}, title = {{Cafe: A Generic Configurable Customizable Composite Cloud Application Framework}}, booktitle = {CoopIS 2009 (OTM 2009)}, editor = {R. Meersman and T. Dillon and P. Herrero}, address = {Berlin, Heidelberg}, publisher = {Springer-Verlag}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, series = {Lecture Notes in Computer Science}, volume = {5870}, pages = {357--364}, type = {Konferenz-Beitrag}, month = {November}, year = {2009}, language = {Englisch}, cr-category = {K.4.4 Electronic Commerce,
H.4.1 Office Automation}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {In this paper we present Cafe (Composite Application Framework) an approach to
describe configurable composite serviceoriented applications and to
automatically provision them across different providers. Cafe enables
independent software vendors to describe their composite service-oriented
applications and the components that are used to assemble them. Components can
be internal to the application or external and can be deployed in any of the
delivery models present in the cloud. The components are annotated with
requirements for the infrastructure they later need to be run on. Providers on
the other hand advertise their infrastructure services by describing them as
infrastructure capabilities. The separation of software vendors and providers
enables end users and providers to follow a best-of-breed strategy by combining
arbitrary applications with arbitrary providers. We show how such applications
can be automatically provisioned and present an architecture and a prototype
that implements the concepts.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-75&engl=0} }
@inproceedings {INPROC-2009-74, author = {Annapaola Marconi and Marco Pistore and Adina Sirbu and Frank Leymann and Hanna Eberle and Tobias Unger}, title = {{Enabling Adaptation of Pervasive Flows: Built-in Contextual Adaptation}}, booktitle = {Service-Oriented Computing, 7th International Joint Conference,ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009}, editor = {Luciano Baresi and Chi-Hung Chi and Jun Suzuki}, publisher = {Springer}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, series = {Lecture Notes in Computer Science}, volume = {5900}, pages = {445--454}, type = {Konferenz-Beitrag}, month = {November}, year = {2009}, isbn = {978-3-642-10382-7}, doi = {10.1007/978-3-642-10383-4_33}, keywords = {Adaption; Adaptation; Business Process Management; Flexibility}, language = {Englisch}, cr-category = {D.2.2 Software Engineering Design Tools and Techniques,
F.4.1 Mathematical Logic}, ee = {http://www.springerlink.com/content/8qn3xq57n3787ru4/}, contact = {unger@iaas.uni-stuttgart.de}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Adaptable pervasive flows are dynamic workflows situated in the real world that
modify their execution in order to adapt to changes in the execution
environment. This requires on the one hand that a flow must be context-aware
and on the other hand that it must be flexible enough to allow an easy and
continuous adaptation. In this paper we propose a set of constructs and
principles for embedding the adaptation logic within the specification of a
flow. Moreover, we show how a standard language for web process modeling (BPEL)
can be extended to support the proposed built-in adaptation constructs.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-74&engl=0} }
@inproceedings {INPROC-2009-73, author = {Hanna Eberle and Tobias Unger and Frank Leymann}, title = {{Process Fragments}}, booktitle = {On the Move to Meaningful Internet Systems: OTM 2009, Part I}, editor = {R. Meersman and T. Dillon and P. Herrero}, publisher = {Springer}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, series = {Lecture Notes in Computer Science}, volume = {5870}, pages = {398--405}, type = {Konferenz-Beitrag}, month = {November}, year = {2009}, doi = {10.1007/978-3-642-05148-7_29}, keywords = {Process Managment; Process Adaption; Process Flexibility}, language = {Englisch}, cr-category = {D.2.2 Software Engineering Design Tools and Techniques,
F.4.1 Mathematical Logic}, contact = {hanna.eberle@iaas.uni-stuttgart.de}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {The concepts presented in this paper are motivated by the assumption that
process knowledge is distributed knowledge and not completely known just by one
person. Driven by this assumption we deal in this paper with the following
questions: How can partial process knowledge be represented? How can this
partial knowledge be used to define something more complete? To use higher
level artefacts as building blocks to new applications has a long tradition in
software engineering to increase flexibility and reduce modeling costs. In this
paper we take a first step in applying this concept to processes, by defining
process building blocks and operations which compose process building blocks.
The building blocks will be referred to as process fragments in the following.
The process fragment composition may take place either at design or runtime of
the process. The design time approach reduces design costs by reusing
artefacts. However the runtime fragment composition approach realizes high
flexibility due to the possibility in the dynamic selection of the fragments to
be composed. The contribution of this work lies in a fragment definition that
enables the fragment modeler to represent his ’local’ and fragmentary knowledge
in a formal way and which allows fragment models to be composed.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-73&engl=0} }
@inproceedings {INPROC-2009-72, author = {Oliver Kopp and Ralph Mietzner and Frank Leymann}, title = {{The Influence of an External Transaction on a BPEL Scope}}, booktitle = {CoopIS 2009 (OTM 2009)}, editor = {R. Meersman and T. Dillon and P. Herrero}, address = {Berlin, Heidelberg}, publisher = {Springer-Verlag}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, series = {Lecture Notes in Computer Science}, volume = {5870}, pages = {381--388}, type = {Konferenz-Beitrag}, month = {November}, year = {2009}, doi = {10.1007/978-3-642-05148-7_27}, language = {Englisch}, cr-category = {K.4.4 Electronic Commerce,
H.4.1 Office Automation}, ee = {http://www.onthemove-conferences.org/index.php/coopis,
http://www.onthemove-conferences.org}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Business processes constitute an integral part of today's IT applications. They
contain transactions as essential building blocks to ensure integrity and
all-or-nothing behavior. The Business Process Execution Language is the
dominant standard for modeling and execution of business processes in a Web
service environment. BPEL itself contains a transaction model based on
compensation, that describes the (local) transactions in a business process.
The WS-Coordination framework deals with (external) transactions between Web
services and is used to define the transaction behavior between a BPEL process
and its partners. In this paper, we investigate how external transactions
between Web services interrelate with local transactions of BPEL.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-72&engl=0} }
@inproceedings {INPROC-2009-70, author = {Daniel Schleicher and Tobias Anstett and Frank Leymann and Ralph Mietzner}, title = {{Maintaining Compliance in Customizable Process Models}}, booktitle = {Proceedings of the 17th International Conference on COOPERATIVE INFORMATION SYSTEMS (CoopIS 2009)}, editor = {Robert Meersman and Tharam Dillon and Pilar Herrero}, address = {Heidelberg}, publisher = {Springer Verlag}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, series = {Lecture Notes in Computer Science}, volume = {5870}, pages = {60--75}, type = {Konferenz-Beitrag}, month = {November}, year = {2009}, isbn = {978-3-642-05147-0}, keywords = {Compliance; Business process modeling}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, contact = {daniel.schleicher\#n.o.s.p.a.m@iaas.uni-stuttgart.de}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Compliance of business processes has gained importance during the last years.
The growing number of internal and external regulations that companies need to
obey has led to this state. This paper presents a practical concept of ensuring
compliance during design time of customizable business processes.
We introduce the concept of a business process template that implicitly
contains compliance constraints as well as points of variability. We further
present an algorithm that ensures that these constraints cannot be violated. We
also show how these algorithms can be used to check whether a customization of
this process template is valid regarding these compliance constraints. So the
designer of a business process, in contrast to the template designer, does not
have to worry about compliance of the eventual process.
In a final step we show how these general concepts can be applied to WS-BPEL.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-70&engl=0} }
@inproceedings {INPROC-2009-67, author = {Oliver Kopp and Matthias Wieland and Frank Leymann}, title = {{External and Internal Events in EPCs: e2EPCs}}, booktitle = {2nd International Workshop on Event-Driven Business Process Management (edBPM09)}, publisher = {Springer Verlag}, institution = {Universit{\"a}t Stuttgart : Sonderforschungsbereich SFB 627 (Nexus: Umgebungsmodelle f{\"u}r mobile kontextbezogene Systeme), Germany}, series = {Lecture Notes in Business Information Processing}, volume = {43}, pages = {381--392}, type = {Workshop-Beitrag}, month = {September}, year = {2009}, doi = {10.1007/978-3-642-12186-9_36}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, ee = {http://icep-edbpm09.fzi.de/}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {The notion of event-driven process chains (EPC) is widely used to model
processes. It is an ongoing discussion of how to reach executable workflows
from EPCs. While the transformation of the general structure and the functions
is well-understood, the transformation of events is an open issue. This paper
discusses different possible event types and their semantics. Furthermore, it
presents a transformation of the introduced event types to workflow constructs
respecting the semantics of each event.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-67&engl=0} }
@inproceedings {INPROC-2009-65, author = {Frank Leymann}, title = {{Cloud Computing: The Next Revolution in IT}}, booktitle = {Proc. 52th Photogrammetric Week}, publisher = {Wichmann Verlag}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, pages = {3--12}, type = {Konferenz-Beitrag}, month = {September}, year = {2009}, isbn = {978-3-87907-483-9}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, ee = {http://www.ifp.uni-stuttgart.de/phowo/index.en.html,
http://www.vde-verlag.de/buecher/537483/photogrammetric-week-09.html,
http://www.ifp.uni-stuttgart.de/publications/phowo09/phowo09.en.htm}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Cloud computing provides a new mode of use and of offer of IT resources. Such
resources can be used “on demand” by anybody who has access to the internet.
The resources are offered in a “utility-like” manner by providers based on
actual-use-based prices. It is expected that cloud computing will change the
way how organizations will use IT and think about IT: ultimately, cloud
computing may relieve organizations from owning their own IT environment. In
this article we show that cloud computing can be seen as the next step in an
evolution from isolated computers over clusters and beyond grids. We suggest a
definition of clouds by abstracting their most important characteristics. The
current set of cloud offerings is organized in a layered structure, and we
propose an additional layer on top of that allowing to build applications in a
composite manner (“composite as a service”). The distributed architecture of
such composite cloud applications is derived by considering the structure of
the individual services being composed. Finally, we argue that predefined
points-of-variability are of utmost importance for cloud applications to be
able to easily adapt them to the different requirements of the huge number of
cloud customers.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-65&engl=0} }
@inproceedings {INPROC-2009-64, author = {Matthias Wieland and Uwe-Philipp K{\"a}ppeler and Paul Levi and Frank Leymann and Daniela Nicklas}, title = {{Towards Integration of Uncertain Sensor Data into Context-aware Workflows}}, booktitle = {Tagungsband INFORMATIK 2009 – Im Focus das Leben, 39. Jahrestagung der Gesellschaft f{\"u}r Informatik e.V. (GI)}, editor = {GI-Edition Lecture Notes in Informatics (LNI)}, address = {L{\"u}beck}, publisher = {Lecture Notes in Informatics (LNI)}, institution = {Universit{\"a}t Stuttgart : Sonderforschungsbereich SFB 627 (Nexus: Umgebungsmodelle f{\"u}r mobile kontextbezogene Systeme), Germany}, type = {Workshop-Beitrag}, month = {September}, year = {2009}, language = {Englisch}, cr-category = {H.4 Information Systems Applications}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Bildverstehen;
Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {The integration and usage of uncertain sensor data in workflows is a difficult
problem. In this paper we describe these difficulties which result from the
combination of very distinct areas. On the one hand, applications from area of
measurement engineering manage sensors that capture data and annotate the data
with technical meta data. On the other hand, context-aware workflows from the
BPM area place high level requirements for the quality of context data that is
derived from the sensor data. Between those two areas exists a gap that has to
be closed by a context management and mediation system, supporting the handling
of Quality of Context (QoC). To achieve this the paper presents an QoC aware
architecture based on an extension of the existing Nexus Platform and a first
approach for matching the workflow requirements with the sensor annotations.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-64&engl=0} }
@inproceedings {INPROC-2009-63, author = {Matthias Wieland and Carsten L{\"a}ngerer and Frank Leymann and Oliver Siemoneit and Christoph Hubig}, title = {{Methods for Conserving Privacy in Workflow Controlled Smart Environments - A Technical and Philosophical Enquiry into Human-Oriented System Design of Ubiquitous Work Environments}}, booktitle = {Proceedings of the The Third International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, UBICOMM 2009}, address = {Sliema, Malta}, publisher = {IEEE}, institution = {Universit{\"a}t Stuttgart : Sonderforschungsbereich SFB 627 (Nexus: Umgebungsmodelle f{\"u}r mobile kontextbezogene Systeme), Germany}, pages = {16--21}, type = {Konferenz-Beitrag}, month = {Oktober}, year = {2009}, keywords = {context-aware workflow systems; human tasks; privacy; ethics; humane system design}, language = {Englisch}, cr-category = {J Computer Applications,
K Computing Milieu,
H.4 Information Systems Applications}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen;
Universit{\"a}t Stuttgart, Institut f{\"u}r Philosophie, Abteilung f{\"u}r Wissenschaftstheorie und Technikphilosophie (IP/WTTP)}, abstract = {In the last years context-aware workflow systems have gained more and more
importance. However, in research little emphasis has been put on workplace
privacy and humane system design. It is the aim of this paper to give an
overview on the effects of combining workflow systems and context-aware systems
and to discuss its implications for workplace privacy and human-oriented
design. Different methods are to be depicted that help to overcome certain
ethical problems thus allowing for the development of acceptable, justified and
justifiable technical solutions which are likely to be also adopted by its
latter users. Finally a ``best practice'' prototype is to be presented which
implements the introduced methods.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-63&engl=0} }
@inproceedings {INPROC-2009-54, author = {Dimka Karastoyanova and Frank Leymann}, title = {{BPEL’n’Aspects: Adapting Service Orchestration Logic}}, booktitle = {Proceedings of 7th International Conference on Web Services (ICWS 2009)}, address = {Los Angeles, CA, USA}, publisher = {IEEE}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, type = {Konferenz-Beitrag}, month = {Juli}, year = {2009}, doi = {10.1109/ICWS.2009.75}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, contact = {dimka.karastoyanova@iaas.uni-stuttgart.de}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {The need for flexibility in process-based applications, in particular during
their execution, places the demand for enabling adaptability of processes. AOP
is considered to be one of the approaches to flexibly switch on and off
functionality on per-instance basis in applications during their execution;
analogously, this paradigm can be applied in a BPEL environment to enable
adaptation of running orchestrations. In the presented approach we strive
towards reuse of as much concepts and technology already available in a Web
service (WS) environment as possible. We combine standard BPEL, the
publish/subscribe paradigm and WS-Policy so that WS operations play the role of
aspects with respect to BPEL processes. We present the syntax for such aspects
as an extension of the WS-Policy framework. We introduce the architecture of
the supporting infrastructure and a prototypical implementation. The approach
draws on the combined benefits of service orientation and the AOP paradigm to
improve the state-of-the-art techniques for flexibility of service
orchestrations in a non-intrusive manner.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-54&engl=0} }
@inproceedings {INPROC-2009-53, author = {Nazario Cipriani and Matthias Wieland and Matthias Grossmann and Daniela Nicklas}, title = {{Tool Support for the Design and Management of Spatial Context Models}}, booktitle = {Proc. of the 13th East European Conference on Advances in Databases and Information Systems (ADBIS 2009)}, address = {Riga, Lativa}, publisher = {Springer}, institution = {Universit{\"a}t Stuttgart : Sonderforschungsbereich SFB 627 (Nexus: Umgebungsmodelle f{\"u}r mobile kontextbezogene Systeme), Germany}, type = {Konferenz-Beitrag}, month = {September}, year = {2009}, language = {Englisch}, cr-category = {H.2.4 Database Management Systems}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware;
Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {A central task in the development of context-aware applications is the modeling
and management of complex context information. In this paper, we present the
NexusEditor, which eases this task by providing a graphical user interface to
design schemas for spatial context models, interactively create queries, send
them to a server and visualize the results. One main contribution is to show
how schema awareness can improve such a tool: the NexusEditor dynamically
parses the underlying data model and provides additional syntactic checks,
semantic checks, and short-cuts based on the schema information. Furthermore,
the tool helps to design new schema definitions based on the existing ones,
which is crucial for an iterative and user-centric development of context-aware
applications. Finally, it provides interfaces to existing information spaces
and visualization tools for spatial data like GoogleEarth.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-53&engl=0} }
@inproceedings {INPROC-2009-52, author = {Matthias Wieland and Katharina G{\"o}rlach and David Schumm and Frank Leymann}, title = {{Towards Reference Passing in Web Service and Workflow-based Applications}}, booktitle = {Proceedings of the 13th IEEE Enterprise Distributed Object Conference (EDOC 2009)}, address = {Auckland, New Zealand}, publisher = {IEEE}, institution = {Universit{\"a}t Stuttgart : Sonderforschungsbereich SFB 627 (Nexus: Umgebungsmodelle f{\"u}r mobile kontextbezogene Systeme), Germany}, pages = {109--118}, type = {Konferenz-Beitrag}, month = {September}, year = {2009}, language = {Englisch}, cr-category = {D.2.11 Software Engineering Software Architectures,
H.4.1 Office Automation}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {In a Service-Oriented Architecture (SOA) based on Web Service technology the
services typically communicate with each other by passing data values directly
from one service to another. In the case the services are orchestrated by
workflows the services receive their input values from the workflow engine and
return their calculated results back to the engine by value. In this paper we
show several use cases where such value passing behavior has drawbacks. To
address this challenge we introduce the concept of pointers in SOA. Pointers
allow services to pass their data by reference which is a fundamental advantage
for Web Service communication. Furthermore we show an extension of BPEL that
introduces reference variables as new type of data containers in workflows. In
addition, for the management of pointers we present the Reference Resolution
System which can be used in very flexible setups either as central or
distributed system.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-52&engl=0} }
@inproceedings {INPROC-2009-50, author = {Ralph Mietzner and Tobias Unger and Robert Titze and Frank Leymann}, title = {{Combining Different Multi-Tenancy Patterns in Service-Oriented Applications}}, booktitle = {Proceedings of the 13th IEEE Enterprise Distributed Object Conference (EDOC 2009)}, editor = {IEEE Computer Society}, publisher = {IEEE}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, pages = {131--140}, type = {Konferenz-Beitrag}, month = {Oktober}, year = {2009}, isbn = {978-0-7695-3785-6}, doi = {10.1109/EDOC.2009.13}, keywords = {multi-tenancy; SaaS; services; SOA; composite applications}, language = {Englisch}, cr-category = {D.2.11 Software Engineering Software Architectures,
H.4.1 Office Automation}, ee = {ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INPROC-2009-50/INPROC-2009-50.pdf,
http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5277698}, contact = {ralph.mietzner@iaas.uni-stuttgart.de}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Software as a service (SaaS) providers exploit economies of scale by offering
the same instance of an application to multiple customers typically in a
single-instance multitenant architecture model. Therefore the applications must
be scalable, multi-tenant aware and configurable. In this paper we show how the
services in a service-oriented SaaS application can be deployed using different
multi-tenancy patterns. We describe how the chosen patterns influence the
customizability, multi-tenant awareness and scalability of the application.
Using the patterns we describe how individual services in a multitenant aware
application can be not multi-tenant aware while maintaining the overall
multi-tenant awareness of the application. We show based on a real-world
example how the patterns can be used in practice and show how existing
applications already use these patterns.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-50&engl=0} }
@inproceedings {INPROC-2009-49, author = {Marc Bischof and Oliver Kopp and Tammo van Lessen and Frank Leymann}, title = {{BPELscript: A Simplified Script Syntax for WS-BPEL 2.0}}, booktitle = {2009 35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2009)}, publisher = {IEEE Computer Society Press}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, pages = {39--46}, type = {Konferenz-Beitrag}, month = {August}, year = {2009}, doi = {10.1109/SEAA.2009.21}, keywords = {service orchestration; service scripting; BPEL; BPM lifecycle}, language = {Englisch}, cr-category = {D.1.1 (Applicative Functional) Programming,
D.3.4 Programming Languages Processors,
H.4.1 Office Automation,
K.1 The Computer Industry}, ee = {http://seaa2009.vtt.fi/}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Business processes are usually modeled using graphical notations such as BPMN.
As a first step towards execution as workflow, a business process is
transformed to an abstract WS-BPEL process. Technical details required for
execution are added by an IT expert. While IT experts expect Java-like syntax
for programs, WS-BPEL requires processes to be expressed in XML. This paper
introduces BPELscript as a new syntax for WS-BPEL aiming to reduce the barrier
for IT experts to use WS-BPEL by providing a JavaScript-inspired syntax.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-49&engl=0} }
@inproceedings {INPROC-2009-48, author = {Hanna Eberle and Stefan F{\"o}ll and Klaus Herrmann and Frank Leymann and Annapaola Marconi and Tobias Unger and Hannes Wolf}, title = {{Enforcement from the Inside: Improving Quality of Business in Process Management}}, booktitle = {2009 IEEE International Conference on Web Services (ICWS 2009)}, address = {Los Alamitos, CA, USA}, publisher = {IEEE Computer Society}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, pages = {405--412}, type = {Konferenz-Beitrag}, month = {Juli}, year = {2009}, doi = {10.1109/ICWS.2009.82}, isbn = {978-0-7695-3709-2}, keywords = {Business Process Management; BPM; BPEL; Enforcement}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, ee = {ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INPROC-2009-48/INPROC-2009-48.pdf,
http://ieeexplore.ieee.org/search/wrapper.jsp?arnumber=5175850,
http://www2.computer.org/portal/web/csdl/doi/10.1109/ICWS.2009.82}, contact = {unger@iaas.uni-stuttgart.de}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen;
Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Verteilte Systeme}, abstract = {In this paper we introduce a new modeling tool for constraint handling in the
area of workflow technology. The constraint handlers can be used to improve the
quality of business processes but without changing already existing business
logic. Todays workflow languages provide no possibility to model constraints
and the actions in case the constraints get violated explicitly. Fault and
event handling mechanisms to react to events not expected in normal executions
are only provided by the BPEL language. Using BPEL as workflow language we
integrate the constraint handling extension without changing any existing
semantics in a smart way. In our approach we use this fault and event handling
mechanisms to extend the BPEL language with a constraint handling mechanism. By
integrating this constraint handling tool into the BPEL language we provide an
approach for quality driven process modeling with the BPEL language.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-48&engl=0} }
@inproceedings {INPROC-2009-41, author = {Tobias Anstett and Frank Leymann and Ralph Mietzner and Steve Strauch}, title = {{Towards BPEL in the Cloud: Exploiting Different Delivery Models for the Execution of Business Processes}}, booktitle = {Proceedings of the International Workshop on Cloud Services (IWCS 2009) in conjunction with the 7th IEEE International Conference on Web Services (ICWS 2009), Los Angeles, CA, USA, July 10, 2009}, publisher = {IEEE}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, pages = {670--677}, type = {Workshop-Beitrag}, month = {Juli}, year = {2009}, keywords = {BPEL; Cloud Computing; SaaS; PaaS; IaaS; Security; Trust}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {More and more companies are outsourcing parts of their business processes to
third party providers to exploit the expertise and economies of scale of these
third party providers. In the IT field, emerging delivery models for software
such as Software as a Service and cloud computing offer the possibility to
outsource applications and computing infrastructure and thus enable enterprises
to focus on their core competences. In this paper we investigate how the new
delivery models affect the outsourcing of business processes modeled in
WS-BPEL. WS-BPEL is the standard to model and execute business processes in Web
service-based IT landscapes. We describe how security and trust issues affect
the execution of BPEL processes in the cloud and show the requirements on the
middleware supporting the execution of BPEL processes.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-41&engl=0} }
@inproceedings {INPROC-2009-40, author = {Ralph Mietzner and Tammo van Lessen and Alexander Wiese and Matthias Wieland and Dimka Karastoyanova and Frank Leymann}, title = {{Virtualizing Services and Resources with ProBus: The WS-Policy-Aware Service and Resource Bus}}, booktitle = {Proceedings of the 7th International Conference on Web Services (ICWS) 2009}, publisher = {IEEE Computer Society}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, type = {Konferenz-Beitrag}, month = {Juli}, year = {2009}, keywords = {WS-Policy; WSRF; Enterprise Service Bus; ESB; Service Selection}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {A fundamental principle of service oriented architectures is the decoupling of
service requesters and service providers to enable late binding of services at
deployment time or even dynamic binding of services at runtime. This is
important in enterprise settings, where different services that implement
business functions in critical business processes are dynamically chosen based
on availability or price. The same problem also applies to dynamic Grid
environments where resources need to be dynamically chosen based on
availability and other non-functional properties. The WS-Policy framework
describes how policies for both providers and requesters are specified to allow
the selection of services based on these policies. Existing approaches, using
WS-Policy, have drawbacks by placing the burden of the service selection
partially on the client. In this paper we present an approach to extend an
enterprise service bus that allows service clients to submit policies the
service provider needs to comply with directly in the message that triggers the
service invocation. We show how these policies are evaluated in the bus and how
policies are defined for not only stateless services, but also stateful
resources.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-40&engl=0} }
@inproceedings {INPROC-2009-34, author = {Ganna Monakova and Oliver Kopp and Frank Leymann}, title = {{Improving Control Flow Verification in a Business Process using an Extended Petri Net}}, booktitle = {Proceedings of the 1st Central-European Workshop on Services and their Composition (ZEUS 2009)}, editor = {Oliver Kopp and Niels Lohmann}, address = {Stuttgart}, publisher = {CEUR-WS.org}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, pages = {95--101}, type = {Workshop-Beitrag}, month = {M{\"a}rz}, year = {2009}, keywords = {petri net extension; data dependency}, language = {Englisch}, cr-category = {I.6 Simulation and Modeling,
H.4.1 Office Automation}, ee = {ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INPROC-2009-34/INPROC-2009-34.pdf,
http://www.iaas.uni-stuttgart.de/zeus,
http://ceur-ws.org/Vol-438/}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {In a business process, control flow decisions are based on the evaluation of
conditions. Thus, conditions must be considered for control flow veri cation.
This paper shows how the Petri nets based control fl ow veri cation can be
improved by analysing conditions and logical relations between them. We outline
a Petri net extension with predicate transitions, which are responsible for
conditions evaluation based on the collected knowledge, and effect places,
which contain fact tokens representing the effects of certain operations and
decisions made.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-34&engl=0} }
@inproceedings {INPROC-2009-33, author = {Ganna Monakova and Oliver Kopp and Frank Leymann and Simon Moser and Klaus Sch{\"a}fers}, title = {{Verifying Business Rules Using an SMT Solver for BPEL Processes}}, booktitle = {Proceedings of the Business Process and Services Computing Conference: BPSC'09}, publisher = {Gesellschaft f{\"u}r Informatik e.V. (GI)}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, series = {Lecture Notes in Informatics}, type = {Konferenz-Beitrag}, month = {M{\"a}rz}, year = {2009}, isbn = {978-3-88579-241-3}, keywords = {constraint verification}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, ee = {https://sabreconference.wifa.uni-leipzig.de/frontend/index.php?page_id=450,
http://subs.emis.de/LNI/Proceedings/Proceedings147/article2475.html}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {WS-BPEL is the standard for modelling executable business processes. Recently,
verification of BPEL processes has been an important topic in the research
community. While most of the existing approaches for BPEL process verification
merely consider control-flow based analysis, some actually consider data-flows,
but only in a very restrictive manner. In this paper, we present a novel
approach that combines control-flow analysis and data-flow analysis, producing
a logical representation of a process model. This logical representation
captures the relations between process variables and execution paths that allow
properties to be verified using Satisfiability Modulo Theory (SMT) solvers
under constraints represented by the modelled assertions.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-33&engl=0} }
@inproceedings {INPROC-2009-31, author = {Oliver Kopp and Frank Leymann}, title = {{Do We Need Internal Behavior in Choreography Models?}}, booktitle = {Proceedings of the 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2--3, 2009}, editor = {Oliver Kopp and Niels Lohmann}, address = {Stuttgart}, publisher = {CEUR-WS.org}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, series = {CEUR Workshop Proceedings}, volume = {438}, pages = {68--73}, type = {Workshop-Beitrag}, month = {M{\"a}rz}, year = {2009}, issn = {1613-0073}, keywords = {Choreography; WS-CDL; BPEL4Chor}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, ee = {ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INPROC-2009-31/INPROC-2009-31.pdf,
http://www.iaas.uni-stuttgart.de/zeus,
http://ceur-ws.org/Vol-438/}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Choreographies capture the message exchanges between multiple processes.
Certain choreography languages ignore the internal behavior completely, other
languages offer the possibility to model internal behavior. This paper presents
an example modeled in both types of languages and discusses the need to
integrate internal behavior in choreographies.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-31&engl=0} }
@inproceedings {INPROC-2009-30, author = {Florian Daniel and Fabio Casati and Vincenzo D'Andrea and Steve Strauch and David Schumm and Frank Leymann and Emmanuel Mulo and Uwe Zdun and Schahram Dustdar and Samir Sebahi and Fabien de Marchi and Mohand-Said Hacid}, title = {{Business Compliance Governance in Service-Oriented Architectures}}, booktitle = {Proceedings of the IEEE Twenty-Third International Conference on Advanced Information Networking and Applications (AINA'09), Bradford, United Kingdom, May 26-29, 2009}, editor = {Irfan Awan and Muhammad Younas and Takahiro Hara and Arjan Durresi}, address = {Los Alamitos, California}, publisher = {IEEE Press}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, pages = {113--120}, type = {Konferenz-Beitrag}, month = {Mai}, year = {2009}, isbn = {978-1-4244-4000-9}, keywords = {Compliance, Process Fragments, SOA, Compliance governance, Business process management, View-based modeling}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Governing business compliance with regulations, laws, best practices,
contracts, and the like is not an easy task, and so far there are only limited
software products available that help a company to express compliance rules and
to analyze its compliance state. We argue that today’s SOA-based way of
implementing and conducting business (e.g., using Web services and business
process engines) lends itself very well to the development of a comprehensive
compliance government solution that effectively aids companies in being
compliant. In this paper, we contextualize the compliance problem in SOA-based
businesses, we highlight which are the most salient research challenges that
need to be addressed, and we describe our approach to compliance governance,
spanning design, execution, and evaluation concerns.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-30&engl=0} }
@inproceedings {INPROC-2009-28, author = {Oliver Kopp and Matthias Wieland and Frank Leymann}, title = {{Towards Choreography Transactions}}, booktitle = {Proceedings of the 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2--3, 2009}, editor = {Oliver Kopp and Niels Lohmann}, address = {Stuttgart}, publisher = {CEUR-WS.org}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, series = {CEUR Workshop Proceedings}, volume = {438}, pages = {49--54}, type = {Workshop-Beitrag}, month = {M{\"a}rz}, year = {2009}, issn = {1613-0073}, keywords = {WS-BPEL; BPEL; BPEL4Chor; Transactions; Choreography; 2PC; Sphere}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, ee = {ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INPROC-2009-28/INPROC-2009-28.pdf,
http://www.iaas.uni-stuttgart.de/zeus,
http://ceur-ws.org/Vol-438/}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {The focus of choreography modeling is to capture the message exchange between
processes. Common choreography modeling languages do not provide capabilities
to group activities of different participants together into an all-or-nothing
group. This paper presents choreography spheres as a modeling technique for
cross-process transactions based on BPEL4Chor and sketches a mapping to BPEL.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-28&engl=0} }
@inproceedings {INPROC-2009-27, author = {David Schumm and Dimka Karastoyanova and Frank Leymann and J{\"o}rg Nitzsche}, title = {{On Visualizing and Modelling BPEL with BPMN}}, booktitle = {IEEE Proceedings of the 4th International Workshop on Workflow Management (IWWM2009)}, editor = {Henning M{\"u}ller and Jinjun Chen and Massimo Cafaro and Jong Hyuk Park and Nabil Abdennadher}, address = {Los Alamitos, California}, publisher = {IEEE Computer Society}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, pages = {80--87}, type = {Workshop-Beitrag}, month = {Mai}, year = {2009}, isbn = {978-0-7695-3677-4}, keywords = {BPEL; BPMN; Modelling; Visualizing}, language = {Englisch}, cr-category = {D.2.2 Software Engineering Design Tools and Techniques,
H.4.1 Office Automation}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {The advantages of the process-based approach to implementing applications lead
to the development of notations for modelling business processes and languages
for enacting them in a process engine for the purpose of process automation.
Currently the Business Process Modeling Notation (BPMN) is typically used for
modelling business processes and the Business Process Execution Language (BPEL)
is used as the process execution format. Both languages differ in purpose,
expressivity and operational semantics. Recently it has been shown that there
is no complete bi-directional mapping between BPMN and BPEL and transformations
have been defined between the two formalisms. However, these transformations
lead to more complex models in both, BPEL and BPMN, and enable a roundtrip for
only a limited number of scenarios. In this paper we show how BPEL processes
can be modelled using the graphical aspect of BPMN in order to facilitate
modelling of executable processes using BPMN while avoiding model
transformations.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-27&engl=0} }
@inproceedings {INPROC-2009-26, author = {Daniel Wutke and Daniel Martin and Frank Leymann}, title = {{A Method for Partitioning BPEL Processes for Decentralized Execution}}, booktitle = {Proceedings of the 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2--3, 2009.}, editor = {Oliver Kopp and Niels Lohmann}, address = {Stuttgart}, publisher = {CEUR-WS.org}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, series = {CEUR Workshop Proceedings}, volume = {438}, pages = {109--114}, type = {Workshop-Beitrag}, month = {M{\"a}rz}, year = {2009}, issn = {1613-0073}, keywords = {BPEL; EWFN; Process partitioning; decentralized process enactment}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, ee = {http://CEUR-WS.org/Vol-438/}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Service orchestrations are a common means to compose individual services to
either higher-level services or potentially complex composite applications. The
Web Service Business Process Execution Language (WS-BPEL) is an example for a
language that allows for de - ning automatically executable orchestrations of
Web services. As of today, BPEL process are typically executed in a centralized
manner; the process model is deployed on a single work ow management system
which, during process instance execution, interprets the process de nition and
interacts with the orchestrated Web services on behalf of the user. In previous
work, we have presented an approach which enables decentralized execution of
BPEL processes based on a decentralized process model and supporting runtime
infrastructure. In this paper we describe a method for automatic splitting of a
process among the partners participating in its execution, referred to as
process partitioning.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-26&engl=0} }
@inproceedings {INPROC-2009-25, author = {Tammo van Lessen and J{\"o}rg Nitzsche and Dimka Karastoyanova}, title = {{Facilitating Rich Data Manipulation in BPEL using E4X}}, booktitle = {Proceedings of the 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2--3, 2009}, editor = {Oliver Kopp and Niels Lohmann}, address = {Stuttgart}, publisher = {CEUR-WS.org}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, series = {CEUR Workshop Proceedings}, volume = {438}, pages = {102--108}, type = {Workshop-Beitrag}, month = {M{\"a}rz}, year = {2009}, issn = {1613-0073}, keywords = {WS-BPEL; BPEL; JavaScript; E4X; ECMAScript; XML}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, ee = {ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INPROC-2009-25/INPROC-2009-25.pdf}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {The Business Process Execution Language (BPEL) uses XML to specify the data
used within a process and realizes data flow via (globally) shared variables.
Additionally, assign activities can be used to copy (parts of) variables to
other variables using techniques like XPath or XSLT. Although BPEL’s built-in
functionality is sufficient for simple data manipulation tasks, it becomes very
cumbersome when dealing with more sophisticated data models, such as arrays.
ECMAScript for XML (E4X) extends JavaScript with support for XML-based data
manipulation by introducing new XPath-like language features. In this paper we
show how E4X can help to significantly ease data manipulation tasks and propose
a BPEL extension that allows employing JavaScript/E4X for implementing them. As
E4X allows defining custom functions in terms of scripts, reusability with
respect to data manipulation is improved. To verify the conceptual framework we
present a proof-of-concept implementation based on Apache ODE.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-25&engl=0} }
@inproceedings {INPROC-2009-23, author = {Branimir Wetzstein and Steve Strauch and Frank Leymann}, title = {{Measuring Performance Metrics of WS-BPEL Service Compositions}}, booktitle = {Proceedings of the Fifth International Conference on Networking and Services (ICNS 2009), Valencia, Spain, April 20-25, 2009}, publisher = {IEEE Computer Society}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, type = {Konferenz-Beitrag}, month = {April}, year = {2009}, keywords = {KPI, Performance Measurement, Process Performace Metric, WS-BPEL, Service Composition}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {In this paper we present an approach to the development of monitoring solutions
for processes implemented as WSBPEL service compositions. The approach allows
modeling of process performance metrics in a platform-independent manner and
then generating an event-based monitor model for a specific WS-BPEL process
engine. We create a metamodel which enables modeling of different types of
process performance metrics. In particular, our approach supports modeling of
metrics related to correlated processes. In the deployment phase, we generate a
monitor model based on a proprietary event metamodel of a process engine. In
addition, we determine which events are needed for the calculation of PPMs, and
generate corresponding deployment information for the process engine.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-23&engl=0} }
@inproceedings {INPROC-2009-22, author = {Zhilei Ma and Wei Lu and Frank Leymann}, title = {{Query Structural Information of BPEL Processes}}, booktitle = {Proceedings of the Fourth International Conference on Internet and Web Applications and Services (ICIW 2009), Venice/Mestre, Italy, May 24-28, 2009}, publisher = {IEEE Computer Society}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, pages = {1--6}, type = {Konferenz-Beitrag}, month = {Mai}, year = {2009}, keywords = {BPEL; query; repository; inexact matchmaking; graph theory}, language = {Englisch}, cr-category = {G.2.2 Discrete Mathematics Graph Theory,
G.4 Mathematical Software,
H.2.4 Database Management Systems,
H.4.1 Office Automation}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Reuse of proven process models can increase modeling efficient by avoiding
reinvent the wheel and ensure the quality of process models. To provide a
better support for reuse, the retrieve mechanism of a process repository should
be able to propose similar process models that ranked according to their
similarity degrees to users for reuse by modification or customization. As a
process model and a query model can both be viewed as rooted, directed, and
acyclic graphs, the problem of querying structural information of BPEL
processes has reduced to a graph matchmaking problem. In this paper we present
a novel and efficient graph-based algorithm for querying structural information
of BPEL processes based on an inexact matchmaking semantics. Our algorithm
performs in the worst case in polynomial time in the orders of the query graph
and the process graph.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-22&engl=0} }
@inproceedings {INPROC-2009-21, author = {Zhilei Ma and Frank Leymann}, title = {{BPEL Fragments for Modularized Reuse in Modeling BPEL Processes}}, booktitle = {The Fifth International Conference on Networking and Services (ICNS 2009), Valencia, Spain, April 20-25, 2009}, publisher = {IEEE Computer Society}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, pages = {63--68}, type = {Konferenz-Beitrag}, month = {April}, year = {2009}, doi = {10.1109/ICNS.2009.76}, keywords = {BPEL; BPEL fragment; process fragment; reuse; business process modeling}, language = {Englisch}, cr-category = {H.1 Models and Principles}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {BPEL has been established as the standard for modeling business processes by
orchestratingWeb services. When modeling a BPEL process, users end up in
basically three approaches: from scratch, by using a process template or a
reference process, and by ad hoc modifying a existing process model to meet the
current requirements. There is strong demand on a flexible and modularized
approach for reusing BPEL process models. As neither the BPEL standard nor the
current BPEL extensions support such a feature for reuse, we present in this
paper a formal definition for BPEL fragments. In this paper we first study the
related work on process fragments and distinguish BPEL fragments from existing
reuse approaches in service-oriented process modeling. Based on the requirement
analysis we present a definition of BPEL fragments in XML schema. By adopting
our definition of BPEL fragments, the flexibility of modularized reuse of BPEL
process models can be significantly increased.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-21&engl=0} }
@inproceedings {INPROC-2009-20, author = {Ralph Mietzner and Andreas Metzger and Frank Leymann and Klaus Pohl}, title = {{Variability Modeling to Support Customization and Deployment of Multi-Tenant-Aware Software as a Service Applications}}, booktitle = {Proceedings of ICSE 2009 Workshop - Principles of Engineering Service Oriented Systems (PESOS)}, publisher = {IEEE}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, pages = {18--25}, type = {Workshop-Beitrag}, month = {Mai}, year = {2009}, keywords = {Software as a Service, SaaS, Variability Modelling, Provisioning, Deployment}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, contact = {mietzner@iaas.uni-stuttgart.de}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {More and more companies are offering their software by following the Software
as a Service (SaaS) model. The promise of the SaaS model is to exploit
economies of scale on the provider side by hosting multiple customers (or
tenants) on the same hardware and software infrastructure. However, to attract
a significant number of tenants, SaaS applications have to be customizable to
fulfill the varying functional and quality requirements of individual tenants.
In this paper, we describe how variability modeling techniques from software
product line engineering can support SaaS providers in managing the variability
of SaaS applications and their requirements. Specifically, we propose using
explicit variability models to systematically derive customization and
deployment information for individual SaaS tenants. We also demonstrate how
variability models could be used to systematically consider information about
already deployed SaaS applications for efficiently deploying SaaS applications
for new tenants. We illustrate our approach by a running example for a meeting
planning application.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-20&engl=0} }
@inproceedings {INPROC-2009-19, author = {Olha Danylevych and Dimka Karastoyanova and Frank Leymann}, title = {{Optimal Stratification of Transactions}}, booktitle = {ICIW 2009}, publisher = {IEEE Computer Society}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, type = {Konferenz-Beitrag}, month = {Mai}, year = {2009}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, ee = {www.iaria.org/conferences2009/ICIW09.html}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {The performance of a system (implementing business processes) is directly
influenced by the way its operations are split into transactions. Stratified
transactions a produced by the stratification approach presented in this paper
and is a way to manage a global transaction by combining the transactions
coordinated using the tho-phase commit protocol (2PC) and queued transactions.
In the presented stratification approach the sub-transactions are partitioned
into the so-called strata which employ 2PC for transaction coordination, and
the strata communicate via persistent queues. This paper investigates the
mechanisms for building an optimally stratified transaction regarding certain
evaluation criteria. We investigate the applicability of algorithms for local
search like the hillclimbing and simulated annealing for transaction
stratification, and introduce a hybrid method combining both approaches to
tackle its disadvantage. We also used the population-based optimization
approach (evolutionary programming). We produce recommendations for use of all
the approaches depending on the optimization criteria. The approach can be
applied for fragmenting workflow-based service compositions in an optimal
manner and thus support the out-sourcing and insourcing scenarios.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-19&engl=0} }
@inproceedings {INPROC-2009-18, author = {Branimir Wetzstein and Olha Danylevych and Frank Leymann and Marina Bitsaki and Christos Nikolaou and Willem-Jan van den Heuvel and Mike Papazoglou}, title = {{Towards Monitoring of Key Performance Indicators Across Partners in Service Networks}}, booktitle = {ServiceWave, MONA+}, publisher = {Springer Berlin Heidelberg}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, type = {Workshop-Beitrag}, month = {Februar}, year = {2009}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, ee = {http://www.s-cube-network.eu/MONA}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {In an ever increasing dynamic environment, companies are forced to cooperate in
order to meet customer needs efectively. They set up Service Networks (SN)
trying to create a win-win situation for all participants of the network. The
calculation of value in an SN is based on key performance indicators (KPIs)
which measure the performance of underlying cross-organizational business
processes. As for the calculation of KPIs of these processes monitoring
information from several paricipants is needed, in an SN it is no more
suficient for the participants to monitor just KPIs of their internal
processes, e.g., by using Business Activity Monitoring technology. The
participants now have to provide a set of monitoring events to the other
partners in the SN. In this paper, we describe an approach to monitoring of
KPIs across partners in a service network. An SN is mapped to a service
choreography and a monitoring agreement is created which specifes how KPIs are
decomposed to events that participants in the choreography have to provide. We
present our approach based on a case study from the telecommunications domain.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-18&engl=0} }
@inproceedings {INPROC-2009-15, author = {Marina Bitsaki and Olha Danylevych and Willem-Jan van den Heuvel and George D. Koutras and Frank Leymann and Michele Mancioppi and Christos N. Nikolaou and Mike P. Papazoglou}, title = {{Model Transformations to Leverage Service Networks}}, booktitle = {ICSOC workshop proceedings, WESOA 2008}, publisher = {Springer}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, type = {Workshop-Beitrag}, month = {M{\"a}rz}, year = {2009}, keywords = {service networks, SOC, BPMN, business process managemen}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {The Internet has catered for the transformation of traditional “stovepiped”
service companies into global service networks fostering co-production of value
to more effectively and efficiently satisfy the ever-growing demands of mundane
customers. The catalyst of this change is the happenstance of Service Oriented
Computing, providing a natural distributed computing technology paradigm for
implementing and evolving such highly distributed networks of autonomous
trading partners with coordinate and cooperative actions. However, how to
faithfully (re-)map service networks, including value flows and inter-party
interactions, to business processes and service realizations and vice-versa is
still partly terra incognita. In this paper, we introduce a semi-automatic
model transformation approach for creating the abstract business processes that
take place between trading partners from models representing the service
networks, assuming extremely limited human-involvement focused on selecting
reusable transformation patterns. This approach is explored and validated using
a realistic case study reflecting best practices in the telecommunications
industry.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-15&engl=0} }
@inproceedings {INPROC-2009-140, author = {Rania Khalaf and Dieter Roller and Frank Leymann}, title = {{Revisiting the Behavior of Fault and Compensation Handlers in WS-BPEL}}, booktitle = {OTM '09: Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems}, publisher = {Springer-Verlag}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, pages = {286--303}, type = {Konferenz-Beitrag}, month = {November}, year = {2009}, doi = {10.1007/978-3-642-05148-7_20}, isbn = {978-3-642-05147-0}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {When automating work, it is often desirable to compensate completed work by
undoing the work done by one or more activities. In the context of workflow,
where compensation actions are defined on nested 'scopes' that group
activities, this requires a model of nested compensation---based transactions.
The model must enable the automatic determination of compensation order by
considering not only the nesting of scopes but also the control dependencies
between them. The current standard for Web services workflows, Business Process
Execution Language for Web Services (WS-BPEL), has such compensation
capabilities. In this paper, we show that the current mechanism in WS-BPEL
shows compensation processing anomalies, such as neglecting control link
dependencies between nested non-isolated scopes. We then propose an alternate
approach that through elimination of default handlers as well as the complete
elimination of termination handlers not only removes those anomalies but also
relaxes current WS-BPEL restrictions on control links. The result is a new and
deterministic model for handling default compensation for scopes in structures
where: (1) both fault handling and compensation handling are present and (2)
the relationships between scopes include both structured nesting and
graph---based links.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-140&engl=0} }
@inproceedings {INPROC-2009-14, author = {Andreas Gehlert and Julia Hielscher and Olha Danylevych and Dimka Karastoyanova}, title = {{Online Testing, Requirements Engineering and Service Faults as Drivers for Adapting Service Compositions}}, booktitle = {ServiceWave 2008, MONA+}, publisher = {Springer Berlin Heidelberg}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, type = {Workshop-Beitrag}, month = {Februar}, year = {2009}, keywords = {Service Composition, Adaptability, Requirements Engineering, Online Testing, Self-optimization, Web Services}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, ee = {http://www.s-cube-network.eu/MONA}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Adaptability is a key feature of service-based applications (SBAs). Multiple
approaches for adaptability, including those borrowed from the tradi-tional
workflow technology, can be used to react to various types of changes in the
SBA’s environment. Unlike previous fragmented research, we aim at pre-senting a
unified view reflecting the convergence of approaches from require-ments
engineering, online testing and adaptation mechanisms for service
com-positions. The main result of our approach is that a dynamic binding
strategy known from service composition research leads to an interaction of the
re-quirements engineering and online testing activities with an enterprise
service registry only and, therefore, to a loose coupling between the three
activities.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-14&engl=0} }
@inproceedings {INPROC-2009-10, author = {Stephan Urbanski and Eduard Huber and Matthias Wieland and Frank Leymann and Daniela Nicklas}, title = {{PerFlows for the Computers of the 21st Century}}, booktitle = {Proceedings of the Seventh Annual IEEE Conference on Pervasive Computing and Communications : PerCom'09 Workshops, in 5th IEEE PerCom Workshop on Context Modeling and Reasoning; Galveston, 17.-21. March 2009}, publisher = {IEEE Computer Society}, institution = {Universit{\"a}t Stuttgart : Sonderforschungsbereich SFB 627 (Nexus: Umgebungsmodelle f{\"u}r mobile kontextbezogene Systeme), Germany}, pages = {1--6}, type = {Workshop-Beitrag}, month = {M{\"a}rz}, year = {2009}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {In 1995, Mark Weiser introduced a scenario about the future life, where
everyday objects are equipped with smart functions and the environment helps us
to fulfill our everyday tasks. This paper shows how Weiser’s scenario can be
realized by today’s available technologies. We combine PerFlows (to model the
flow of daily tasks) and the Nexus context provisioning platform (to model and
provide necessary context information to applications and devices).
Furthermore, we present SmartGPS, which is able to provide fused location
information even if the device is disconnected.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-10&engl=0} }
@inproceedings {INPROC-2009-09, author = {Matthias Wieland and Daniel Martin and Oliver Kopp and Frank Leymann}, title = {{SOEDA: A Methodology for Specification and Implementation of Applications on a Service-Oriented Event-Driven Architecture}}, booktitle = {Proceedings of the 12th International Conference on Business Information Systems (BIS 2009). Poznan, Poland April 27-29, 2009.}, editor = {Witold Abramowicz}, address = {Poznan, Poland}, publisher = {Springer Verlag}, institution = {Universit{\"a}t Stuttgart : Sonderforschungsbereich SFB 627 (Nexus: Umgebungsmodelle f{\"u}r mobile kontextbezogene Systeme), Germany}, series = {Lecture Notes in Business Information Processing}, volume = {21}, pages = {193--204}, type = {Konferenz-Beitrag}, month = {April}, year = {2009}, doi = {10.1007/978-3-642-01190-0_17}, keywords = {epk; epc; transformation; bpel; soa; eda; event driven architecture; cep; complex event processing}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Both Event-Driven Architecture (EDA) and Service-Oriented Architecture (SOA)
are unique architectural styles widely used in today's industries. Mostly
however, they exist as isolated systems that could greatly benefit from each
other when being combined. This paper introduces SOEDA, an approach that
unifies EDA and SOA by introducing a step-based development method taking
advantage of the unique properties of each architecture. Individual steps reach
from abstract process specification over event and process implementation to
the the final execution phase -- described in a abstract manner and by means of
an example. Resulting applications are based on state-of-the-art workflow
technology using events to trigger execution of individual business activities.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-09&engl=0} }
@inproceedings {INPROC-2009-07, author = {Ralph Lange and Nazario Cipriani and Lars Geiger and Matthias Gro{\ss}mann and Harald Weinschrott and Andreas Brodt and Matthias Wieland and Stamatia Rizou and Kurt Rothermel}, title = {{Making the World Wide Space Happen: New Challenges for the Nexus Context Platform}}, booktitle = {Proceedings of the 7th Annual IEEE International Conference on Pervasive Computing and Communications (PerCom '09). Galveston, TX, USA. March 2009}, publisher = {IEEE Computer Society}, institution = {Universit{\"a}t Stuttgart : Sonderforschungsbereich SFB 627 (Nexus: Umgebungsmodelle f{\"u}r mobile kontextbezogene Systeme), Germany}, pages = {1--4}, type = {Konferenz-Beitrag}, month = {M{\"a}rz}, year = {2009}, keywords = {Nexus; context; mobile context-aware applications; context-awareness; context management; World Wide Space; stream-processing; situation recognition; reasoning; workflows; quality of context}, language = {Englisch}, cr-category = {H.2.8 Database Applications,
H.3.4 Information Storage and Retrieval Systems and Software,
H.3.5 Online Information Services}, ee = {ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INPROC-2009-07/INPROC-2009-07.pdf,
http://www.nexus.uni-stuttgart.de/,
http://dx.doi.org/10.1109/PERCOM.2009.4912782}, contact = {ralph.lange@ipvs.uni-stuttgart.de}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Verteilte Systeme;
Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen;
Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware}, abstract = {Context-aware applications rely on models of the physical world. Within the
Nexus project, we envision a World Wide Space which provides the conceptual and
technological framework for integrating and sharing such context models in an
open, global platform of context providers. In our ongoing research we tackle
important challenges in such a platform including distributed processing of
streamed context data, situation recognition by distributed reasoning,
efficient management of context data histories, and quality of context
information. In this paper we discuss our approach to cope with these
challenges and present an extended Nexus architecture.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-07&engl=0} }
@inproceedings {INPROC-2009-05, author = {Daniel Wutke and Daniel Martin and Frank Leymann}, title = {{Tuplespace-based Infrastructure for Decentralized Enactment of BPEL Processes}}, booktitle = {Proceedings of 9. Internationale Tagung Wirtschaftsinformatik: Business Services, Konzepte, Technologien, Anwendungen (WI 2009), Vienna, Austria, February 25 - 27, 2009}, address = {Vienna, Austria}, publisher = {OCG}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, pages = {1--10}, type = {Konferenz-Beitrag}, month = {Februar}, year = {2009}, keywords = {tuplespace; bpel; decentralized workflow enactment; ewfn; architecture}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Business processes -- expressed in the Web Service Business Process Execution
Language (WS-BPEL or BPEL for short) -- are a manifestation of the
two-level-programming paradigm where individual, remote-accessible Web services
are composed to potentially complex orchestrations. BPEL processes are executed
by so-called Workflow Management Systems that navigate through the process'
activities according to the order imposed by the process model and interact
with the services orchestrated by the process. While Web service technology
enables interactions with remote services, process navigation is done in a
centralized manner. Especially in scenarios of complex interactions between
multiple distributed process participants, this way of enacting process models
has several drawbacks. In the paper, we outline those drawbacks and propose an
alternative approach to execution of BPEL processes in a distributed,
decentralized manner. We present an overview of the system model and
architecture and describe how the proposed approach enables a broad spectrum of
process distribution.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-05&engl=0} }
@inproceedings {INPROC-2009-02, author = {Thorsten Scheibler and Dimka Karastoyanova and Frank Leymann}, title = {{Dynamic Message Routing Using Processes}}, booktitle = {Proceedings of 16th Fachtagung Kommunikation in Verteilten Systemen (KiVS 09)}, publisher = {Springer}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, type = {Konferenz-Beitrag}, month = {M{\"a}rz}, year = {2009}, keywords = {SOAP, Routing, BPEL, ESB, SOA}, language = {Englisch}, cr-category = {D.2.2 Software Engineering Design Tools and Techniques,
D.2.11 Software Engineering Software Architectures,
D.2.13 Software Engineering Reusable Software}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {The Enterprise Service Bus (ESB) is composable middleware that provides
applications with services such as message routing and transformation, service
compositions, dynamic discovery, transactional support, coordination, security
features, and others. In an ESB supporting SOAP message exchange routing
algorithms typically follow the sequential SOAP message processing model, where
SOAP headers are the main artefacts used to specify the message route and the
processing of the payload by intermediaries along that route. This model
supports neither alternative nor parallel message routes. In the case of a
failing intermediary node this leads to a failure in the message delivery.
Moreover, the execution order of services on SOAP message payloads at the
intermediaries cannot be prescribed. In this paper, we demonstrate how the
deficiencies of the SOAP message processing model can be addressed. We
introduce an approach that allows for specifying SOAP message routing logic in
terms of BPEL processes. We show that parallel and alternative routes for SOAP
messages can be modelled and executed, and the order of services that process a
message at intermediaries can be predefined to accommodate the correct
processing sequence, as required by the concrete application domain. Features
like dynamic discovery of services and flexible service composition are
leveraged to enable flexible SOAP message routing.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-02&engl=0} }
@inproceedings {INPROC-2009-01, author = {Thorsten Scheibler and Frank Leymann}, title = {{From Modelling to Execution of Enterprise Integration Scenarios: the GENIUS tool}}, booktitle = {Proceedings of 16th Fachtagung Kommunikation in Verteilten Systemen (KiVS 09)}, publisher = {Springer}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, type = {Konferenz-Beitrag}, month = {M{\"a}rz}, year = {2009}, keywords = {EAI Patterns, Integration Patterns, MDD, Parameterization, Modelling}, language = {Englisch}, cr-category = {D.2.2 Software Engineering Design Tools and Techniques,
D.2.11 Software Engineering Software Architectures,
D.2.13 Software Engineering Reusable Software}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {One of the predominant problems IT companies are facing today is Enterprise
Application Integration (EAI). Most of the infrastructures built to tackle
integration issues are proprietary because no standards exist for how to model,
develop, and actually execute integration scenarios. EAI patterns gain
importance for non-technical business users to ease and harmonize the
development of EAI scenarios. These patterns describe recurring EAI challenges
and propose possible solutions in an abstract way. Therefore, one can use those
patterns to describe enterprise architectures in a technology neutral manner.
However, patterns are documentation only used by developers and systems
architects to decide how to manually implement an integration scenario. Thus,
patterns are not theoretical thought to stand for artefacts that will
immediately be executed. This paper presents a tool supporting a method how EAI
patterns can be used to automatically generate executable artefacts for various
target platforms using a model-driven development approach, hence turning
patterns into something executable. Therefore, we introduce a continuous tool
chain beginning at the design phase and ending in executing an integration
solution in a fully automatically manner. For evaluation purposes we introduce
a scenario demonstrating how the tool is utilized for modelling and actually
executing an integration scenario.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-01&engl=0} }
@article {ART-2009-29, author = {Simon Moser and Tammo van Lessen and Daniel L{\"u}bke}, title = {{Open-Source-BPEL-Orchester}}, journal = {JavaMagazin 01/2010}, publisher = {Software \& Support Verlag}, pages = {62--68}, type = {Artikel in Zeitschrift}, month = {Dezember}, year = {2009}, keywords = {BPEL; Eclipse BPEL Designer; Apache ODE; BPELUnit}, language = {Deutsch}, cr-category = {H.4.1 Office Automation}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {WS-BPEL ist ein Standard zur Beschreibung von ausf{\"u}hrbaren Gesch{\"a}ftsprozessen.
W{\"a}hrend zeitgleich zum Erscheinen des Standards schon erste kommerzielle
Software f{\"u}r WS-BPEL verf{\"u}gbar war, ist es erst seit kurzem m{\"o}glich, den
kompletten Lebenszyklus eines BPEL-Gesch{\"a}ftsprozesses (von der Modellierung
{\"u}ber die Ausf{\"u}hrung bis hin zum Test) mittels Open Source Software abzubilden.
In dieser dreiteiligenArtikelserie werden wir zeigen, wie man diese Aufgabe mit
Hilfe der drei Softwarepakete Eclipse BPEL Designer, Apache ODE und BPELUnit
bewerkstelligen kann.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2009-29&engl=0} }
@article {ART-2009-13, author = {Tammo van Lessen and J{\"o}rg Nitzsche and Frank Leymann}, title = {{Conversational Web Services: Leveraging BPEL light for Expressing WSDL 2.0 Message Exchange Patterns}}, journal = {Enterprise Information Systems}, publisher = {Taylor \& Francis}, volume = {3}, number = {3}, pages = {347--367}, type = {Artikel in Zeitschrift}, month = {August}, year = {2009}, doi = {10.1080/17517570903046300}, keywords = {BPEL; BPEL light; WSDL 2.0; Message Exchange Patterns; Conversational Web Services}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Message exchange patterns provide means to define the message flow of a service
and how these messages are related in an abstract and reusable manner. They are
an integral part of WSDL 2.0 and allow defining operations that have a message
exchange beyond request-response. They reduce the impedance mismatch between
imperative programming and message orientation while emphasizing the message
orientated nature of Web Services. Whereas BPEL defines a flow between Web
Service operations, BPEL light is an appropriate candidate to define the flow
within operations since it abstracts from WSDL. In this article we use BPEL
light to capture complex message exchanges. We show how its partner model can
be used to not only define bi-lateral message exchanges but also those
conversations that involve different partner types and/or multiple instances of
such partners. Therefore we introduce first-class mechanisms to store, query
and thus distinguish addressing information related to multiple partner
instances. In addition, we increase reusability by allowing recursive
definitions of such models. Thus, we enable modelling message exchange patterns
that capture business logic in a reusable manner on an abstract level like for
instance a request for bid scenario or a business transaction for purchase.
Finally, we show how such patterns can be generically mapped to transport
protocols.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2009-13&engl=0} }
@article {ART-2009-12, author = {Tobias Unger and Ralph Mietzner and Frank Leymann}, title = {{Customer-defined Service Level Agreements for Composite Applications}}, journal = {Enterprise Information Systems - Towards Model-driven Service-oriented Enterprise Computing – 12th International IEEE EDOC Enterprise Computing Conference (EDOC 2008)}, publisher = {Taylor \& Francis}, volume = {3}, number = {3}, pages = {369--391}, type = {Artikel in Zeitschrift}, month = {August}, year = {2009}, doi = {10.1080/17517570903033431}, isbn = {ISSN 1751-7583}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, ee = {http://www.informaworld.com/smpp/content~db=all?content=10.1080/17517570903033431}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {One key factor for successfully outsourcing of applications to a provider is to
guarantee a certain level of service. Hence, service provider and service
consumer agree on Service Level Agreements (SLA) that definne the behavior and
quality of the non-functional properties. Unlike many existing approaches,
which only allow the customer to choose between a small set of predefined
service levels, our approach helps to cope with the situation that customers
want to model their own service level according to their individual business
needs. As a first step, we introduce an application model which enables the
outsourcing of applications. In addition, we present corresponding models for
describing QoS requirements and SLAs. To assure the requested QoS, the provider
has to determine the QoS requirements of each application component. In this
work, we determine the QoS requirement of a component by disaggregating the QoS
requirements stated in the SLA. After the disaggregation the provider deploys
each component of the application in an optimal way based on its QoS
requirements, determined during the disaggregation.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2009-12&engl=0} }
@article {ART-2009-11, author = {Thorsten Scheibler and Ralph Mietzner and Frank Leymann}, title = {{EMod: Platform Independent Modelling, Description and Enactment of Parameterizable EAI Patterns}}, journal = {Enterprise Information Systems: Challenges and Solutions in Enterprise Computing}, publisher = {Taylor \& Francis Inc.}, volume = {3}, number = {3}, pages = {299--317}, type = {Artikel in Zeitschrift}, month = {Juli}, year = {2009}, isbn = {1751-7575}, language = {Englisch}, cr-category = {D.2.11 Software Engineering Software Architectures,
D.3 Programming Languages,
H.4.1 Office Automation}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {As enterprises merge, split up, or grow, existing legacy systems from different
vendors implemented in different programming languages and running in different
environments as well as roll-your-own applications have to be integrated. This
fact is denoted as Enterprise Application Integration (EAI) problem and is one
of the major challenges IT departments are facing today.
As a result of the need for operational flexibility and reuse, Service-oriented
Architectures (SOA) gain more and more importance as they allow for a flexible
and standardized way to describe, reuse and integrate services in heterogeneous
application landscapes. Enterprise Application Integration Patterns (EAI
Patterns) are a means to describe integration problems using a set of patterns.
The patterns therefore present nuggets of advice on how to solve complex
recurring integration problems.
In this paper we introduce a platform independent approach (EMod) to model,
describe and enact EAI patterns in service oriented architectures. We describe
how EMod can be used to build standalone EAI solutions that integrate different
applications in a Software as a Service (SaaS) environment. Furthermore we show
how EMod can be used as a part of an application to integrate services into
composite service-oriented applications. This is done by integrating EMod into
the Service Component Architecture (SCA).}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2009-11&engl=0} }
@article {ART-2009-10, author = {Oliver Kopp and Daniel Martin and Daniel Wutke and Frank Leymann}, title = {{The Difference Between Graph-Based and Block-Structured Business Process Modelling Languages}}, journal = {Enterprise Modelling and Information Systems}, editor = {Ulrich Frank}, address = {Duisburg}, publisher = {Gesellschaft f{\"u}r Informatik e.V. (GI)}, volume = {4}, number = {1}, pages = {3--13}, type = {Artikel in Zeitschrift}, month = {Juni}, year = {2009}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, ee = {http://www.wi-inf.uni-duisburg-essen.de/MobisPortal/,
http://www.wi-inf.uni-duisburg-essen.de/MobisPortal/index.php?lang=de&&groupId=1&&contentType=JournalMembers&issue=6&showAbstract=34}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {The most prominent business process notations in use today are BPMN, EPC and
BPEL. While all those languages show similarities on the conceptual level and
share similar constructs, the semantics of these constructs and even the
intended use of the language itself are often quite different. As a result,
users are uncertain when to use which language or construct in a particular
language, especially when they have used another business process notation
before. In this paper, we discuss the core characteristics of graph-based and
block-structured modelling languages and compare them with respect to their
join and loop semantics.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2009-10&engl=0} }
@article {ART-2009-07, author = {Gero Decker and Oliver Kopp and Frank Leymann and Mathias Weske}, title = {{Interacting services: from specification to execution}}, journal = {Data \& Knowledge Engineering}, publisher = {Elsevier Science Publishers}, volume = {68}, number = {10}, pages = {946--972}, type = {Artikel in Zeitschrift}, month = {April}, year = {2009}, issn = {0169-023X}, doi = {10.1016/j.datak.2009.04.003}, keywords = {Service interaction modeling}, language = {Englisch}, cr-category = {H.4.1 Office Automation,
K.1 The Computer Industry}, ee = {http://dx.doi.org/10.1016/j.datak.2009.04.003}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Interacting services play a key role to realize business process integration
among different business partners by means of electronic message exchange. In
order to provide seamless integration of these services, the messages exchanged
as well as their dependencies must be well-defined. Service choreographies are
a means to describe the allowed conversations. This article presents a
requirements framework for service choreography languages, along which existing
choreography languages are assessed. The requirements framework provides the
basis for introducing the language BPEL4Chor, which extends the industry
standard WS-BPEL with choreography-specific concepts. A validation is provided
and integration with executable service orchestrations is discussed.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2009-07&engl=0} }
@article {ART-2009-05, author = {Daniel Martin and Daniel Wutke and Frank Leymann}, title = {{Tuplespace Middleware for Petri Net-Based Workflow Execution}}, journal = {International Journal on Web and Grid Services (IJWGS)}, editor = {David Taniar}, publisher = {Inderscience Publishers}, volume = {5}, number = {3}, pages = {1--23}, type = {Artikel in Zeitschrift}, month = {August}, year = {2009}, issn = {1741-1106}, issn = {1741-1114}, keywords = {tuplespaces; petri net; synchronization; control flow}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Petri Nets are a formalism for describing coordinated interactions between
independent entities, called transitions, by means of synchronized token
exchange through places. Tuplespaces are an abstraction of the shared memory
concept providing means for loosely-coupled coordination between individual
components. In the tuplespace model, coordination between applications is
achieved by production and blocking consumption of tuples which are
communicated over tuplespace buffers. On the basis of the conceptual
similarities of Petri nets and tuplespaces, we investigate in this paper
whether tuplespaces are a suitable platform for execution of applications
modeled as Petri net-based workflows, motivate an extension to the original
tuplespace interface to facilitate efficient synchronization of control flow,
and highlight its benefits by providing quantitative and qualitative
evaluations of an application using the traditional tuplespace interface versus
an application using our extension.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2009-05&engl=0} }
@article {ART-2009-03, author = {Daniela Nicklas and Matthias Grossmann and Matthias Wieland}, title = {{Context Modeling for Mobile, Adaptive Applications}}, journal = {it - Information Technology}, publisher = {Oldenbourg Wissenschaftsverlag GmbH}, volume = {51}, number = {2}, pages = {85--92}, type = {Artikel in Zeitschrift}, month = {M{\"a}rz}, year = {2009}, doi = {10.1524/itit.2009.0527}, keywords = {ubiquitous Computing; pervasive Computing; context modeling; mobile applications; Content Analysis and indexing}, language = {Englisch}, cr-category = {H.2.4 Database Management Systems,
H.2.8 Database Applications,
H.3 Information Storage and Retrieval}, ee = {http://www.atypon-link.com/OLD/toc/itit/51/2,
http://www.atypon-link.com/OLD/doi/pdf/10.1524/itit.2009.0527}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen;
Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware}, abstract = {Abstract
Context-aware applications adapt their behavior according to the current
situation. In this paper we present a layered model to separate different tasks
and concerns in designing data models for context-aware applications. The
layers are discussed along the Nexus approach, which is designed to support
large-scale, mobile applications by federated context models. Furthermore,
related approaches are described and compared.
Zusammenfassung
Kontextbezogene Anwendungen adaptieren ihr Verhalten aufgrund von Situationen.
Dieser Beitrag pr{\"a}sentiert ein Ebenenmodell f{\"u}r Datenmodelle solcher
Anwendungen, das verschiedene Probleme und Aufgaben im Entwurf der Daten, der
Adaptionslogik und der Verarbeitung kapselt. Die Ebenen werden anhand des
Nexus-Ansatzes diskutiert, dessen Ziel es ist, mobile, kontext-bezogene
Anwendungen durch f{\"o}derierte Kontextmodelle zu unterst{\"u}tzen, und mit verwandten
Arbeiten verglichen.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2009-03&engl=0} }
@article {ART-2009-02, author = {Ralph Mietzner and Dimka Karastoyanova and Frank Leymann}, title = {{Business Grid: Combining Web Services and the Grid}}, journal = {Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) Special Issue on Concurrency in Process-aware Information Systems.}, publisher = {Springer Verlag}, pages = {136--151}, type = {Artikel in Zeitschrift}, month = {Januar}, year = {2009}, doi = {10.1007/978-3-642-00899-3_8}, keywords = {dynamic provisioning; on-demand provisioning}, language = {Englisch}, cr-category = {H.3.4 Information Storage and Retrieval Systems and Software}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {The common overarching goal of service bus and Grid middleware is
``virtualization'' – virtualization of business functions and virtualization of
resources, respectively. By combining both capabilities a new infrastructure
called ``Business Grid'' results. This infrastructure meets the requirements of
both business applications and scientific computations in a unified manner and
in particular those that are not addressed by the middleware infrastructures in
each of the fields. Furthermore, it is the basis for enacting new trends like
Software as a Service or Cloud computing. In this paper the overall
architecture of the Business Grid is outlined. The Business Grid applications
are described and the need for their customizability and adaptability is
advocated. Requirements on the Business Grid like concurrency, multi-tenancy
and scalability are addressed. The concept of ``provisioning flows'' and other
mechanisms to enable scalability as required by a high number of concurrent
users are outlined.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2009-02&engl=0} }
@inbook {INBOOK-2009-02, author = {Dimka Karastoyanova and Tammo van Lessen and Frank Leymann and Zhilei Ma and J{\"o}rg Nitzsche and Branimir Wetzstein}, title = {{Semantic Business Process Management: Applying Ontologies in BPM}}, series = {Handbook of Research on Business Process Modeling}, publisher = {Information Science Publishing}, pages = {312--330}, type = {Beitrag in Buch}, month = {April}, year = {2009}, isbn = {978-1-60566-288-6}, keywords = {SBPM; BPEL4SWS; SOA; BPM; SWS}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, ee = {http://www.igi-global.com/reference/details.asp?ID=33287}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Even though process orientation/BPM is a widely accepted paradigm with heavy
impact on industry and research the available technology does not support the
business professionals’ tasks in an appropriate manner that is in a way
allowing processes modeling using concepts from the business domain. This
results in a gap between the business people expertise and the IT knowledge
required. The current trend in bridging this gap is to utilize technologies
developed for the Semantic Web, for example ontologies, while maintaining
reusability and flexibility of processes. In this chapter the authors present
an overview of existing technologies, supporting the BPM lifecycle, and focus
on potential benefits Semantic Web technologies can bring to BPM. The authors
will show how these technologies help automate the transition between the
inherently separate/detached business professionals’ level and the IT level
without the burden of additional knowledge acquisition on behalf of the
business professionals. As background information they briefly discuss existing
process modeling notations like the Business Process Modeling Notation (BPMN)
as well as the execution centric Business Process Execution Language (BPEL),
and their limitations in terms of proper support for the business professional.
The chapter stresses on the added value Semantic Web technologies yield when
leveraged for the benefit of BPM. For this the authors give examples of
existing BPM techniques that can be improved by using Semantic Web
technologies, as well as novel approaches which became possible only through
the availability of semantic descriptions. They show how process model
configuration can be automated and thus simplified and how flexibility during
process execution is increased. Additionally, they present innovative
techniques like automatic process composition and auto-completion of process
models where suitable process fragments are automatically discovered to make up
the process model. They also present a reference architecture of a BPM system
that utilizes Semantic Web technologies in an SOA environment.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INBOOK-2009-02&engl=0} }
@proceedings {PROC-2009-01, editor = {Oliver Kopp and Niels Lohmann}, title = {{Services und ihre Komposition - erster zentraleurop{\"a}ischer Workshop (ZEUS 2009)}}, publisher = {CEUR-WS.org}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, series = {CEUR Workshop Proceedings}, volume = {438}, pages = {100}, type = {Tagungsband}, month = {M{\"a}rz}, year = {2009}, issn = {1613-0073}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, ee = {http://ceur-ws.org/Vol-438/}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Der Zentraleurop{\"a}ische Workshop {\"u}ber Services und ihre Komposition (ZEUS) ist
kein klassischer Workshop, bei dem fertige Forschungsergebnisse ver{\"o}ffentlicht
und pr{\"a}sentiert werden. Stattdessen steht die Diskussion von Ideen, die sich
noch in einem f{\"u}hen Entwicklungsstadium befinden, im Vordergrund. So erhalten
Teilnehmer bereits vor der Einreichung eines Konferenzpapieres erste
R{\"u}ckmeldungen au{\ss}erhalb ihrer Gruppe. Dar{\"u}ber hinaus erlaubt der Workshop durch
seine regionale Ausrichtung den Aufbau eines wissenschaftlichen Netzwerkes, das
intensiv und zu geringen Kosten genutzt werden kann. Er richtet sich dabei
insbesondere an junge deutschsprachige Forscher im Service-Bereich. Der erste
ZEUS-Workshops findet am 2. und 3. M{\"a}rz 2009 in Stuttgart statt. Veranstalter
ist das Institut f{\"u}r Architektur von Anwendungssystemen der Universit{\"a}t
Stuttgart. Es gab 17 eingereichte Beitr{\"a}ge, die alle nach kurzer Begutachtung
in das Programm aufgenommen wurden. Weiterhin wird es einen eingeladenen
Vortrag von Prof. Karsten Wolf (Universit{\"a}t Rostock) geben. Wir hoffen, dass
die Vortr{\"a}ge eine gelungene Grundlage f{\"u}r rege Diskussionen bieten.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=PROC-2009-01&engl=0} }
|
|