|
|
@inproceedings {INPROC-2008-99, author = {Jussi Vanhatalo and Hagen V{\"o}lzer and Frank Leymann and Simon Moser}, title = {{Automatic Workflow Graph Refactoring and Completion}}, booktitle = {ICSOC 2008}, editor = {A. Bouguettaya and I. Krueger and T. Margaria}, publisher = {Springer-Verlag}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, series = {Lecture Notes in Computer Science}, volume = {5364}, pages = {100--115}, type = {Konferenz-Beitrag}, month = {November}, year = {2008}, language = {Englisch}, cr-category = {H.4.1 Office Automation,
D.3 Programming Languages}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Workflow graphs are used to model the control flow of business processes in
various languages, e.g., BPMN, EPCs and UML activity diagrams. We present
techniques for automatic workflow graph refactoring and completion. These
techniques enable various use cases in modeling and runtime optimization. For
example they allow us to complete a partial workflow graph, they provide local
termination detection for workflow graphs with multiple ends, and they allow us
to execute models containing OR-joins faster. Some of our techniques are based
on workflow graph parsing and the Refined Process Structure Tree}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-99&engl=0} }
@inproceedings {INPROC-2008-93, author = {Tobias Unger and Stephanie Mauchart and Frank Leymann and Thorsten Scheibler}, title = {{Aggregation of Service Level Agreements in the Context of Business Processes}}, booktitle = {Proceedings of the Twelfth IEEE Enterprise Distributed Object Conference (EDOC 2008), 15-19 September 2008, Munich, Bavaria, Germany}, publisher = {IEEE Computer Society}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, pages = {43--52}, type = {Konferenz-Beitrag}, month = {September}, year = {2008}, isbn = {978-0-7695-3373-5}, doi = {10.1109/EDOC.2008.29}, keywords = {Service Level Agreements; Business Processes; BPEL; Aggregation}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, ee = {http://ieeexplore.ieee.org/search/wrapper.jsp?arnumber=4634756}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {One can observe that more and more companies are focusing on their core
compenetency and are outsourcing parts or even complete business processes to
service providers. Service Level Agreements (SLAs) are used as a contractual
basis to define certain non-functional properties (e.g. response time) a
service has to provide. To determine the SLA of a business process a priori,
the SLAs of the invoked services need to be aggregated into a single SLA for
the business process. This paper defines a method how a service provider can
aggregate the SLAs of the individual services within a business process into a
single SLA. This provides a service provider with the capability to annotate
the service that the business process implements with an appropriate SLA. We
propose a framework that helps in carrying out the SLA aggregation within
business processes. The framework consists of two parts: (i) a formal model for
SLAs and (ii) a concept to aggregate SLAs, where algorithms can be plugged in.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-93&engl=0} }
@inproceedings {INPROC-2008-92, author = {Oliver Kopp and Daniel Martin and Daniel Wutke and Frank Leymann}, title = {{On the Choice Between Graph-Based and Block-Structured Business Process Modeling Languages}}, booktitle = {Modellierung betrieblicher Informationssysteme (MobIS 2008). Saarbr{\"u}cken, Germany, November 27 - 28, 2008.}, 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}, volume = {P-141}, pages = {59--72}, type = {Konferenz-Beitrag}, month = {November}, year = {2008}, issn = {1617-5468}, isbn = {978-3-88579-235-2}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, ee = {http://www.gi-ev.de/service/publikationen/lni/}, 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. Specifically problematic are the semantics of join and loop constructs
that have also been heavily discussed in literature. In this paper, we discuss
the core characteristics of graph-based and block-structured modeling 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=INPROC-2008-92&engl=0} }
@inproceedings {INPROC-2008-89, author = {Daniel Martin and David de Francisco and Reto Krummenacher and Hans Moritsch and Daniel Wutke}, title = {{An Architecture for a QoS-Aware Application Integration Middleware}}, booktitle = {Proceedings of the 11th International Conference on Business Information Systems (BIS 2008). Innsbruck, Austria, 5-7 May 2008.}, editor = {Witold Abramowicz and Dieter Fensel}, publisher = {Springer Berlin Heidelberg}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, pages = {333--344}, type = {Konferenz-Beitrag}, month = {Mai}, year = {2008}, doi = {10.1007/978-3-540-79396-0_29}, language = {Englisch}, cr-category = {C.2.4 Distributed Systems,
C.4 Performance of Systems,
H.2.4 Database Management Systems}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Complex application integration scenarios often demand for different
combinations of qualities of services (QoS) at middleware level. The scenario
presented in the paper, for instance, requires transactional middleware
behaviour for business negotiations between a relatively small number of
participants on the one hand, while on the other hand it requires high
scalability for distributing data to a large number of clients. The concept of
Triple Space, a semantically enhanced, distributed tuplespace middleware based
on an extended Linda model, has been developed to provide such an
infrastructure. In contrast to existing middleware infrastructures, Triple
Space supports a set of configurations which define the system’s QoS. In this
paper, we present a motivating use case scenario, deduce requirements for the
architecture of Triple Space, define its architecture and three QoS
configurations, and outline our approach towards implementing a highly scalable
distributed communication infrastructure.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-89&engl=0} }
@inproceedings {INPROC-2008-88, author = {Omair Shafiq and Francois Scharffe and Daniel Wutke and German Toro del Valle}, title = {{Resolving Data Heterogeneity Issues in Open Distributed Communication Middleware}}, booktitle = {Proceedings of the 2008 Third International Conference on Internet and Web Applications and Services (ICIW2008)}, publisher = {IEEE Computer Society}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, pages = {494--499}, type = {Konferenz-Beitrag}, month = {Juli}, year = {2008}, doi = {10.1109/ICIW.2008.71}, language = {Englisch}, cr-category = {H.2.4 Database Management Systems}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Triple Space Computing is a communication and coordination paradigm that allows
communication of semantic technologies in general, by publish and read of
semantic data. It has also been provided as an underline communication
middleware for Semantic Web Services. While focusing on scalability and
openness of Triple Space Computing to bring it into its full potential in a
global view, the possibility of heterogeneity among different users
communicating over Triple Space is very likely to arise. This paper focuses on
providing the Triple Space Computing with data mediation to enable easy
integration of data, information, and knowledge. Mediation is a technique to
overcome heterogeneity issues in a system, i.e. to remove differences in the
syntactic representation and the intended semantics of data that is exchanged
[2]. The paper introduces an Abstract Mapping Language and shows how mapping
rules can be created using this mapping language. It further proposes mediation
APIs for users and internal system. It also explains the grounding of mediation
mapping rules to Triple Space. It further provides a refined version of
architecture of the mediation engine along with its bindings with other
components of Triple Space Computing paradigm.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-88&engl=0} }
@inproceedings {INPROC-2008-87, author = {Daniel Wutke and Daniel Martin and Frank Leymann}, title = {{Model and Infrastructure for Decentralized Workflow Enactment}}, booktitle = {Proceedings of the 2008 ACM Symposium on Applied Computing (ACM SAC 08). Fortaleza, Brasil, March 16 - 20, 2008}, address = {Fortaleza, Brasil}, publisher = {ACM}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, pages = {90--94}, type = {Konferenz-Beitrag}, month = {M{\"a}rz}, year = {2008}, doi = {10.1145/1363686.1363712}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Today, enactment of Web service flows – the process of evaluating control flow
and executing activities a workflow is composed of – is typically done by a
centralized workflow enactment service as part of a Workflow management system.
This exhibits a number of drawbacks with regard to process adaptability and
process fragmentation among a number of participating partners. In order to
overcome the deficiencies of centralized process navigation, we propose a model
for flexible and adaptable distributed processes as orchestrations of a set of
self-coordinating components, without the need for central coordination.
Furthermore, we provide key characteristics and an architecture for the
development of a supporting infrastructure that facilitates both, deployment
and management of distributed components as well as decentralized workflow
enactment.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-87&engl=0} }
@inproceedings {INPROC-2008-85, author = {Tammo van Lessen and Frank Leymann and Ralph Mietzner and J{\"o}rg Nitzsche and Daniel Schleicher}, title = {{A Management Framework for WS-BPEL}}, booktitle = {Proceedings of the 6th IEEE European Conference on Web Services 2008}, publisher = {IEEE Computer Society}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, pages = {187--196}, type = {Konferenz-Beitrag}, month = {November}, year = {2008}, keywords = {WS-BPEL; BPEL; Management; Monitoring; Resources; WS-RF; REST; JMX}, language = {Englisch}, cr-category = {H.4.1 Office Automation,
K.1 The Computer Industry}, ee = {http://www.computing.dcu.ie/ecows08/}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {WS-BPEL is the standard to define executable business processes in a Web
service world. Numerous commercial and open source BPEL engines exist on the
market today that allow the execution of process models defined in BPEL.
However, these execution engines only provide access to process model and
process instance data in terms of proprietary APIs. In this paper we present an
approach that models BPEL process models and process instances as resources and
thus provides a uniform access scheme for process model and process instance
data. This is crucial because access to process model and process instance data
is needed in different scenarios that are of key relevance in enterprises
today. These scenarios include compliance checking, repair of faulted business
processes as well as real-time monitoring of business processes. The lack of a
uniform access scheme to process model and process instance data hampers the
exchangeability of BPEL engines and therefore results in a potential vendor
lock-in.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-85&engl=0} }
@inproceedings {INPROC-2008-74, author = {K. Mokhtari and S. Benbernou and M. Said and E. Coquery and M.S. Hacid and Frank Leymann}, title = {{Verification of Privacy Timed Properties in Web Service Protocols}}, booktitle = {Proceedings of the International Conference on Services Computing, SCC 2008}, publisher = {IEEE Computer Society Press}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, pages = {593--594}, type = {Konferenz-Beitrag}, month = {Juli}, year = {2008}, doi = {10.1109/SCC.2008.154}, isbn = {978-0-7695-3283-7}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {In this work we propose an approach for verifying privace timed-related
prroperties of web service protocols. While in our previous work the addressed
problem in business protocols is focused on the analysis and management of
functional requirements that support rich timing constraints, our approach
extends the previous results to capture the timed behavior of privacy
constraints. Hence, we provide a model called Timed Private Business Protocol
TPBP. Next, we emphasize the timed properties related to privacy in TPBP.
Finally, we present the different types of timed property verification to
achieve upon the timed private business protocol.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-74&engl=0} }
@inproceedings {INPROC-2008-72, author = {Oliver Kopp and Branimir Wetzstein and Ralph Mietzner and Stefan Pottinger and Dimka Karastoyanova and Frank Leymann}, title = {{A Model-Driven Approach to Implementing Coordination Protocols in BPEL}}, booktitle = {1st International Workshop on Model-Driven Engineering for Business Process Management (MDE4BPM 2008)}, publisher = {Springer-Verlag}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, series = {Lecture Notes in Business Information Processing}, volume = {17}, pages = {188--199}, type = {Workshop-Beitrag}, month = {September}, year = {2008}, doi = {10.1007/978-3-642-00328-8_19}, keywords = {MDA; BPEL; WS-Coordination; WS-Business Activity}, language = {Englisch}, cr-category = {H.4.1 Office Automation,
K.4.4 Electronic Commerce}, ee = {http://www.inf.unisi.ch/mde4bpm08/}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {WS-Coordination defines a framework for establishing pro- tocols for
coordinating the outcome agreement within distributed ap- plications. The
framework is extensible and allows support for multiple coordination protocols.
To facilitate the realization of new coordination protocols we present a
model-driven approach for the generation of BPEL processes used as
implementation of coordination protocols. We show how coordination protocols
can be modeled in domain-specific graph-based diagrams and how to transform
such graphs into abstract BPEL process models representing the behavior of the
coordinator and the participants in the protocol.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-72&engl=0} }
@inproceedings {INPROC-2008-71, author = {Niels Lohmann and Oliver Kopp}, title = {{Tools4BPEL4Chor}}, booktitle = {YR-SOC 2008}, publisher = {online}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, pages = {74--75}, type = {Workshop-Beitrag}, month = {Juni}, year = {2008}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, ee = {ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INPROC-2008-71/INPROC-2008-71.pdf,
http://www.yrsoc.org}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {In this paper, we present several tools support the modeling, analysis,
synthesis, and correction of BPEL4Chor choreographies}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-71&engl=0} }
@inproceedings {INPROC-2008-64, author = {Daniel Wutke and Daniel Martin and Frank Leymann}, title = {{Facilitating Complex Web Service Interactions through a Tuplespace Binding}}, booktitle = {Proceedings of Distributed Applications and Interoperable Systems, 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008.}, editor = {Rene Meier and Sotirios Terzis}, publisher = {Springer}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, pages = {275--280}, type = {Konferenz-Beitrag}, month = {Juni}, year = {2008}, doi = {10.1007/978-3-540-68642-2_22}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {The SOAP messaging framework, as one key technology of the Web service
technology standard stack, de nes a standardized message format for Web service
interactions, a set of rules governing their processing and a mechanism that
describes how SOAP messages can be transmitted over dierent network transport
protocols, called SOAP bindings. The most prominent example for a Web service
transport today, is the Hypertext Transfer Protocol (HTTP), which however
suers from certain drawbacks such as being inherently synchronous in nature
and not providing decoupling of message sender and receiver in reference or
time. In this paper, we present tuplespace technology as an alternative Web
service transport that is characterized by a number of properties that are not
found in current Web service transports: asynchronism, strong decoupling of
sender and receiver and support for advanced message exchange patterns, such as
one-to-many interactions, directly on the transport level. We describe the
representation of SOAP messages in tuple form and exemplify how to use the
operations provided by the tuplespace interface to realize certain Web service
message exchange patterns.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-64&engl=0} }
@inproceedings {INPROC-2008-60, author = {Zhilei Ma and Frank Leymann}, title = {{A Lifecycle Model for Using Process Fragment in Business Process Modeling}}, booktitle = {Proceedings of the 9th Workshop on Business Process Modeling, Development, and Support (BPDMS 2008)in conjunctin with The 20th International Conference on Advanced Information Systems Engineering (CAiSE'08), Montpellier, France, 16-18 June, 2008}, address = {Montpellier}, publisher = {Online}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, pages = {1--9}, type = {Workshop-Beitrag}, month = {Juni}, year = {2008}, keywords = {process fragment, business process modeling, business process management, bpm, lifecycle, reuse}, language = {Englisch}, cr-category = {H.1 Models and Principles}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Business organizations strive to increase the quality of their business
processes and the productivity in modeling the business processes. Reuse of
process modeling artifacts can contribute to achieving this goal. In this
paper, we propose a lifecycle model for reusing process fragment in business
process modeling, which (i) guides the business user in understanding and
adopting the concepts of using process fragment in business process modeling;
(ii) guides the development of business process modeling tool and business
process repository that support reusing process fragment in business process
modeling.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-60&engl=0} }
@inproceedings {INPROC-2008-47, author = {Carlos Pedrinaci and Christian Brelage and Tammo van Lessen and John Domingue and Dimka Karastoyanova and Frank Leymann}, title = {{Semantic Business Process Management: Scaling up the Management of Business Processes}}, booktitle = {Proceedings of the 2nd IEEE International Conference on Semantic Computing (ICSC) 2008}, publisher = {IEEE Computer Society}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, pages = {546--553}, type = {Konferenz-Beitrag}, month = {August}, year = {2008}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Business Process Management (BPM) aims at supporting the whole life-cycle
necessary to deploy and maintain business processes in organisations. Despite
its success however, BPM suffers from a lack of automation that would support a
smooth transition between the business world and the IT world. We argue that
Semantic BPM, that is, the enhancement of BPM with Semantic Web Services
technologies, provides further scalability to BPM by increasing the level of
automation that can be achieved. We describe the particular SBPM approach
developed within the SUPER project and we illustrate how it contributes to
enhancing existing BPM solutions in order to achieve more flexible, dynamic and
manageable business processes.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-47&engl=0} }
@inproceedings {INPROC-2008-44, author = {J{\"o}rg Nitzsche and Tammo van Lessen and Frank Leymann}, title = {{Extending BPEL light for Expressing Multi-Partner Message Exchange Patterns}}, booktitle = {Proceedings of the 12th IEEE International EDOC Conference (EDOC 2008)}, publisher = {IEEE Computer Society}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, pages = {245--254}, type = {Konferenz-Beitrag}, month = {September}, year = {2008}, isbn = {978-0-7695-3373-5}, keywords = {BPEL; BPEL light; MEP; Message Exchange Pattern; Multi-Partner}, language = {Englisch}, cr-category = {H.4.1 Office Automation,
K.1 The Computer Industry}, ee = {http://www.lrz-muenchen.de/~edoc2008/}, 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 requestresponse. 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, BPELlight is an appropriate candidate to define the flow
within operations since it abstracts from WSDL. In this paper we extended
BPELlight to facilitate capturing complex multi-lateral message exchanges. We
refine the partner model and relax the definition of a conversation to enable
modelling conversations that involve different partner types. We also extend
the language with a first-class construct that enables storing, querying and
thus distinguishing addressing information related to multiple partner
instances. This way 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.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-44&engl=0} }
@inproceedings {INPROC-2008-43, author = {Branimir Wetzstein and Zhilei Ma and Frank Leymann}, title = {{Towards Measuring Key Performance Indicators of Semantic Business Processes}}, booktitle = {Proceedings of 11th International Conference on Business Information Systems (BIS 2008), Innsbruck, Austria, 5-7 May 2008.}, editor = {Witold Abramowicz and Dieter Fensel}, address = {Berlin, Heidelberg}, publisher = {Springer-Verlag}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, pages = {227--238}, type = {Konferenz-Beitrag}, month = {Mai}, year = {2008}, keywords = {semantic business process management, sbpm, performance management, process performance metrics, key performance indicator, kpi}, language = {Englisch}, cr-category = {H.4 Information Systems Applications}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Business Activity Monitoring (BAM) enables continuous, real-time performance
measurement of business processes based on key performance indicators (KPI).
The performance information is employed by business users but prior support
from IT engineers is required for setting up the BAM solution. Semantic
Business Process Management (SBPM) tries to minimize the needed support from IT
staff throughout the business process lifecycle. In this paper we introduce a
framework for BAM as part of SBPM. We show how performance measurement related
activities can be integrated into the semantic business process lifecycle. KPIs
are modeled by business analysts exploiting semantic annotations of business
processes. KPI models are automatically transformed to IT-level event-based
models and used for real-time monitoring using reasoning technology.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-43&engl=0} }
@inproceedings {INPROC-2008-42, author = {Ralph Mietzner and Frank Leymann}, title = {{Towards Provisioning the Cloud: On the Usage of Multi-Granularity Flows and Services to Realize a Unified Provisioning Infrastructure for SaaS Applications}}, booktitle = {Proceedings of the International Congress on Services, SERVICES 2008}, publisher = {IEEE}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, type = {Konferenz-Beitrag}, month = {Juli}, year = {2008}, keywords = {Cloud Computing; SaaS; on Demand; Provisioning}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {The automatic provisioning of applications is an importent task for the success
of Software as a Service (SaaS) providers. Different provisioning engines from
different vendors and open source projects with different interfaces have been
emerging lately. Additionally, infrastructure providers that provide
infrastructure on demand now provide computing resources that can be integrated
in a SaaS provider’s computing environment. In order to allow SaaS application
providers to specify generic installation and maintenance flows independent
from the underlying provisioning engines we propose an architecture for a
generic provisioning infrastructure based on Web services and workflow
technology.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-42&engl=0} }
@inproceedings {INPROC-2008-41, author = {Ralph Mietzner and Frank Leymann}, title = {{Generation of BPEL Customization Processes for SaaS Applications from Variability Descriptors}}, booktitle = {Proceedings of the International Conference on Services Computing, Industry Track, SCC 2008}, publisher = {IEEE}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, type = {Konferenz-Beitrag}, month = {Juli}, year = {2008}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Software as a Service (SaaS) is a new delivery model for software. Software in
a SaaS model is no longer run exclusively for one customer at a customer’s
premise but run at a service provider and accessed via the Internet. A provider
of Software as a Service exploits economies of scale by hosting and providing
the same application for several different customers. However, each individual
customer has different requirements for the same basic application. In order to
allow each customer to customize the process layer and related artifacts of a
SaaS application to their specific needs the application needs to provide a set
of variability points that can be modified by customers. In this paper we
describe the notion of a variability descriptor that defines variability points
for the process layer and related artifacts of process-based, service-oriented
SaaS applications. Furthermore we describe how these variability descriptors
can be transformed into a WS-BPEL process model that can then be used to guide
a customer through the customization of the SaaS application.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-41&engl=0} }
@inproceedings {INPROC-2008-40, author = {Ralph Mietzner and Frank Leymann and Mike P. Papazoglou}, title = {{Defining Composite Configurable SaaS Application Packages Using SCA, Variability Descriptors and SaaS Multi-Tenancy Patterns}}, booktitle = {Proceedings of the 3rd Intl. Conf. on Internet and Web Applications and Services ICIW 2008}, address = {Athens, Greece}, publisher = {IEEE}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, type = {Konferenz-Beitrag}, month = {Januar}, year = {2008}, keywords = {SaaS; SCA; Multi-Tenancy; SOA}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Currently, several vendors and projects are building proprietary SaaS platforms
where more and more applications are hosted in a Software as a Service business
model. However, these proprietary platforms prevent that applications offered
by different SaaS application vendors can be easily reused on the platforms
offered by the different SaaS hosting providers. In this paper we describe a
package format for composite configurable SaaS application packages for
applications developed following a service oriented architecture. We show how
the service component architecture (SCA) can be extended with variability
descriptors and SaaS multi-tenancy patterns to package and deploy multitenant
aware configurable composite SaaS applications.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-40&engl=0} }
@inproceedings {INPROC-2008-38, author = {Oliver Kopp and Tammo van Lessen and J{\"o}rg Nitzsche}, title = {{The Need for a Choreography-aware Service Bus}}, booktitle = {YR-SOC 2008}, publisher = {Online}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, pages = {28--34}, type = {Workshop-Beitrag}, month = {Juni}, year = {2008}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, ee = {ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INPROC-2008-38/INPROC-2008-38.pdf,
http://www.yrsoc.org}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Choreographies offer means to describe the long-running collaboration of
business partners. Such descriptions can be used to create new participant
processes which comply to the overall choreography or to check whether
participating processes conform to the protocol. In addition, choreography
descriptions allow for asserting whether a completed cross-organizational
conversation has been compliant to the planned choreography. However,
choreography descriptions have so far not been used during execution but only
during design time. Therefore, it is not yet possible to immediately detect
protocol violations and to instantly handle such violations. In this paper we
motivate the need of a Choreography-aware Service Bus which is capable of
tracking the soundness of cross-organizational conversations while they are
running. This fosters a novel notion of exception handling in the context of
choreographies.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-38&engl=0} }
@inproceedings {INPROC-2008-34, author = {Tammo van Lessen and J{\"o}rg Nitzsche and Frank Leymann}, title = {{Formalising Message Exchange Patterns using BPEL light}}, booktitle = {Proceedings of the 5th International Conference on Services Computing (SCC'08) Research Track}, publisher = {IEEE Computer Society}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, pages = {353--360}, type = {Konferenz-Beitrag}, month = {Juli}, year = {2008}, language = {Englisch}, cr-category = {H.4.1 Office Automation,
K.1 The Computer Industry}, ee = {http://conferences.computer.org/scc/2008/}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {In a message-driven SOA, message exchange patterns (MEPs) define a reusable
notion of conversational contracts between a service consumer and a service
provider from the provider's point of view. They enable a common understanding
regarding a message flow between both parties. In contrast to version 1.1 of
the Web Service Description Language (WSDL) the current version 2.0 has
introduced a template for defining such patterns that allows to define and
reference patterns beyond the standard input/output ones defined in the
specification. Although reasonable, this approach brings several disadvantages
which we point out in this paper. Since WSDL 2.0 MEPs and WS-BPEL processes
describe interaction behaviour from the same perspective BPEL makes a perfect
candidate as a language for formalising MEPs, especially because it provides a
powerful mechanism for describing control flow and correlation of related
messages. In this work we propose a way to formalising MEPs using a WSDL-less
BPEL dialect called BPEL light. We introduce a new abstract BPEL profile for
defining reusable and machine-readable MEPs that is capable of expressing
arbitrary message exchanges. With this approach we pave the way for more
flexible interaction styles and reduce the impedance mismatch between
imperative programming and message orientation.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-34&engl=0} }
@inproceedings {INPROC-2008-33, author = {J{\"o}rg Nitzsche and Tammo van Lessen and Frank Leymann}, title = {{WSDL 2.0 Message Exchange Patterns: Limitations and Opportunities}}, booktitle = {Proceedings of the 3rd International Conference on Internet and Web Applications and Services (ICIW 2008)}, publisher = {IEEE}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, type = {Konferenz-Beitrag}, month = {Juni}, year = {2008}, language = {Englisch}, cr-category = {H.4.1 Office Automation,
K.1 The Computer Industry}, ee = {http://www.iaria.org/conferences2008/ProgramICIW08.html}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {The Web Service Description Language (WSDL) provides means to describe
functional aspects of a service in a Service Oriented Architecture (SOA) based
on Web Service technology. In contrast to its predecessor (WSDL 1.1), WSDL 2.0
does not define a fixed set of operation types but provides for a generic
mechanism to define an operation by means of message exchange patterns (MEPs).
In this paper we identify new MEPs and extend the template used to define MEPs
to allow expressing more complex patterns. Furthermore, we compare the
expressivity of MEPs in general with other work and formalisms in the field of
service interaction. We give a refined definition of MEPs based on a detailed
discussion and discuss how WSDL and the MEPs in particular can be combined with
the choreography approach.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-33&engl=0} }
@inproceedings {INPROC-2008-31, author = {Olaf Zimmermann and Cesare Pautasso and Frank Leymann}, title = {{RESTful Web Services vs. ``Big'' Web Services - Making the Right Architectural Decisions}}, booktitle = {Proc. 17th International World Wide Web Conference (WWW 2008)}, publisher = {Online}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, type = {Konferenz-Beitrag}, month = {April}, year = {2008}, language = {Englisch}, cr-category = {K.1 The Computer Industry}, ee = {http://www2008.org/papers/fp179.html}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Recent technology trends in the Web Services (WS) domain indicate that a
solution eliminating the presumed complexity of the WS-* standards may be in
sight: advocates of REpresentational State Transfer (REST) have come to believe
that their ideas explaining why the World Wide Web works are just as applicable
to solve enterprise application integration problems and to simplify the
plumbing required to build service-oriented architectures. In this paper we
objectify the WS-* vs. REST debate by giving a quantitative technical
comparison based on architectural principles and decisions. We show that the
two approaches differ in the number of architectural decisions that must be
made and in the number of available alternatives. This discrepancy between
freedom-from-choice and freedom-of-choice explains the complexity difference
perceived. However, we also show that there are significant differences in the
consequences of certain decisions in terms of resulting development and
maintenance costs. Our comparison helps technical decision makers to assess the
two integration styles and technologies more objectively and select the one
that best fits their needs: REST is well suited for basic, ad hoc integration
scenarios, WS-* is more flexible and addresses advanced quality of service
requirements commonly occurring in enterprise computing.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-31&engl=0} }
@inproceedings {INPROC-2008-30, author = {Olaf Zimmermann and Uwe Zdun and Thomas Gschwind and Frank Leymann}, title = {{Combining Pattern Languages and Architectural Decision Models in a Comprehensive and Comprehensible Design Method}}, booktitle = {Seventh Working IEEE/IFIP Conference on Software Architecture - WICSA 2008}, publisher = {IEEE Computer Society}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, pages = {156--166}, type = {Konferenz-Beitrag}, month = {Februar}, year = {2008}, doi = {10.1109/WICSA.2008.19}, language = {Englisch}, cr-category = {K.1 The Computer Industry}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {When constructing software systems, software architects must identify and
evaluate many competing design options and document the rationale behind any
selections made. Two supporting concepts are pattern languages and
architectural decision models. Unfortunately, both concepts only provide
partial support: Extensive upfront education is needed for practitioners to be
in command of the full pattern literature relevant in their field;
retrospective architectural decision modeling is viewed as a painful extra
responsibility without immediate gains. In this paper, we combine pattern
languages and reusable architectural decision models into a design method that
is both comprehensive and comprehensible. Our design method identifies the
required decisions in requirements models systematically, gives domain-specific
pattern selection advice, and provides traceability from platform-independent
patterns to platform-specific decisions. We validate our approach by applying
it to enterprise applications as an exemplary application genre and a SOA case
study from the finance industry.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-30&engl=0} }
@inproceedings {INPROC-2008-27, author = {Oliver Kopp and Rania Khalaf and Frank Leymann}, title = {{Deriving Explicit Data Links in WS-BPEL Processes}}, booktitle = {Proceedings of the International Conference on Services Computing, SCC 2008}, address = {Honolulu, Hawaii, USA}, publisher = {IEEE Computer Society Press}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, pages = {367--376}, type = {Konferenz-Beitrag}, month = {Juli}, year = {2008}, doi = {10.1109/SCC.2008.122}, isbn = {978-0-7695-3283-7}, keywords = {Data-flow Analysis; Reaching Definitions Analysis; def-use edges; data link; BPEL}, language = {Englisch}, cr-category = {D.3 Programming Languages,
F.3.2 Semantics of Programming Languages}, ee = {http://conferences.computer.org/scc/2008/}, contact = {kopp@iaas.uni-stuttgart.de}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {WS-BPEL is a standard language to model business processes. Control flow is
modeled explicitly using links. Data is passed via shared variables and there
is no notion of explicit data links. However, explicit data links are an
important means to reason about business process models. We present an
algorithm to derive explicit data links in WS-BPEL processes. By considering
dead path elimination as defined in WS-BPEL, we reduce the number of derived
data links when compared to existing approaches that ignore dead path
elimination.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-27&engl=0} }
@inproceedings {INPROC-2008-25, author = {Thorsten Scheibler and Frank Leymann}, title = {{A Framework for Executable Enterprise Integration Patterns}}, booktitle = {Enterprise Interoperability III: New Challenges and Industrial Approaches}, editor = {Kai Mertins and Ruggaber Rainer and Keith Popplewell and Xiaofei Xu}, publisher = {Springer}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, pages = {485--497}, type = {Konferenz-Beitrag}, month = {M{\"a}rz}, year = {2008}, language = {Englisch}, cr-category = {D.2.11 Software Engineering Software Architectures,
D.2.13 Software Engineering Reusable Software,
K.6.4 System Management}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {A great challenge for enterprises is the improvement of the utilization of
their landscape of heterogeneous applications in complex EAI (Enterprise
Application Integration) scenarios. Enterprise Application Integration Patterns
help to address this challenge by describing recurring EAI problems and
proposing possible solutions at an abstract level. However, EAI patterns are
documentation only used by systems architects and developers to decide how to
implement an integration solution. Thus, patterns do not specify how to produce
the code that will actually implement the solution described by the pattern on
a specific middleware. In this paper we introduce a framework that provides
configuration capabilities for EAI patterns. The framework also allows to
generate executable integration code from EAI patterns using a model-driven
architecture approach. Furthermore, we present a tool providing this framework.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-25&engl=0} }
@inproceedings {INPROC-2008-19, author = {Matthias Wieland and Peter Kaczmarczyk and Daniela Nicklas}, title = {{Context Integration for Smart Workflows}}, booktitle = {Proceedings of the Sixth Annual IEEE International Conference on Pervasive Computing and Communications}, address = {Hong Kong}, publisher = {IEEE computer society}, institution = {Universit{\"a}t Stuttgart : Sonderforschungsbereich SFB 627 (Nexus: Umgebungsmodelle f{\"u}r mobile kontextbezogene Systeme), Germany}, pages = {239--242}, type = {Konferenz-Beitrag}, month = {M{\"a}rz}, year = {2008}, isbn = {0-7695-3113-X}, language = {Englisch}, cr-category = {H.4 Information Systems Applications}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {The usage of workflow technology to model and execute business processes is
widespread in many enterprises and within the software industry. With the
growing maturity of sensors, wireless communication, and distributed computing
environments, we can enhance this approach to enable smart workflows, which are
business processes crossing the boundary to the physical world. Applications
for such processes can be found in many application domains, like logistics or
in smart factory environments. To realize smart workflows, workflow engines can
be coupled with existing context provisioning systems. However, there is a gap
between the rather lowlevel provisioning of context (e.g., sensor data and
stock information) and the concepts needed in smart workflows (e.g., ”is a
spare tool available?”). The main contribution of this paper is to bridge this
gap: we show how integration processes can be used to provide context
information at different semantical levels for smart workflows.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-19&engl=0} }
@inproceedings {INPROC-2008-18, author = {Daniela Nicklas and Matthias Grossmann and Jorge Minguez and Mattias Wieland}, title = {{Adding High-level Reasoning to Efficient Low-level Context Management: a Hybrid Approach}}, booktitle = {Proceedings of the Sixth Annual IEEE Conference on Pervasive Computing and Communications : PerCom'08 Workshops, in 5th IEEE PerCom Workshop on Context Modeling and Reasoning; Hongkong, 17.-21. March 2008}, address = {Los Alamitos - California, Washington, Tokyo}, publisher = {IEEE Computer Society}, institution = {Universit{\"a}t Stuttgart : Sonderforschungsbereich SFB 627 (Nexus: Umgebungsmodelle f{\"u}r mobile kontextbezogene Systeme), Germany}, series = {IEEE Computer Society}, volume = {Order Number E3113}, pages = {447--452}, type = {Workshop-Beitrag}, month = {M{\"a}rz}, year = {2008}, isbn = {0-7695-3113-X}, isbn = {978-0-7695-3113-7}, keywords = {higher level context; pervasive computing; ubiquitous computing; context-aware applications}, language = {Englisch}, cr-category = {D.1.6 Logic Programming,
D.2.11 Software Engineering Software Architectures,
H.2.8 Database Applications}, ee = {http://www.nexus.uni-stuttgart.de/COMOREA,
http://www.nexus.uni-stuttgart.de}, contact = {Daniela Nicklas dnicklas@acm.org}, 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 = {Rule-based context reasoning is an expressive way to define situations, which
are crucial for the implementation of many context-aware applications. Along
the scenario of the Conference Guard application we show how this reasoning can
be done both by leveraging an efficient context management (realized by the
Nexus platform) and by a generic rule based service. We present the
architecture of the Nexus semantic service, which uses the underlying
definition of a low-level context model (the Nexus Augmented World Model) to
carry out rules given in first order logic. We realize this service in a
straight forward manner by using state-of-the-art software components (the Jena
2 framework) and evaluate the number of instances this approach can handle. Our
first experiences show that a pre-selection of instances is necessary if the
semantic service should work on a large-scale context model.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-18&engl=0} }
@inproceedings {INPROC-2008-124, author = {Kia Teymourian and Lyndon Nixon and Daniel Wutke and Reto Krummenacher and Hans Moritsch}, title = {{Implementation of a Novel Semantic Web Middleware Approach Based on Triplespaces}}, booktitle = {Proceedings of the International Conference on Semantic Computing: ICSC 2008}, editor = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, publisher = {IEEE Computer Society}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, pages = {518--523}, type = {Konferenz-Beitrag}, month = {August}, year = {2008}, isbn = {http://doi.ieeecomputersociety.org/10.1109/ICSC.2008.88}, language = {Englisch}, cr-category = {D.4.7 Operating Systems Organization and Design}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {The semantic Web and Web services have emerged as a new paradigm for
knowledge-based applications, both human and machine controlled. The
coordination of semantic clients or services is necessary to achieve goals only
possible from the combination of knowledge based activities. Triple space
computing is a new coordination paradigm based on semantics and tuplespaces
which could be used for the coordination of semantic Web clients and services.
Triple space computing substitutes synchronous message exchange for persistent
publication of knowledge in virtual data stores called tuplespaces. A
tuplespace based architecture can handle the scalability, heterogeneity and
dynamism which arises in highly distributed environments. In this paper, we
describe the important architectural decisions in our implementation of a
semantic tuplespace based middleware. We report on our practical experiences,
and the benefits and challenges of triple space computing as a new paradigm for
semantic Web and Web service communication.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-124&engl=0} }
@inproceedings {INPROC-2008-121, author = {Branimir Wetzstein and Dimka Karastoyanova and Frank Leymann}, title = {{Towards Management of SLA-Aware Business Processes Based on Key Performance Indicators}}, booktitle = {Proceedings of the 9th Workshop on Business Process Modeling, Development, and Support (BPMDS'08); Montpellier, France, June 16 – 17, 2008}, publisher = {Online}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, type = {Workshop-Beitrag}, month = {Juni}, year = {2008}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {It is increasingly important that Service Level Agreements (SLAs) are taken
into account when business processes are exposed as services in a Service
Oriented Architecture. SLAs define expected service behavior and non-functional
properties of the service. The fact that the service provider has to offer
certain guarantees concerning SLA properties has an impact on the business
process lifecycle. In this paper we introduce a stepwise approach for
management of SLA-aware service compositions based on process performance
requirements specified as Key Performance Indicators. The approach is based on
the process lifecycle known from Business Process Management and comprises a
modeling, configuration and execution phase. We incorporate existing work on
SLA modeling, QoS aggregation, and QoS-based service selection, and identify
several problems specific to SLA-aware business processes.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-121&engl=0} }
@inproceedings {INPROC-2008-120, author = {Marina Bitsaki and Olha Danylevych and Willem-Jan van den Heuvel and George Koutras and Frank Leymann and Michele Mancioppi and Christos Nikolaou and Mike Papazoglou}, title = {{An Architecture for Managing the Lifecycle of Business Goals for Partners in a Service Network}}, booktitle = {Towards a Service-Based Internet, First European Conference, ServiceWave 2008}, editor = {M{\"a}h{\"o}nen Petri and Pohl Klaus and Priol Thierry}, publisher = {Springer Berlin Heidelberg}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, series = {Lecture Notes in Computer Science}, pages = {196--207}, type = {Konferenz-Beitrag}, month = {Dezember}, year = {2008}, isbn = {10.1007/978-3-540-89897-9_17}, keywords = {Service Value Network, Key Performance Indicator, Business Process Management, Business Activity Monitoring}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, ee = {http://www.servicewave.eu/}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Networks of interdependent organizations cooperate to produce goods or,
nowadays, services that are of value to their markets as well as to the
participating organizations. Such co-operations can be supported by
corresponding business processes which are based on SOA technology. Developing
and managing SOA-based business processes in such service networks necessitates
a comprehensive architecture which is on the one hand grounded on solid design
principles, and on the other hand capturing best-practices and experiences.
Such an architecture is currently lacking. This paper outlines a first attempt
to develop and validate an architecture for developing, monitoring, measuring
and optimizing SOA-enabled business processes in service networks. A case study
from the telecommunications industry is analyzed, and different aspects of
service networks are addressed.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-120&engl=0} }
@inproceedings {INPROC-2008-12, author = {Gero Decker and Oliver Kopp and Frank Leymann and Kerstin Pfitzner and Mathias Weske}, title = {{Modeling Service Choreographies using BPMN and BPEL4Chor}}, booktitle = {Proceedings of the 20th International Conference on Advanced Information Systems Engineering (CAiSE '08)}, publisher = {Springer-Verlag}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, series = {Lecture Notes in Computer Science}, volume = {5074}, pages = {79--93}, type = {Konferenz-Beitrag}, month = {Juni}, year = {2008}, doi = {10.1007/978-3-540-69534-9_6}, keywords = {BPEL4Chor; BPMN; Choreography}, language = {Englisch}, cr-category = {H.4.1 Office Automation,
K.1 The Computer Industry}, ee = {http://www.lirmm.fr/caise08/}, contact = {kopp@iaas.uni-stuttgart.de}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Interconnecting information systems of independent business partners requires
careful specification of the interaction behavior the different partners have
to adhere to. Choreographies define such interaction constraints and
obligations and can be used as starting point for process implementation at the
partners' sites. This paper presents how the Business Process Modeling Notation
(BPMN) and the Business Process Execution Language (BPEL) can be used during
choreography design. Step-wise refinement of choreographies to the level of
system configuration is supported through different language extensions as well
as a mapping from BPMN to BPEL4Chor. A corresponding modeling environment
incorporating the language mapping is presented.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-12&engl=0} }
@inproceedings {INPROC-2008-116, author = {J{\"o}rg Nitzsche and Barry Norton}, title = {{Ontology Based Data Mediation in BPEL (for Semantic Web Services)}}, booktitle = {Proceedings of Business Process Management Workshops}, publisher = {Springer Verlag}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, type = {Workshop-Beitrag}, month = {September}, year = {2008}, keywords = {BPEL; Mediation}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, 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. BPEL for Semantic Web
Services (BPEL4SWS) employs SAWSDL to give meaning to data by referring to
ontological concepts and to enable a seamless mapping of XML data and its
ontological representation. In this paper we show how this ontological
knowledge can be used to ease the definition of data flow in BPEL.We therefore
extend BPEL and introduce the concept of mediaton as a first class citizen. We
give an example of data mediation in BPEL processes and show how process
modellers can benefit from the ontological knowledge when specifying data
manipulation declaratively instead of having to implement data manipulation
each time a process is modelled.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-116&engl=0} }
@inproceedings {INPROC-2008-115, author = {J{\"o}rg Nitzsche and Benjamin H{\"o}hersteiger and Frank Leymann and Mirko Sonntag and Markus Tost}, title = {{Defining the Behaviour of BPELlight Interaction Activities Using Message Exchange Patterns}}, booktitle = {Proceedings of the Service Wave 2008}, publisher = {Springer Verlag}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, pages = {275--286}, type = {Konferenz-Beitrag}, month = {Dezember}, year = {2008}, doi = {10.1007/978-3-540-89897-9_24}, keywords = {BPEL}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, ee = {http://www.servicewave.eu}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {BPEL light is an extension of BPEL that allows defining executable business
processes independant of WSDL port types and operations. However, it adopts
BPELs principle of having either non-blocking activities that only send or
receive a single message or blocking activities, that are restricted to at most
two messages, i.e. they implement a send-receive or receive-send behaviour. In
recent work BPEL light has been used to define arbitrary complex message
exchange patterns. In this paper we use message exchange patterns defined in
BPEL light to describe the behaviour of interaction activities in a generic
manner. This is beneficial as complex behaviour like a ``request-for-bid'' only
have to be modelled once on an abstract level and can then be reused by simply
referencing the corresponding message exchange pattern and filling in
parameters whenever needed. This makes process modelling more convenient as the
modelling primitives are not restricted to a request-response behaviour but are
lifted to a business oriented level.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-115&engl=0} }
@inproceedings {INPROC-2008-112, author = {Steffen Volz and Daniela Nicklas and Matthias Grossmann and Matthias Wieland}, title = {{On creating a spatial integration schema for global, context-aware applications}}, booktitle = {Proceedings of the X Brazilian Symposium on GeoInformatics (GeoInfo2008)}, publisher = {INPE}, institution = {Universit{\"a}t Stuttgart : Sonderforschungsbereich SFB 627 (Nexus: Umgebungsmodelle f{\"u}r mobile kontextbezogene Systeme), Germany}, type = {Konferenz-Beitrag}, month = {Dezember}, year = {2008}, language = {Englisch}, cr-category = {H.2.4 Database Management Systems,
H.2.8 Database Applications}, 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 = {The world of spatial data is split into individual data source islands that
have different thematic or spatial focuses. When attempting to integrate those
data sources, severe challenges arise, since for most GIS application domains a
spatial integration schema does not exist. This is also true for the newly
emerging domain of mobile, context-aware applications. Since the users of these
systems are mobile, transborder access to spatial data or context models is
crucial for global deployment. The basis for this work is the Nexus Augmented
World Schema, a conceptual schema that serves as an integration standard for
autonomous spatial context servers. This paper analyzes some major spatial data
standards, especially with respect to the requirements of a spatial integration
schema for context-aware applications and illustrates the Nexus approach.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-112&engl=0} }
@inproceedings {INPROC-2008-111, author = {Matthias Wieland and Daniela Nicklas and Frank Leymann}, title = {{Managing Technical Processes Using Smart Workflows}}, booktitle = {Towards a Service-Based Internet, First European Conference, ServiceWave 2008, Madrid, Spain, December 10-13, 2008. Proceedings}, editor = {Petri Maehoenen and Klaus Pohl and Thierry Priol}, publisher = {Springer Verlag}, institution = {Universit{\"a}t Stuttgart : Sonderforschungsbereich SFB 627 (Nexus: Umgebungsmodelle f{\"u}r mobile kontextbezogene Systeme), Germany}, series = {Lecture Notes in Computer Science}, volume = {5377}, pages = {287--298}, type = {Konferenz-Beitrag}, month = {Dezember}, year = {2008}, isbn = {978-3-540-89896-2}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Technical processes that are crossing the boundary to the physical world can be
found in many application domains, like logistics or in Smart Factory
environments. We show how these processes can be realized by so-called Smart
Workflows. To integrate external information sources like context provisioning
services, we introduce the Integration Process architecture pattern. This
pattern generally solves the problem of integrating different complex systems
that provide functional similar services with non-fitting interfaces into
workflows. The pattern allows that workflows use simple domain specific
interfaces that are the same for any of these systems and by that allow the
exchange of underlying systems without changing the workflows. This is
accomplished by reducing the interface complexity of the systems via a
hierarchical Web Service stack that reaches from the lowest technical
granularity needed by IT experts to the domain specific granularity needed by
the domain experts. Furthermore the paper presents a concrete realization of
the pattern for integrating different context provisioning systems into
workflows.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-111&engl=0} }
@inproceedings {INPROC-2008-11, author = {Tobias Unger and Thomas Bauer}, title = {{Towards a Standardized Task Management}}, booktitle = {Multikonferenz Wirtschaftsinformatik 2008}, editor = {Martin Bichler and Thomas Hess and Helmut Krcmar and Ulrike Lechner and Florian Matthes and Arnold Picot and Benjamin Speitkamp and Petra Wolf}, publisher = {GITO-Verlag, Berlin}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, pages = {443--444}, type = {Konferenz-Beitrag}, month = {Februar}, year = {2008}, isbn = {978-3-940019-34-9}, keywords = {Task Management; BPEL4People; WS-HumanTask}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, ee = {http://srvmatthes6.in.tum.de/tagungsbandArtikel.html,
http://ibis.in.tum.de/mkwi08/29_XML4BPM-XML_Integration_and_Transformation_for_Business_Process_Management/05_Unger-XML4BPM-long.pdf}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Business processes are increasingly controlled by IT-systems automatically, but
they still consist of many tasks that have to be performed by people. Despite
an appropriate IT-infrastructure is required for Task Management, until now
this is a neglected topic in the research domain. In general, existing concepts
and products for Task Management are not sufficient and, even worse,
inter-partner aspects are not supported at all. For the first time, this paper
analyzes the requirements for Task Management in a comprehensive way.
Furthermore, we present an architecture for a Task Management Infrastructure
that allows to fulfill these requirements even in inter-partner scenarios. This
architecture was developed in the TAMPRO project and is based on emerging
standards as WS-HumanTask and BPEL4People, which are discussed as well.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-11&engl=0} }
@inproceedings {INPROC-2008-109, author = {Daniel Martin and Daniel Wutke and Frank Leymann}, title = {{Using Tuplespaces to Enact Petri Net-Based Workflow Definitions}}, booktitle = {Proceedings of the 10th International Conference on Information Integration and Web-based Applications \& Services (iiWAS2008). Linz, Austria, November 24 - 26, 2008.}, publisher = {ACM}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, pages = {1--1}, type = {Konferenz-Beitrag}, month = {November}, year = {2008}, isbn = {978-1-60558-349-5}, keywords = {tuplespaces; petri nets; worklflow; bpel; distributed workflow enactment; ewfn}, 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 on the one hand Petri nets are a suitable notation for modeling
tuplespace-based applications; on the other hand, we argue that tuplespaces are
a suitable platform for execution of applications modeled as Petri net-based
workflows by describing and evaluating two approaches to execute Petri nets
using tuplespace-based middleware.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-109&engl=0} }
@inproceedings {INPROC-2008-108, author = {Daniel Martin and Daniel Wutke and Frank Leymann}, title = {{EWFN - A Petri Net Dialect for Tuplespace-based Workflow Enactment}}, booktitle = {Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets (AWPN 2008). Rostock, Germany, September 26 - 27, 2008.}, editor = {Niels Lohmann and Karsten Wolf}, publisher = {CEUR-Workshop-Proceedings}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, series = {CEUR-Workshop-Proceedings}, volume = {380}, pages = {7--14}, type = {Workshop-Beitrag}, month = {September}, year = {2008}, issn = {1613-0073}, keywords = {ewfn; petri net; tuplespace; linda; workflow; distributed workflow enactment}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, ee = {http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-380/}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Petri nets are a formalism for describing systems where interactions between
active components -- so-called transitions -- are modeled as exchanges of
tokens over passive places. Whether a transition may fire is solely dependent
on the availability of tokens in its incoming places; similarly a transition
forwards control to subsequent transitions by storing tokens in their
respective input places. This interaction model of strong decoupling through
local actions and local effects makes distributed systems modeled via Petri
nets highly extensible. In this paper, we present the syntax and semantics of a
model that leverages the extensibility provided by Petri nets for representing
BPEL processes in a way that enables their distributed and decentralized
execution using tuplespace middleware. Said middleware implements the proposed
Petri net dialect and therefore allows for direct, distributed execution of the
modeled processes.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-108&engl=0} }
@inproceedings {INPROC-2008-107, author = {Daniel Martin and Daniel Wutke and Frank Leymann}, title = {{A Novel Approach to Decentralized Workflow Enactment}}, booktitle = {Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference (EDOC 2008). Munich, Germany, September 15 - 19, 2008.}, publisher = {IEEE Computer Society}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, pages = {127--136}, type = {Konferenz-Beitrag}, month = {September}, year = {2008}, isbn = {978-0-7695-3373-5}, keywords = {tuplespace; petri nets; workflow; bpel; linda; coordination}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Web service orchestrations -- 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 services, i.e. the business functions used
by the composite application, are composed through BPEL's control flow
constructs. BPEL processes Web service orchestrations, business functions
therefore can be transparently accessed remotely, allowing to build composite
applications that integrate business functions provided by different partners
on different locations. As of today, execution of BPEL processes, i.e. the
evaluation of the processes' control flow, is performed by a central workflow
engine. In certain scenarios, such as complex collaborative cross-partner
interactions, this approach of centralized workflow enactment leads to
``un-natural'' process models; process models that are not driven by the
processes' original business goal but by infrastructural or organizational
reasons. In this paper, we propose an alternative approach to enacting BPEL
process control flow in a distributed, decentralized manner. We present the
overall process lifecycle and give a detailed description of the underlying
process model.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-107&engl=0} }
@inproceedings {INPROC-2008-106, author = {Lyndon Nixon and Kia Teymourian and Daniel Martin and Daniel Wutke}, title = {{Triple Space as a Global Semantic Coordination Middleware}}, booktitle = {Proceedings of the 17th International Workshop on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2008). Rome, Italy, June 23 - 25, 2008.}, publisher = {IEEE}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, pages = {1--1}, type = {Workshop-Beitrag}, month = {Juni}, year = {2008}, keywords = {triplespace; tuplespace; tripcom}, 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 = {Triple Space Middleware is a highly scalable, semantically enhanced platform
for automatic machine-based communication on the basis of Web services,
Semantic Web technologies and the coordination medium of Tuple Spaces. For
this, we specify and prototypically implement a Triple Space system that
innovatively combines these three research areas. As a result, we are able to
support an emerging global Web-based communication scenario where semantics,
autonomy, distribution, heterogeneity and coordination are vital. In this paper
we present a high-level overview of the Triple Space architecture, introduce
our approach to enable Web-scale distribution of triplespaces and describe the
setup we use for our live demonstration.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-106&engl=0} }
@inproceedings {INPROC-2008-105, author = {Daniel Martin and Daniel Wutke and Frank Leymann}, title = {{Synchronizing Control Flow in a Tuplespace-Based, Distributed Workflow Management System}}, booktitle = {Proceedings of the 10th International Conference on Electronic Commerce 2008 (ICEC 08). Innsbruck, Austria, August 19 - 22, 2008.}, editor = {Hannes Werthner Dieter Fensel}, address = {Innsbruck, Austria}, publisher = {ACM}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, series = {ACM International Conference Proceeding Series}, volume = {342}, pages = {1--1}, type = {Konferenz-Beitrag}, month = {August}, year = {2008}, isbn = {978-1-60558-075-3}, doi = {http://doi.acm.org/10.1145/1409540.1409555}, keywords = {worklflow; bpel; petri nets; control-flow; tuplespaces; distributed workflow enactment}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, ee = {http://portal.acm.org/citation.cfm?id=1409555&jmp=references&coll=&dl=&CFID=4129684&CFTOKEN=89242680#references}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Decentralized workflow enactment -- the process of evaluating control flow in a
distributed manner -- is a key aspect of the implementation of a decentralized
workflow management system (WfMS). A major challenge in this field is the
support for join operations to synchronize concurrent threads of control flow.
The original Linda model however does not provide operations for matching more
than one tuple in a single operation -- complex logic needs to be implemented
on the client side, having severe impact on performance and breaking the
concept of coordination languages by mixing coordination and application logic.
In this paper, we stress the need for an extended tuplespace model that
natively supports the sync operation realizing WS-BPEL synchronizing joins
directly on the tuplespace level. We pay special attention to the description
of its semantics and propose an algorithm for efficient implementation on a
single tuplespace. For the common case in distributed workflow enactment, where
control flow is distributed over multiple tuplespaces, we present an
optimization of the aforementioned algorithm in form of the sync pattern.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-105&engl=0} }
@inproceedings {INPROC-2008-100, author = {Carlos Pedrinaci and Dave Lambert and Branimir Wetzstein and Tammo van Lessen and Luchesar Cekov and Marin Dimitrov}, title = {{SENTINEL: a semantic business process monitoring tool}}, booktitle = {Proceedings of the First International Workshop on Ontology-supported Business Intelligence, OBI 2008, Karlsruhe, Germany, October 27, 2008}, editor = {Alistair Duke and Martin Hepp and Kalina Bontcheva and Marc B. Vilain}, publisher = {Association for Computing Machinery (ACM)}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, series = {ACM International Conference Proceeding Series}, volume = {308}, pages = {1--12}, type = {Workshop-Beitrag}, month = {Oktober}, year = {2008}, isbn = {978-1-60558-219-1}, keywords = {Business Activity Monitoring; Business Process Analysis; Semantic Business Process Management}, language = {Englisch}, cr-category = {D.2.8 Software Engineering Metrics,
D.2.9 Software Engineering Management,
H.4.1 Office Automation,
I.2.4 Knowledge Representation Formalisms and Methods}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Business Activity Monitoring (BAM) aims to support the real-time analysis of
business processes in order to improve the speed and effectiveness of business
operations. Providing a timely, integrated high-level view on the evolution and
well-being of business activities within enterprises constitutes a highly
valuable analytical tool for monitoring, managing and hopefully enhancing
businesses. However, the degree of automation currently achieved cannot support
the level of reactivity and adaptation demanded by businesses. We argue that
the fundamental problem is that moving between the business level and the IT
level is insufficiently automated and suggest an extensive use of semantic
technologies as a solution. In particular, we present SENTINEL a Semantic
Business Process Monitoring tool that advances the state of the art in BAM by
making extensive use of semantic technologies in order to support the
integration and derivation of business level knowledge out of low-level audit
trails generated by IT systems.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-100&engl=0} }
@inproceedings {INPROC-2008-09, author = {Dimka Karastoyanova and Tammo van Lessen and Frank Leymann and Zhilei Ma and J{\"o}rg Nitzsche and Branimir Wetzstein and Sami Bhiri and Manfred Hauswirth and Maciej Zaremba}, title = {{A Reference Architecture for Semantic Business Process Management Systems}}, booktitle = {Multikonferenz Wirtschaftsinformatik 2008}, editor = {Martin Bichler and Thomas Hess and Helmut Krcmar and Ulrike Lechner and Florian Matthes and Arnold Picot and Benjamin Speitkamp and Petra Wolf}, address = {Berlin}, publisher = {GITO-Verlag}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, pages = {371--372}, type = {Konferenz-Beitrag}, month = {Februar}, year = {2008}, isbn = {978-3-940019-34-9}, language = {Englisch}, cr-category = {H.5.4 Hypertext/Hypermedia}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Semantic Business Process Management (SBPM) enhances BPM with semantic
technologies in order to increase the degree of automation in the BPM lifecycle
and help in bridging the gap between the business and IT views on business
processes. In this paper, we describe the architecture of an SBPM System
(SBPMS) which supports the whole SBPM lifecycle by providing functionality for
process modeling, process configuration, process execution, and process
analysis. We analyze the functional requirements of the SBPMS from the business
user's and the IT expert's point of view and derive and describe the components
of the SBPMS and their key interactions to achieve the required
functionalities. We show how existing BPMS components can be extended to use
semantics, and describe the integration of new components, such as a Semantic
Execution Environment. The presented SBPMS is based on BPMN, BPEL and WSMO
technologies.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-09&engl=0} }
@inproceedings {INPROC-2008-08, author = {Ralph Mietzner and Zhilei Ma and Frank Leymann}, title = {{An Algorithm for the Validation of Executable Completions of an Abstract BPEL Process}}, booktitle = {Multikonferenz Wirtschaftsinformatik 2008}, editor = {Martin Bichler and Thomas Hess and Helmut Krcmar and Ulrike Lechner and Florian Matthes and Arnold Picot and Benjamin Speitkamp and Petra Wolf}, address = {Berlin}, publisher = {GITO-Verlag}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, pages = {437--438}, type = {Konferenz-Beitrag}, month = {Februar}, year = {2008}, language = {Englisch}, cr-category = {D.3.0 Programming Languages General,
G.4 Mathematical Software}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Abstract: WS-BPEL is the standard for specifying and executing business
processes by orchestrating Web Services. Abstract and executable processes are
two kinds of BPEL processes that are defined in the BPEL standard. An abstract
process can be used as a process template, which can be completed and made
executable through ``executable completion''. The BPEL standard defines a set of
rules that must be obeyed during such an executable completion. In this paper,
we present an algorithm for validating whether an executable BPEL process is a
valid executable completion of an abstract BPEL process. Our approach advances
the existing XML comparison algorithms in a way that it takes the BPEL-specific
characteristics into account and is optimized towards the validation of
``executable completion'' of abstract BPEL processes.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-08&engl=0} }
@inproceedings {INPROC-2008-05, author = {Sylvia Radesch{\"u}tz and Bernhard Mitschang and Frank Leymann}, title = {{Matching of Process Data and Operational Data for a Deep Business Analysis}}, booktitle = {Proc. of the 4th International Conference on Interoperability for Enterprise Software and Applications (I-ESA 2008), Berlin, M{\"a}rz 26-28, 2008.}, address = {London}, publisher = {Springer-Verlag}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, pages = {171--182}, type = {Konferenz-Beitrag}, month = {M{\"a}rz}, year = {2008}, doi = {10.1007/978-1-84800-221-0_14}, language = {Englisch}, cr-category = {H.2.4 Database Management Systems}, ee = {http://www.aidima.es/iesa2008/}, 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 = {Efficient adaptation to new situations of a company's business and its business
processes plays an important role for achieving advantages in competition to
other companies. For an optimization of processes, a profound analysis of all
relevant information in the company is necessary. Analyses typically specialize
either on process analysis or on data warehousing of operational data. A
consolidation of business data is needed, i.e. of internal process execution
data and external operational data, in order to allow for interoperability
between these major business data sources to analyze and optimize processes in
a much more comprehensive scope. This paper introduces a framework that offers
various data descriptions to reach an efficient matching of process data and
operational data, and shows its enhancement compared to separate analyses and
other matching approaches.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-05&engl=0} }
@article {ART-2008-21, author = {Oliver Kopp and Frank Leymann}, title = {{Choreography Design Using WS-BPEL}}, journal = {Bulletin of the IEEE Computer Society Technical Committee on Data Engineering}, editor = {David B. Lohmet}, publisher = {IEEE Computer Society Press}, volume = {31}, number = {3}, pages = {31--34}, type = {Artikel in Zeitschrift}, month = {September}, year = {2008}, keywords = {BPEL4Chor; Choreography}, language = {Englisch}, cr-category = {H.4.1 Office Automation,
K.1 The Computer Industry}, ee = {http://tab.computer.org/tcde/bull_about.html,
http://tab.computer.org/tcde/bull_issues.html}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Web Services are the state-of-the-art realization of a service-oriented
architecture. While there is an agreed standard to describe the interface of
services (WSDL) as well as an agreed standard to describe the behavior of a
single process (WS-BPEL), there is no agreed standard to describe
choreographies. In this paper, we give an overview about existing approaches to
model choreographies and present one approach based on WS-BPEL in detail.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2008-21&engl=0} }
@article {ART-2008-20, author = {J{\"o}rg Nitzsche and Tammo van Lessen and Dimka Karastoyanova and Frank Leymann}, title = {{Composing Services on the Grid Using BPEL4SWS}}, journal = {Multiagent and Grid Systems}, publisher = {IOS Press}, volume = {4}, type = {Artikel in Zeitschrift}, month = {Dezember}, year = {2008}, keywords = {Grid; BPEL; BPEL4SWS; Grid Services; Web Services; Semantic Web Services; Scientific Workflows}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Service composition on the Grid is a challenging task as documented in existing
research work. Even though there are initial attempts to use the Business
Process Execution Language (BPEL) to compose services on the Grid, still there
is a significant lack of flexibility and reusability needed in scientific
applications. In this paper we present BPEL for Semantic Web Services
(BPEL4SWS) - a language that facilitates the orchestration of Grid Services
exposed as traditional Web Services or Semantic Web Services using a
process-based approach. It is based on the idea of WSDL-less BPEL and
incorporates semantic descriptions of process activity implementations which
increases the flexibility of business workflows as well as scientific
workflows. Following an approach that uses a set of composable standards and
specifications, BPEL4SWS is independent of any Semantic Web Service framework
and therefore can also utilize any kind of Semantic Grid services. The
advantages of BPEL4SWS are: (1) compliance with standards, (2) independence on
service technologies, (3) applicability for both business applications as well
as scientific workflows that use Grid services, (4) improved flexibility of
processes.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2008-20&engl=0} }
@article {ART-2008-15, author = {Michael P. Papazoglou and Paolo Traverso and Schahram Dustdar and Frank Leymann}, title = {{Service-Oriented Computing: A Research Roadmap}}, journal = {International Journal of Cooperative Information Systems (IJCIS)}, publisher = {World Scientific}, volume = {17}, number = {2}, pages = {233--255}, type = {Artikel in Zeitschrift}, month = {Juni}, year = {2008}, doi = {10.1142/S0218843008001816}, keywords = {Service-oriented computing; service-oriented earchitecture; business process; service composition; service management}, language = {Englisch}, cr-category = {H.4.1 Office Automation,
K.1 The Computer Industry}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Service-Oriented Computing (SOC) is a new computing paradigm that utilizes
services as the basic constructs to support the development of rapid, low-cost
and easy composition of distributed applications even in heterogeneous
environments. The promise of Service-Oriented Computing is a world of
cooperating services where application components are assembled with little
effort into a network of services that can be loosely coupled to create
flexible dynamic business processes and agile applications that may span
organizations and computing platforms. The subject of Service-Oriented
Computing is vast and enormously complex, spanning many concepts and
technologies that find their origins in diverse disciplines that are woven
together in an intricate manner. In addition, there is a need to merge
technology with an understanding of business processes and organizational
structures, a combination of recognizing an enterprise's pain points and the
potential solutions that can be applied to correct them. The material in
research spans an immense and diverse spectrum of literature, in origin and in
character. As a result research activities are very fragmented. This
necessitates that a broader vision and perspective be established — one that
permeates and transforms the fundamental requirements of complex applications
that require the use of the Service-Oriented Computing paradigm.
This paper provides a Service Oriented Computing Roadmap and places on-going
research activities and projects in the broader context of this roadmap. This
research roadmap launches four pivotal, inherently related, research themes to
Service-Oriented Computing: service foundations, service composition, service
management and monitoring and service-oriented engineering.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2008-15&engl=0} }
@article {ART-2008-14, author = {Rania Khalaf and Oliver Kopp and Frank Leymann}, title = {{Maintaining Data Dependencies Across BPEL Process Fragments}}, journal = {International Journal of Cooperative Information Systems (IJCIS)}, publisher = {World Scientific}, volume = {17}, number = {3}, pages = {259--282}, type = {Artikel in Zeitschrift}, month = {September}, year = {2008}, doi = {10.1142/S0218843008001828}, keywords = {fragments; business process; BPEL; data consistency}, language = {Englisch}, cr-category = {C.2.4 Distributed Systems,
H.3.5 Online Information Services,
H.4.1 Office Automation}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Continuous process improvement (CPI) may require a BPEL process to be split
amongst different participants. In this paper, we enable splitting standard
BPEL — without requiring any new middleware for the case of flat flows. The
solution also supports splitting loops and scopes that have compensation and/or
fault handlers. When splitting loops and scopes, we extend existing Web
services standards and frameworks in a standard compliant manner in order to
support the resulting split control (not data) between the fragments. Data
dependencies, however, are handled directly using BPEL constructs placed in the
fragments even for split loops and scopes.
We present a solution that uses a BPEL process, partition information, and
results of data-flow analysis to produce a BPEL process for each participant.
The collective behavior of these participant processes recreates the control
and data flow of the non-split process. Previous work presented process
splitting using a variant of BPEL where data flow is modeled explicitly using
``data links''. We reuse the control flow aspect from that work as well as the
control flow aspect from our work on splitting loops and scopes, focusing in
this paper on maintaining the data dependencies in standard BPEL.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2008-14&engl=0} }
@article {ART-2008-01, author = {Gero Decker and Oliver Kopp and Alistair Barros}, title = {{An Introduction to Service Choreographies}}, journal = {Information Technology}, publisher = {Oldenbourg Verlag}, volume = {50}, number = {2}, pages = {122--127}, type = {Artikel in Zeitschrift}, month = {Februar}, year = {2008}, issn = {1611-2776}, doi = {10.1524/itit.2008.0473}, keywords = {Choreography modeling; BPEL4Chor; WS-CDL; Let's Dance}, language = {Englisch}, cr-category = {H.4.1 Office Automation,
K.1 The Computer Industry}, ee = {http://www.it-information-technology.de/}, contact = {oliver.kopp@iaas.uni-stuttgart.de}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Service oriented architecture (SOA) is an architectural style for building
software systems based on services. Especially in those scenarios where
services implement business processes, complex conversations between the
services occur. Service choreographies are a means to capture all interaction
obligations and constraints from a global perspective. This article introduces
choreographies as an important artifact for SOA, compares them to service
orchestrations and surveys existing languages for modeling them.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2008-01&engl=0} }
@inbook {INBOOK-2008-01, author = {Frank Leymann and Ralph Mietzner}, title = {{Neue Gesch{\"a}ftsmodelle durch SOA}}, series = {Soa f{\"u}r Agile Unternehmen}, address = {D{\"u}sseldorf}, publisher = {Symposion Publishing}, pages = {71--96}, type = {Beitrag in Buch}, month = {April}, year = {2008}, isbn = {978-3-939707-14-1}, language = {Deutsch}, cr-category = {H.4.1 Office Automation}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {SOA wird die Unternehmens-IT ver{\"a}ndern, denn eine serviceorientierte
Architektur bietet viele Vorteile wie erh{\"o}hte Wiederverwendbarkeit und mehr
Flexibilit{\"a}t durch Prozessorientierung. Hierdurch werden auch neue
Gesch{\"a}ftsmodelle wie Outsourceing von Diensten oder Software as a Service
entstehen.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INBOOK-2008-01&engl=0} }
@proceedings {PROC-2008-01, editor = {Karl M. G{\"o}schka and Schahram Dustdar and Frank Leymann and Vladimir Tosic}, title = {{Proceedings of the 3rd Workshop on Middleware for Service Oriented Computing, MW4SOC 2008, Leuven, Belgium}}, publisher = {ACM}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, type = {Tagungsband}, month = {Dezember}, year = {2008}, isbn = {978-1-60558-368-6}, language = {Englisch}, cr-category = {H.4.1 Office Automation}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen;
Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen}, abstract = {Proceedings of the 3rd Workshop on Middleware for Service Oriented Computing,
MW4SOC 2008, Leuven, Belgium, December 1-5, 2008}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=PROC-2008-01&engl=0} }
|
|