 |
|
@inproceedings {INPROC-2007-99,
author = {Rania Khalaf and Dimka Karastoyanova and Frank Leymann},
title = {{Pluggable Framework for Enabling the Execution of Extended BPEL Behavior}},
booktitle = {Proceedings of the 3rd International Workshop on Engineering Service-Oriented Application (WESOA'2007)},
publisher = {Unbekannt},
institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
type = {Workshop-Beitrag},
month = {September},
year = {2007},
doi = {10.1007/978-3-540-93851-4_37},
keywords = {Web services, AOP, middleware reuse, business process, BPEL},
language = {Englisch},
cr-category = {H.4.1 Office Automation},
department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
abstract = {Adding runtime support for BPEL extensions typically requires (1) reacting to
navigation events from a BPEL engine executing an extended process model and
(2) affecting the engine’s navigation behavior based on external triggers. This
is usually achieved in a proprietary way for each engine and for each
extension.
In this paper, we provide a systematic approach to controlling and reacting to
process behavior as well as growing the set of supported control points, thus
enabling support for multiple application domains in a composable manner in a
BPEL engine. The framework presented in this paper (1) enables a BPEL engine to
support extensions, even on existing BPEL processes, and (2) allows developers
to create pluggable extension implementations that can be reused across
multiple BPEL engines. An implementation of the approach is presented and used
in three different projects that need widely differing extended BPEL
capabilities.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-99&engl=0}
}
@inproceedings {INPROC-2007-98,
author = {Kerstin Pfitzner and Gero Decker and Oliver Kopp and Frank Leymann},
title = {{Web Service Choreography Configurations for BPMN}},
booktitle = {Proceedings of the 3rd International Workshop on Engineering Service-Oriented Application (WESOA'2007)},
editor = {E. di Notto and M. Ripeanu},
address = {Berlin, Heidelberg},
publisher = {Springer},
institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
series = {Lecture Notes in Computer Science},
volume = {4907},
pages = {401--412},
type = {Workshop-Beitrag},
month = {September},
year = {2007},
doi = {10.1007/978-3-540-93851-4_39},
language = {Englisch},
cr-category = {H.4.1 Office Automation},
ee = {http://wesoa07.googlepages.com/},
department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
abstract = {The Business Process Modeling Notation (BPMN) and the Business Process
Execution Language (BPEL) are the de-facto standards for process modeling and
implementation. While BPMN allows to define choreographies, i.e. the
interaction behavior of interconnected services, BPEL only allows an
endpoint-centric view on services. To achieve applicability of BPEL in the
choreography space, we defined BPEL4Chor as choreography extensions for BPEL in
previous work. This paper extends on this work and makes a contribution for the
model-driven development of service-based systems in inter-organizational
settings: It extends BPMN for enabling the generation of fully defined
BPEL4Chor choreographies and presents how to carry out this transformation.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-98&engl=0}
}
@inproceedings {INPROC-2007-96,
author = {Olaf Zimmermann and Jana Koehler and Frank Leymann},
title = {{Architectural Decision Models as Micro-Methodology for Service-Oriented Analysis and Design}},
booktitle = {Workshop on Software Engineering Methods for Service Oriented Architecture 2007 (SEMSOA 2007)},
publisher = {CEUR},
institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
type = {Workshop-Beitrag},
month = {Mai},
year = {2007},
keywords = {Architectural decisions; methodology; MDA; service design; SOA},
language = {Englisch},
cr-category = {K.1 The Computer Industry},
ee = {http://www.se.uni-hannover.de/semsoa-2007/index.php/Home,
http://CEUR-WS.org/Vol-244/},
department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
abstract = {During the construction of service-oriented architectures, service modelers
concern themselves with the characteristics of good services and how such
services can be designed. For instance, they look for advice regarding
interface granularity and criteria to assess whether existing software assets
are fit for reuse in service-oriented environments. There are no
straightforward answers to such questions – service identification,
specification and realization techniques are required. Service identification
and specification are well covered by existing methodologies; for service
realization, architectural decision models can be leveraged. At present, the
construction of architectural decision models is an education- and
labor-intensive undertaking; if such models exist at all, they often are
isolated from other artifacts. In this paper, we propose a new engineering
approach to service modeling that leverages reusable architectural decision
models as its central service realization concept. We outline a multi-level
decision tree and position it as a prescriptive service realization methodology
for three engagement types observed in practice. The benefits of service
engineering with reusable architectural decision models are semiautomatic
decision identification in analysis models, improved decision making quality,
and better decision enforcement and risk mitigation capabilities.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-96&engl=0}
}
@inproceedings {INPROC-2007-93,
author = {Olaf Zimmermann and Thomas Gschwind and Jochen Malte K{\"u}ster and Frank Leymann and Nelly Schuster},
title = {{Reusable Architectural Decision Models for Enterprise Application Development}},
booktitle = {Third International Conference on the Quality of Software-Architectures (QoSA 2007)},
editor = {Sven Overhage and Clemens A. Szyperski and Ralf Reussner and Judith A. Stafford},
publisher = {Springer},
institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
series = {Lecture Notes in Computer Science},
volume = {4880},
pages = {15--32},
type = {Konferenz-Beitrag},
month = {Juli},
year = {2007},
isbn = {978-3-540-77617-8},
doi = {10.1007/978-3-540-77619-2_2},
keywords = {Architectural decision; architectural knowledge; MDA; SOA},
language = {Englisch},
cr-category = {D.2.11 Software Engineering Software Architectures},
ee = {http://qosa.ipd.uka.de/},
department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
abstract = {In enterprise application development and other software construction projects,
a critical success factor is to make sound architectural decisions. Text
templates and tool support for capturing architectural decisions exist, but
have failed to reach broad adoption so far. One of the inhibitors we perceived
on large-scale industry projects is that architectural decision capturing is
regarded as a retrospective and therefore unwelcome documentation task which
does not provide any benefit during the original design work. A major problem
of such a retrospective approach is that the decision rationale is not
available to decision makers when they identify, make, and enforce decisions.
Often a large, possibly distributed, community of decision makers is involved
in these three steps. In this paper, we propose a new conceptual framework for
proactive decision identification, decision maker collaboration, and decision
enforcement. Based on a meta model capturing reuse and collaboration aspects
explicitly, our framework instantiates decision models from requirements models
and re usable decision templates. These templates capture know ledge gained on
other projects em ploy ing the same architectural style. As an exemplary
application of these concepts to service-oriented architecture shows, reusable
architectural decision models can speed up the decision identification and
improve the quality of the decision making. Reusable architectural decision
models can also simplify the exchange of architecture design rationale within
and between project teams, and expose decision out come as model transformation
parameters in model-driven software development.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-93&engl=0}
}
@inproceedings {INPROC-2007-92,
author = {Olaf Zimmermann and Jonas Grundler and Stefan Tai and Frank Leymann},
title = {{Architectural Decisions and Patterns for Transactional Workflows in SOA}},
booktitle = {Proc. 5th International Conference on Service Oriented Computing – ICSOC 2007},
editor = {Bernd J. Kr{\"a}mer and Kwei-Jay Lin and Priya Narasimhan},
publisher = {Springer},
institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
series = {Lecture Notes in Computer Science},
volume = {4749},
pages = {81--93},
type = {Konferenz-Beitrag},
month = {September},
year = {2007},
isbn = {978-3-540-74973-8},
doi = {10.1007/978-3-540-74974-5_7},
language = {Englisch},
cr-category = {D.2.11 Software Engineering Software Architectures,
H.2.4 Database Management Systems},
ee = {http://www.icsoc.org},
department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
abstract = {An important architectural style for constructing enterprise applications is to
use transactional workflows in SOA. In this setting, workflow activities invoke
distributed services in a coordinated manner, using transaction
context-propagating messages, coordination protocols, and compensation logic.
Designing such transactional workflows is a time-consuming and error-prone task
requiring deep subject matter expertise. Aiming to alleviate this problem, we
introduce a new analysis and design method that (a) identifies recurring
architectural decisions in analysis-level process models, (b) models
alternatives for these decisions as reusable, platform-independent patterns and
primitives, and (c) maps the patterns and primitives into technology- and
platform-specific settings in BPEL and SCA. Our method accelerates the
identification of decisions, empowers process modelers to make informed
decisions, and automates the enforcement of the decisions in deployment
artifacts; tool support is available. We demon strate value and feasibility of
our method in an industry case study.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-92&engl=0}
}
@inproceedings {INPROC-2007-91,
author = {Jussi Vanhatalo and Hagen V{\"o}lzer and Frank Leymann},
title = {{Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition}},
booktitle = {Service-Oriented Computing – ICSOC 2007},
editor = {Bernd J. Kr{\"a}mer and Kwei-Jay Lin and Priya Narasimhan},
publisher = {Springer},
institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
series = {Lecture Notes in Computer Science},
volume = {4749},
pages = {43--55},
type = {Konferenz-Beitrag},
month = {September},
year = {2007},
isbn = {978-3-540-74973-8},
doi = {10.1007/978-3-540-74974-5_4},
language = {Englisch},
cr-category = {F.3.2 Semantics of Programming Languages,
F.3.3 Studies of Program Constructs},
ee = {http://www.icsoc.org/},
department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
abstract = {We present a technique to enhance control-flow analysis of business process
models. The technique considerably speeds up the analysis and improves the
diagnostic information that is given to the user to fix control-flow errors.
The technique consists of two parts: Firstly, the process model is decomposed
into single-entry-single-exit (SESE) fragments, which are usually substantially
smaller than the original process. This decomposition is done in linear time.
Secondly, each fragment is analyzed in isolation using a fast heuristic that
can analyze many of the fragments occurring in practice. Any remaining
fragments that are not covered by the heuristic can then be analyzed using any
known complete analysis technique.
We used our technique in a case study with more than 340 real business
processes modeled with the IBM WebSphere Business Modeler. The results suggest
that control-flow analysis of many real process models is feasible without
significant delay (less than a second). Therefore, control-flow analysis could
be used frequently during editing time, which allows errors to be caught at
earliest possible time.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-91&engl=0}
}
@inproceedings {INPROC-2007-90,
author = {Stefan Pottinger and Ralph Mietzner and Frank Leymann},
title = {{Coordinate BPEL Scopes and Processes by Extending the WS-Business Activity Framework}},
booktitle = {Proceedings of the 15th International Conference on Cooperative Information Systems (CoopIS 2007)},
editor = {Robert Meersman and Zahir Tari},
publisher = {Springer},
institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
series = {Lecture Notes in Computer Science},
volume = {4803},
pages = {336--352},
type = {Konferenz-Beitrag},
month = {November},
year = {2007},
isbn = {978-3-540-76846-3},
doi = {10.1007/978-3-540-76848-7_22},
keywords = {WS-BA; BPEL; coordination; long-running transactions; sub-processes},
language = {Englisch},
cr-category = {C.2.4 Distributed Systems,
H.2.4 Database Management Systems,
H.3.5 Online Information Services,
H.4.1 Office Automation},
department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
abstract = {In a Web service world, the Web Services Business Process Execution Language
(WS-BPEL) is the standard used to compose Web services into business processes.
These processes are often long-running. Therefore WS-BPEL employs a
long-running transaction model to handle the internal transactions of a WS-BPEL
process. WS-Business Activity (WS-BA) is a set of mechanisms and protocols to
coordinate a set of Web Services into a long-running compensation-based
transaction. Up to now, it was not possible to let parts of a WS-BPEL process
participate in a WS-BA coordination. We show how WS-BA needs to be extended to
allow parts of a WS-BPEL process to participate in a WS-BA coordination, which
is supervised by an external coordinator. In addition our approach allows
external partners to participate in these modified internal WS-BA transactions
initiated by a WS-BPEL process and also allows for easy incorporation of BPEL
sub-processes into the proposed coordination model. The architecture of a
prototype implementing our approach is sketched.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-90&engl=0}
}
@inproceedings {INPROC-2007-89,
author = {Francisco Curbera and Frank Leymann and Mathias Weske},
title = {{CoopIS 2007 PC Co-chairs' Message}},
booktitle = {proceeding of the 15th International Conference on Cooperative Information Systems (CoopIS 2007)},
editor = {Robert Meersman and Zahir Tari},
publisher = {Springer},
institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
series = {Lecture Notes in Computer Science},
volume = {4803},
pages = {3--3},
type = {Workshop-Beitrag},
month = {Januar},
year = {2007},
isbn = {978-3-540-76846-3},
doi = {10.1007/978-3-540-76848-7_1},
language = {Englisch},
cr-category = {K.1 The Computer Industry},
department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
abstract = {Welcome to the proceeding of the 15th International Conference on Cooperative
Information Systems (CoopIS 2007) held in Vilamoura, Portugal, November 28-30,
2007.
The CoopIS conferences provide a forum for exchanging ideas and results on
scientific research from a variety of areas, such as CSCW, Internet data
management, electronic commerce, human–computer interaction, business process
management, agent technologies, P2P systems, and software architectures, to
name but a few. We encourage the participation of both researchers and
practitioners in order to facilitate exchange and cross-fertilization of ideas
and to support the transfer of knowledge to research projects and products.
Towards this goal, we accepted both research and experience papers.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-89&engl=0}
}
@inproceedings {INPROC-2007-81,
author = {Niels Lohmann and Oliver Kopp and Frank Leymann and Wolfgang Reisig},
title = {{Analyzing BPEL4Chor: Verification and Participant Synthesis}},
booktitle = {Web Services and Formal Methods, Forth International Workshop, WS-FM 2007 Brisbane, Australia},
editor = {Marlon Dumas and Reiko Heckel},
publisher = {Springer-Verlag},
institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
pages = {46--60},
type = {Workshop-Beitrag},
month = {September},
year = {2007},
doi = {10.1007/978-3-540-79230-7_4},
language = {Englisch},
cr-category = {D.2.4 Software Engineering Software/Program Verification,
F.3.1 Specifying and Verifying and Reasoning about Programs,
F.3.2 Semantics of Programming Languages,
K.1 The Computer Industry},
ee = {http://bpm07.fit.qut.edu.au/ws-fm07/,
http://www2.informatik.hu-berlin.de/top/tools4bpel/},
contact = {kopp@iaas.uni-stuttgart.de},
department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
abstract = {Choreographies offer means to capture global interactions between business
processes of different partners. BPEL4Chor has been introduced to describe
these interactions using BPEL. Currently, there are no formal methods available
to verify BPEL4Chor choreographies. In this paper, we present how BPEL4Chor
choreographies can be verified using Petri nets. A case study undermines that
our verification techniques scale. Additionally, we show how the verification
techniques can be used to generate a stub process for a partner taking part in
a choreography. This is especially useful when the behavior of one participant
is intended to follow the corresponding requirements of the other participants.
Thus, the missing participant behavior can be generated and the error-prone
design of that participant can be skipped.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-81&engl=0}
}
@inproceedings {INPROC-2007-80,
author = {Daniel Martin and Daniel Wutke and Thorsten Scheibler and Frank Leymann},
title = {{An EAI Pattern-Based Comparison of Spaces and Messaging}},
booktitle = {Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007). Annapolis, Maryland, October 15-19, 2007},
publisher = {IEEE},
institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
pages = {511--517},
type = {Konferenz-Beitrag},
month = {Oktober},
year = {2007},
isbn = {978-0-7695-2891-5},
doi = {10.1109/EDOC.2007.31},
keywords = {EAI; Tuplespaces; Messaging; MOM; Comparison; Linda Coordination Language},
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 = {Enterprise Application Integration (EAI) is a major challenge for enterprises
to ensure optimal utilization of their landscape of diverse applications.
$\backslash$emph{Enterprise Application Integration Patterns} help to ease this problem by
describing recurring EAI problems and proposing possible solutions. As of
today, Message-oriented Middleware (MOM) is state-of-the-art for EAI
integration middleware infrastructures. However, Space-based computing (SBC)
has been found to offer essentially the same qualities as MOM in terms of
asynchronous, reliable and loosely coupled communication and might therefore
provide a suitable alternative to MOM in the field of EAI. The objective of
this paper is to provide a comparison of MOM and SBC from an application's
point of view through an in-depth analysis of EAI patterns, assuming SBC
instead of MOM as their underlying middleware.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-80&engl=0}
}
@inproceedings {INPROC-2007-69,
author = {Oliver Kopp and Hanna Eberle and Frank Leymann and Tobias Unger},
title = {{From Process Models to Business Landscapes}},
booktitle = {EPK 2007: Gesch{\"a}ftsprozessmanagement mit Ereignisgesteuerten Prozessketten},
editor = {Markus N{\"u}ttgens and Frank J. Rump Rump and Andreas Gadatsch},
publisher = {Online},
institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
series = {CEUR Workshop Proceedings},
volume = {303},
pages = {7--22},
type = {Workshop-Beitrag},
month = {Dezember},
year = {2007},
keywords = {FMC, EPK, EPC, architecture},
language = {Englisch},
cr-category = {H.4.1 Office Automation},
ee = {http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-303/},
contact = {kopp@iaas.uni-stuttgart.de},
department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
abstract = {Today, architecture and business processes are modeled separately. The only
integration in architectural diagrams is done with Petri nets in the
Fundamental Modeling Concept. Since business users prefer EPCs over Petri nets,
we show how information of extended EPCs can be transformed into business
landscapes. This facilitates development of IT landscapes satisfying the
requirements of the business process and adoption of existing IT
infrastructures to new requirements.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-69&engl=0}
}
@inproceedings {INPROC-2007-68,
author = {David de Francisco and Noelia Perez and Doug Foxvog and Andreas Harth and Daniel Martin and Daniel Wutke and Marin Murth and Elena Paslaru Bontas Simperl},
title = {{Towards a Digital Content Services Design Based on Triple Space}},
booktitle = {Proceedings of the 10th International Conference on Business Information Systems (BIS 2007). Poznan, Poland April 25-27, 2007},
publisher = {Springer-Verlag},
institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
series = {Lecture Notes in Computer Science},
volume = {4439},
pages = {163--178},
type = {Konferenz-Beitrag},
month = {April},
year = {2007},
keywords = {Triple Space; Digital Asset Management; Enterprise Application Integration; Space-based Computing},
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 = {Digital Asset Management is an emerging business for telecommunication
companies, especially when applied to the entertainment market. Current
implementations try to overcome the integration needs from each actor
participating in the business processes by using Enterprise Application
Integration. Triple Space is a space-based communication infrastructure which
provides semantic mediation between actors involved in a dialogue.
This paper presents a Digital Asset Management use case in which Triple Space
will be applied to fulfill the inherent needs of this business domain through
the use of this new semantic communication paradigm.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-68&engl=0}
}
@inproceedings {INPROC-2007-67,
author = {David de Franciso and Javier Elicegui and Daniel Martin and Martin Murth and Daniel Wutke},
title = {{Using Triple Spaces to Implement a Marketplace Pattern}},
booktitle = {Proceedings of the first workshop on Space Based Computing as Semantic Middleware for Enterprise Application Integration : SBC 2007, in conjunction with ESTC 2007. Vienna, Austria, May 31, 2007},
publisher = {Online},
institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
pages = {1--8},
type = {Workshop-Beitrag},
month = {Mai},
year = {2007},
keywords = {Marketplace; Pattern; Triple Space; Agent; Architecture; Space-based Computing},
language = {Deutsch},
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 = {Marketplaces are a commonly applied model when matching orders from many
sellers to many buyers. It applies to global business models where sellers want
to sell their goods by using different channels to a large number of
potentially interested buyers, like e.g. in the stock exchange market. In this
article we reformulate this model as a pattern and present it alongside an
implementation architecture based on Triple Spaces to take advantage of the
benefits this technology provides, especially in collaborative scenarios.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-67&engl=0}
}
@inproceedings {INPROC-2007-63,
author = {J{\"o}rg Nitzsche and Tammo van Lessen and Dimka Karastoyanova and Frank Leymann},
title = {{BPEL for Semantic Web Services (BPEL4SWS)}},
booktitle = {Proceedings of the 3rd International Workshop on Agents and Web Services in Distributed Environments AWeSome'07 -- On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops},
publisher = {Springer-Verlag},
institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
series = {Lecture Notes in Computer Science},
volume = {4805/2007},
pages = {179--188},
type = {Workshop-Beitrag},
month = {November},
year = {2007},
isbn = {978-3-540-76887-6},
doi = {10.1007/978-3-540-76888-3_37},
keywords = {WS-BPEL; BPELlight; BPEL4SWS; Semantic Web Services; SWS; BPM},
language = {Englisch},
cr-category = {C.2.4 Distributed Systems,
D.2.11 Software Engineering Software Architectures,
D.2.12 Software Engineering Interoperability,
H.4.1 Office Automation},
department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
abstract = {In this paper we present BPEL for Semantic Web Services (BPEL4SWS) - a language
that facilitates the orchestration of Semantic Web Services using a process
based approach. It is based on the idea of WSDL-less BPEL and enables
describing activity implementations semantically which increases the
flexibility of business processes. Following an approach that uses a set of
composable standards and specifications, BPEL4SWS is independent of any
Semantic Web Service framework. It can be used to compose Semantic Web
Services, traditional Web Services and a mix of them.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-63&engl=0}
}
@inproceedings {INPROC-2007-60,
author = {Tammo van Lessen and Branimir Wetzstein and J{\"o}rg Nitzsche and Zhilei Ma and Dimka Karastoyanova and Frank Leymann},
title = {{Gesch{\"a}ftsprozessmanagement Meets Semantic Web.}},
booktitle = {Tagungsband Science Meets Business. Stuttgarter Softwaretechnik Forum 2007, Fraunhofer IAO, 23. November 2007.},
editor = {D. Spath and A. Weisbecker and O. H{\"o}{\ss} and J. (Hrsg.) Drawehn},
address = {Stuttgart},
publisher = {Fraunhofer IRB Verlag},
institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
pages = {75--83},
type = {Konferenz-Beitrag},
month = {November},
year = {2007},
isbn = {3-8167-7493-8},
keywords = {Semantic Business Process Management},
language = {Deutsch},
cr-category = {H.4.1 Office Automation},
department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
abstract = {23. November 2007
Science Meets Business
Am vierten Tag des Stuttgarter Softwaretechnik Forums geben Experten aus
Forschung und Wissenschaft Einblick in aktuelle Forschungsarbeiten in den
Themenbereichen Softwareengineering, Softwaretechnik und Mobile Anwendungen.
Dadurch k{\"o}nnen die Zuh{\"o}rer interessante Impulse f{\"u}r ihr t{\"a}gliches Business
sowie einen Ausblick auf zuk{\"u}nftige Trends und Entwicklungen mitnehmen.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-60&engl=0}
}
@inproceedings {INPROC-2007-40,
author = {Rania Khalaf and Oliver Kopp and Frank Leymann},
title = {{Maintaining Data Dependencies Across BPEL Process Fragments}},
booktitle = {Service-Oriented Computing - ICSOC 2007},
editor = {Bernd J. Kr{\"a}mer and Kwei-Jay Lin and Priya Narasimhan},
publisher = {Springer},
institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
series = {Lecture Notes in Computer Science},
volume = {4749},
pages = {207--219},
type = {Konferenz-Beitrag},
month = {September},
year = {2007},
doi = {10.1007/978-3-540-74974-5_17},
keywords = {Web services, fragments, business process, BPEL},
language = {Englisch},
cr-category = {C.2.4 Distributed Systems,
H.3.5 Online Information Services,
H.4.1 Office Automation},
ee = {http://www.ece.cmu.edu/icsoc2007/index.html},
department = {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 any extensions or new middleware. We present a solution that
uses a BPEL process, partition information, and results of data analysis to
produce a BPEL process for each participant. The collective behavior of these
participant processes recreates the control and data flow of the non-split
process. Previous work presented process splitting using a variant of BPEL
where data flow is modeled explicitly using ‘data links’. We reuse the control
flow aspect from that work, focusing in this paper on maintaining the data
dependencies in standard BPEL.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-40&engl=0}
}
@inproceedings {INPROC-2007-39,
author = {Dominik Lucke and Matthias Wieland},
title = {{Umfassendes Kontextdatenmodell der Smart Factory als Basis f{\"u}r kontextbezogene Workflow-Anwendungen}},
booktitle = {4. GI/ITG KuVS Fachgespr{\"a}ch Ortsbezogene Anwendungen und Dienste``},
editor = {J{\"o}rg Roth and Axel K{\"u}pper and Claudia Linnhoff-Popien},
publisher = {Dr. Hut-Verlag},
institution = {Universit{\"a}t Stuttgart : Sonderforschungsbereich SFB 627 (Nexus: Umgebungsmodelle f{\"u}r mobile kontextbezogene Systeme), Germany},
pages = {47--51},
type = {Konferenz-Beitrag},
month = {September},
year = {2007},
isbn = {978-3-89963-591-1},
language = {Deutsch},
cr-category = {J.0 Computer Applications General},
ee = {ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INPROC-2007-39/INPROC-2007-39.pdf},
contact = {dominikl@iff.uni-stuttgart.de},
department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Industrielle Fertigung und Fabrikbetrieb (IFF);
Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
abstract = {In dieser Arbeit wird ein Kontextdatenmodell einer Fabrikumgebung beschrieben.
Die Artefakte dieser Umgebung sind Realweltobjekte und zugeh{\"o}rige Daten aus
Fabriksystemen. Die Kontextdaten, welche den Zustand der Artefakte beschreiben,
werden im Kontextdatenmodell abgelegt und stellen so ein virtuelles
Umgebungsmodell der Fabrik zur Verf{\"u}gung. Darauf k{\"o}nnen kontextbezogene
Anfragen durchgef{\"u}hrt werden. Damit wird es einer kontextbezogenen
Workflow-Anwendung erm{\"o}glicht den aktuellen Zustand der Produktion zu erfassen
und darauf zu reagieren. Dies bietet den Vorteil, dass Produktionsprozesse mit
Hilfe von Standard Workflow Sprachen modelliert und ausgef{\"u}hrt werden k{\"o}nnen.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-39&engl=0}
}
@inproceedings {INPROC-2007-24,
author = {J{\"o}rg Nitzsche and Tammo van Lessen and Dimka Karastoyanova and Frank Leymann},
title = {{BPEL light}},
booktitle = {Proceedings of the 5th International Conference on Business Process Management (BPM 2007)},
publisher = {Springer-Verlag},
institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
series = {Lecture Notes in Computer Science},
volume = {4714},
pages = {214--229},
type = {Konferenz-Beitrag},
month = {September},
year = {2007},
doi = {10.1007/978-3-540-75183-0_16},
keywords = {BPEL; BPEL light; WSDL-less BPEL; BPM; Workflow; SOA; Web services; flexibility; reusability},
language = {Englisch},
cr-category = {C.2.4 Distributed Systems,
D.2.11 Software Engineering Software Architectures,
D.2.12 Software Engineering Interoperability,
H.4.1 Office Automation},
contact = {joerg.nitsche@iaas.uni-stuttgart.de and tammo.van.lessen@iaas.uni-stuttgart.de},
department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
abstract = {In this paper we present BPEL light which decouples process logic from
interface definitions. By extending BPEL 2.0 with a WSDL-less interaction
model, BPEL light allows to specify process models independent of Web service
technology. Since its interaction model is based on plain message exchange, it
is completely independent of any interface description language. This fosters
flexibility and reusability of process models and enables modelling platform
and component model independent business processes. The presented approach
takes a significant step towards narrowing down the gap between business level
and IT level by facilitating a more business-oriented modelling of executable
processes.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-24&engl=0}
}
@inproceedings {INPROC-2007-23,
author = {J{\"o}rg Nitzsche and Daniel Wutke and Tammo van Lessen},
title = {{An Ontology for Executable Business Processes}},
booktitle = {Proceedings of the Workshop on Semantic Business Process and Product Lifecycle Management (SBPM 2007) held in conjunction with the 3rd European Semantic Web Conference (ESWC 2007) Innsbruck, Austria, June 7, 2007},
editor = {Martin Hepp and Knut Hinkelmann and Dimitris Karagiannis and R{\"u}diger Klein and Nenad Stojanovic},
address = {Innsbruck},
publisher = {CEUR Workshop Proceedings},
institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
pages = {52--63},
type = {Workshop-Beitrag},
month = {Juni},
year = {2007},
issn = {1613-0073},
keywords = {Business Process Management (BPM), Business Process Execution Language (BPEL), Semantic Business Process Management (SBPM),Ontologies, WSML},
language = {Englisch},
cr-category = {H.4.1 Office Automation},
department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
abstract = {The Web Service Business Process Execution Language (WSBPEL) is the de facto
standard for describing workflow-like compositions of Web services, so-called
Web service orchestrations. In this paper an ontology for executable BPEL
processes is presented, which reflects both the natural language description
and the syntax given in the specification. The ontology makes BPEL process
models accessible at a semantic level and thus to intelligent queries and
machine reasoning.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-23&engl=0}
}
@inproceedings {INPROC-2007-22,
author = {Dimka Karastoyanova and Branimir Wetzstein and Tammo van Lessen and Daniel Wutke and J{\"o}rg Nitzsche and Frank Leymann},
title = {{Semantic Service Bus: Architecture and Implementation of a Next Generation Middleware}},
booktitle = {Proceedings of the Second International ICDE Workshop on Service Engineering (SEIW 2007)},
publisher = {IEEE Computer Society},
institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
pages = {347--354},
type = {Workshop-Beitrag},
month = {April},
year = {2007},
isbn = {1-4244-0832-6},
doi = {10.1109/ICDEW.2007.4401015},
keywords = {Semantic Service Bus; SSB; Enterprise Service Bus; BPEL},
language = {Englisch},
cr-category = {C.2.4 Distributed Systems,
D.2.11 Software Engineering Software Architectures,
D.2.12 Software Engineering Interoperability,
H.4.1 Office Automation},
department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
abstract = {In this paper we present a middleware for the Service Oriented Architecture,
called the Semantic Service Bus. It is an advanced middleware possessing
enhanced features, as compared to the conventional service buses. It is
distinguished by the fact that it uses semantic description of service
capabilities, as well as requirements towards services to enable more elaborate
service discovery, selection, routing, composition and data mediation. The
contributions of the paper are the conceptual architecture of the Semantic
Service Bus and a prototypical implementation supporting different semantic Web
service technologies (OWL and WSMO) and vanilla Web services. Since the mission
critical application scenarios (for SOA) involve complex orchestrations of
services, we have chosen to utilize semantically annotated service
orchestrations as the applications to use this middleware.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-22&engl=0}
}
@inproceedings {INPROC-2007-21,
author = {Gero Decker and Oliver Kopp and Frank Puhlmann},
title = {{Service Referrals in BPEL-based Choreographies}},
booktitle = {Proceedings of the 2nd European Young Researchers Workshop on Service Oriented Computing (YR-SOC 2007)},
editor = {Stephen Gorton and Monika Solanki and Stephen Reiff-Marganiec},
address = {Leicester},
publisher = {University of Leicester},
institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
pages = {25--30},
type = {Workshop-Beitrag},
month = {Juni},
year = {2007},
keywords = {Choreography; BPEL; BPEL4Chor; Application of Pi-calculus; interaction models; interconnection models; link passing mobility},
language = {Englisch},
cr-category = {H.4.1 Office Automation,
K.1 The Computer Industry},
ee = {ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INPROC-2007-21/INPROC-2007-21.pdf,
http://www.cs.le.ac.uk/events/yrsoc2007/},
contact = {oliver.kopp@iaas.uni-stuttgart.de oder gero.decker@hpi.uni-potsdam.de},
department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
abstract = {Choreographies describe the interactions between two or more services from a
global perspective and specify allowed service conversations. Choreographies
typically do not rely on static binding, i.e. the participating services are
not selected at design-time of the choreography. Some services might only be
selected at runtime and this selection has to be propagated in the case of
multi-lateral conversations. Hence, the notion of service referrals (also
called link passing mobility) is recurrent in choreographies. In past work, we
have proposed BPEL extensions for describing service choreographies, namely
BPEL4Chor. This paper closely investigates the link passing mobility
capabilities of BPEL4Chor and illustrates their semantics using Pi-calculus.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-21&engl=0}
}
@inproceedings {INPROC-2007-20,
author = {Zhilei Ma and Branimir Wetzstein and Darko Anicic and Stijn Heymans and Frank Leymann},
title = {{Semantic Business Process Repository}},
booktitle = {Proceedings of the Workshop on Semantic Business Process and Product Lifecycle Management (SBPM 2007) in conjunction with the 3rd European Semantic Web Conference (ESWC 2007) Innsbruck, Austria, June 7, 2007},
editor = {Martin Hepp and Knut Hinkelmann and Dimitris Karagiannis and R{\"u}diger Klein and Nenad Stojanovic},
address = {Innsbruck},
publisher = {CEUR Workshop Proceedings},
institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
series = {CEUR Workshop Proceedings},
volume = {251},
pages = {92--100},
type = {Workshop-Beitrag},
month = {Juli},
year = {2007},
keywords = {Business Process Management (BPM), Business Process Repository, Semantic Business Process Management (SBPM), Semantic Business Process Repository, Ontologies, Reasoning},
language = {Englisch},
cr-category = {H.4.1 Office Automation},
ee = {ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INPROC-2007-20/INPROC-2007-20.pdf,
http://sbpm2007.fzi.de/,
http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-251/},
department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
abstract = {Semantic Business Process Management (SBPM) utilizes semantic technologies to
achieve more automation throughout the BPM lifecycle. An integral part of the
SBPM infrastructure is a semantic business process repository, which is used
for storage and management of business process modeling artifacts. As in SBPM
business process models are based on process ontologies, the semantic business
process repository has additional requirements towards support of reasoning and
querying capabilities. In this paper, we first describe the functionalities the
semantic business process repository has to provide. We then introduce a
solution based on the Integrated Rule Inference System (IRIS) on top of a
relational database for realizing the storage mechanism and query processing.
Finally, we present the overall architecture of the semantic business process
repository.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-20&engl=0}
}
@inproceedings {INPROC-2007-19,
author = {Branimir Wetzstein and Zhilei Ma and Agata Filipowska and Monika Kaczmarek and Sami Bhiri and Silvestre Losada and Jose-Manuel Lopez-Cobo and Laurent Cicurel},
title = {{Semantic Business Process Management: A Lifecycle Based Requirements Analysis}},
booktitle = {Proceedings of the Workshop on Semantic Business Process and Product Lifecycle Management (SBPM 2007) in conjunction with the 3rd European Semantic Web Conference (ESWC 2007) Innsbruck, Austria, June 7, 2007},
editor = {Martin Hepp and Knut Hinkelmann and Dimitris Karagiannis and R{\"u}diger Klein and Nenad Stojanovic},
address = {Innsbruck},
publisher = {CEUR Workshop Proceedings},
institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
series = {CEUR Workshop Proceedings},
volume = {251},
pages = {1--11},
type = {Workshop-Beitrag},
month = {Juni},
year = {2007},
keywords = {Business Process Management; Semantic Business Process Management; Semantic Web Services},
language = {Englisch},
cr-category = {H.4.1 Office Automation},
ee = {ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INPROC-2007-19/INPROC-2007-19.pdf,
http://sbpm2007.fzi.de/,
http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-251/},
contact = {branimir.wetzstein@iaas.uni-stuttgart.de},
department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
abstract = {Despite of increasing software support for Business Process Management (BPM),
currently there is still a low degree of automation in the BPM lifecycle,
especially when it comes to bridge between the business and IT view on business
processes. The goal of Semantic Business Process Management is to achieve more
automation in BPM by using semantic technologies. In this paper, we describe on
a conceptual level how ontologies and semantic web service technologies can be
used throughout the BPM lifecycle, consisting of process modeling,
implementation, execution, and analysis phases. The use of semantics in BPM
results in new functionality a Semantic Business Process Management System
(SBPMS) has to implement. For each phase of the BPM lifecycle, we identify the
new functional requirements for a SBPMS, and explain the benefits of adopting
semantic technologies in SBPM.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-19&engl=0}
}
@inproceedings {INPROC-2007-18,
author = {Matthias Wieland and Oliver Kopp and Daniela Nicklas and Frank Leymann},
title = {{Towards Context-Aware Workflows}},
booktitle = {CAiSE´07 Proceedings of the Workshops and Doctoral Consortium Vol.2, Trondheim, Norway, June 11-15th, 2007},
editor = {Barbara Pernici and Jon Atle Gulla},
publisher = {Tapir Acasemic Press},
institution = {Universit{\"a}t Stuttgart : Sonderforschungsbereich SFB 627 (Nexus: Umgebungsmodelle f{\"u}r mobile kontextbezogene Systeme), Germany},
pages = {577--591},
type = {Workshop-Beitrag},
month = {Juni},
year = {2007},
isbn = {978-82-519-2246-3},
keywords = {workflow systems; context-aware systems; ubiquitous systems; workflow modeling; development of context-aware applications; BPEL; Nexus},
language = {Englisch},
cr-category = {H.4.1 Office Automation},
contact = {Matthias Wieland wielanms@informatik.uni-stuttgart.de},
department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen;
Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware},
abstract = {Context-aware applications adapt their behavior based on changes of the
physical world, which is often obtained with a huge amount of sensors. Thus,
the development of such applications is cumbersome, in particular the
implementation of their often complex control flow. To ease the development of
context-aware applications we present the concept of context-aware workflows.
Thereafter we present an implementation of these concepts based on a standard
workflow language. Context-aware workflows are not only interesting for the
development of context-aware applications, but also enable workflow technology
to be applied in new domains that are process oriented and yet not supported by
workflow systems like production processes in the manufacturing industry. The
concept of context-aware workflows is a first approach that enables modeling
and execution of technical production processes with workflow systems normally
used for business processes.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-18&engl=0}
}
@inproceedings {INPROC-2007-16,
author = {Gero Decker and Oliver Kopp and Frank Leymann and Mathias Weske},
title = {{BPEL4Chor: Extending BPEL for Modeling Choreographies}},
booktitle = {Proceedings of the IEEE 2007 International Conference on Web Services (ICWS 2007), Salt Lake City, Utah, USA, July 2007},
editor = {IEEE Computer Society},
address = {Salt Lake City},
publisher = {IEEE Computer Society},
institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
pages = {296--303},
type = {Konferenz-Beitrag},
month = {Juli},
year = {2007},
doi = {10.1109/ICWS.2007.59},
keywords = {BPEL4Chor; WS-BPEL; Choreography; WS-CDL; WSCI; Orchestration},
language = {Englisch},
cr-category = {H.4.1 Office Automation,
K.1 The Computer Industry},
ee = {http://conferences.computer.org/icws/2007/},
contact = {oliver.kopp@iaas.uni-stuttgart.de},
department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
abstract = {The Business Process Execution Language (BPEL) is a language to orchestrate web
services into a single business process. In a choreography view, several
processes are interconnected and their interaction behavior is described from a
global perspective. This paper shows how BPEL can be extended for defining
choreographies. The proposed extensions (BPEL4Chor) distinguish between three
aspects: (i) participant behavior descriptions, i.e. control flow dependencies
in each participant, (ii) the participant topology, i.e. the existing
participants and their interconnection using message links and (iii)
participant groundings, i.e. concrete configurations for data formats and port
types. As BPEL itself is used unchanged, the extensions facilitate a seamless
integration between service choreographies and orchestrations. The suitability
of the extensions is validated by assessing their support for the Service
Interaction Patterns.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-16&engl=0}
}
@inproceedings {INPROC-2007-121,
author = {Ingo Weber and J{\"o}rg Hoffmann and Jan Mendling and J{\"o}rg Nitzsche},
title = {{Towards a Methodology for Semantic Business Process Modelling and Configuration}},
booktitle = {Proceedings of Service-Oriented Computing - ICSOC 2007 Workshops},
publisher = {Springer Verlag},
institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
type = {Workshop-Beitrag},
month = {September},
year = {2007},
language = {Englisch},
cr-category = {H.4.1 Office Automation},
department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
abstract = {This paper discusses potential benefits from adding semantics to Business
Process Management from a methodological point of view, with a focus on the
Modeling and Configuration phases. For this purpose, in each of these phases
the established activities are examined and new activities are suggested:
Firstly, we suggest combining existing control flow validation techniques with
semantic process validation techniques. Second, discovery and composition
techniques can be used to find implementations, e.g. services (or combinations
of services), for the implementation of process activities at modeling time.
The discovered implementations allow for mapping the process steps to the IT
infrastructure according to several strategies during process configuration,
which helps clearly separating modeling from configuration concerns.
Furthermore, a new way of testing executable process models is suggested.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-121&engl=0}
}
@inproceedings {INPROC-2007-100,
author = {Tammo van Lessen and J{\"o}rg Nitzsche and Marin Dimitrov and Mihail Konstantinov and Dimka Karastoyanova and Luchesar Cekov and Frank Leymann},
title = {{An Execution Engine for Semantic Business Processes}},
booktitle = {Proceedings of Service-Oriented Computing - ICSOC 2007 Workshops},
publisher = {Springer-Verlag},
institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
series = {Lecture Notes in Computer Science},
volume = {4907},
pages = {200--211},
type = {Workshop-Beitrag},
month = {September},
year = {2007},
language = {Englisch},
cr-category = {H.4.1 Office Automation,
K.1 The Computer Industry},
ee = {www.sysedv.tu-berlin.de/semsoc/},
department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
abstract = {In this paper we present the architecture and design of an extended BPEL engine
that implements the operational semantics of BPEL4SWS. BPEL4SWS is an extension
of the BPEL language with support for Semantic Web Service concepts like
mediation and semantic descriptions of activity implementations. We describe
the basic communication scenarios of processes with services and the
interaction between the engine components involved in the execution of BPEL4SWS
processes. The presented prototype is based on the open source BPEL engine
Apache ODE, features improved configurability and facilitates the definition of
additional BPEL extensions with minimal development effort.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-100&engl=0}
}
@article {ART-2007-16,
author = {Michael P. Papazoglou and Paolo Traverso and Scharam Dustdar and Frank Leymann},
title = {{Service-Oriented Computing: State of the Art and Research Challenges}},
journal = {IEEE Computer},
publisher = {IEEE Computer Society},
volume = {40},
number = {11},
pages = {38--45},
type = {Artikel in Zeitschrift},
month = {November},
year = {2007},
doi = {10.1109/MC.2007.400},
language = {Englisch},
cr-category = {H.4.1 Office Automation,
K.1 The Computer Industry},
ee = {http://www.computer.org/portal/site/computer/index.jsp},
department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
abstract = {Service-oriented computing promotes the idea of assembling application
components into a network of services that can be loosely coupled to create
flexible, dynamic business processes and agile applications that span
organizations and computing platforms. An SOC research road map provides a
context for exploring ongoing research activities.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2007-16&engl=0}
}
@article {ART-2007-15,
author = {Wil M.P. van der Aalst and Frank Leymann and Wolfgang Reisig},
title = {{The role of business processes in service oriented architectures}},
journal = {International Journal of Business Process Integration and Management},
publisher = {Inderscience Publishers},
volume = {2},
number = {2},
pages = {75--80},
type = {Artikel in Zeitschrift},
month = {Januar},
year = {2007},
issn = {1741-8771},
keywords = {web services; service-oriented architecture; SOA; workflow management; business process management; BPEL},
language = {Englisch},
cr-category = {H.4.1 Office Automation,
K.1 The Computer Industry},
ee = {http://inderscience.metapress.com/link.asp?id=b03r37308m7t3327},
department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
abstract = {Service-Oriented Architectures (SOAs), an emerging paradigm for designing and
implementing business collaborations within and across organisational
boundaries, are currently of interest to both software vendors and scientists.
In this paradigm, the functionality provided by business applications is
encapsulated within web services: software components described at a semantic
level, which can be invoked by application programs or by other services
through a stack of internet standards including HTTP, XML, SOAP, WSDL and UDDI.
Once deployed, web services provided by various organisations can be
interconnected in order to implement business collaborations, leading to
composite web services. Ultimately, these composed services are there to
support business processes. Therefore, the relationship between business
process management, workflow technology and SOAs is highly relevant. This is
illustrated by the interest in the Business Process Execution Language (BPEL)
standard. Therefore, this Special Issue of the International Journal of
Business Process Integration and Management addresses the link between
processes and services. This paper introduces the papers in this Special Issue
and provides an overview of the domain.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2007-15&engl=0}
}
@article {ART-2007-14,
author = {David Martin and John Domingue and Michael L. Brodie and Frank Leymann},
title = {{Semantic Web Services, Part 1}},
journal = {IEEE Intelligent Systems},
publisher = {IEEE Computer Society},
volume = {22},
number = {5},
pages = {12--17},
type = {Artikel in Zeitschrift},
month = {September},
year = {2007},
doi = {10.1109/MIS.2007.94},
language = {Englisch},
cr-category = {H.4.1 Office Automation},
department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
abstract = {Semantic Web services (SWS) has been a vigorous technology research area for
about six years, producing a great deal of innovative work. This two-part
installment of Trends \& Controversies discusses what has been accomplished in
SWS, what value it can ultimately provide, and where we should go from here to
reap these technologies' benefits.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2007-14&engl=0}
}
@article {ART-2007-13,
author = {Oliver G{\"u}nther and Gerrit Tamm and Frank Leymann},
title = {{Pricing Web Services}},
journal = {International Journal Business Process Integration and Management},
publisher = {Inderscience Publishers},
volume = {2},
number = {2},
pages = {132--140},
type = {Artikel in Zeitschrift},
month = {April},
year = {2007},
issn = {1741-8771},
doi = {10.1504/IJBPIM.2007.015137},
keywords = {web services; pricing; composition; web-based; service-oriented architectures; SOAs},
language = {Englisch},
cr-category = {H.4.1 Office Automation,
K.1 The Computer Industry},
ee = {http://dochost.rz.hu-berlin.de/docviews/abstract.php?lang=ger&id=28408,
http://www.inderscience.com/},
department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
abstract = {This paper focuses on the challenges associated with composing and pricing web
services. We present the results of an online experiment, where subjects were
confronted with a variety of choices and decisions relating to web service
markets and service composition. Our analysis shows that people expect the
price of a composite web service to be lower than the sum of the prices of the
elementary services, that is, users are not willing to pay for aggregation by a
third party. To obtain a viable business model for composite web services,
non-standard pricing mechanisms, such as auctions and negotiations, possibly
supported by electronic agents, have to be taken into consideration.
Usage-based pricing schemes, combined with an option to switch to a flat
subscription, seem most appropriate to penetrate the developing market for web
services.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2007-13&engl=0}
}
@article {ART-2007-07,
author = {J{\"o}rg Nitzsche and Tammo van Lessen and Dimka Karastoyanova and Frank Leymann},
title = {{WSMO/X in the context of business processes: improvement recommendations}},
journal = {International Journal of Web Information Systems},
publisher = {Emerald},
volume = {3},
number = {1/2},
pages = {89--103},
type = {Artikel in Zeitschrift},
month = {Januar},
year = {2007},
issn = {1744-0084},
doi = {10.1108/17440080710829234},
keywords = {WSMO; WSMX; BPEL; BPM; SWS; Semantic Web Services},
language = {Englisch},
cr-category = {C.2.4 Distributed Systems,
D.2.11 Software Engineering Software Architectures,
D.2.12 Software Engineering Interoperability,
H.4.1 Office Automation},
ee = {http://www.emeraldinsight.com/Insight/viewContentItem.do?contentType=Article&contentId=1630706},
department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
abstract = {Service-oriented architecture (SOA) is an architecture paradigm targeting
integration of applications within and across enterprise boundaries. It has
gathered research and industry acceptance and has given an enormous impetus to
the business process management technology. Web service (WS) technology is one
implementation of the SOA paradigm. It enables seamless integration of new and
legacy applications through a stack of standardized composable specifications.
WS orchestration is facilitated by the Business Process Execution Language
which provides a recursive service composition model. While the programming
model the WS technology provides is very flexible, a major deficiency is the
need to discover services implementing a particular abstract interface, whereas
functional similarities of services are disregarded. The Semantic Web Service
technologies, like Web Service Modelling Ontology (WSMO) and Web Ontology
Language for Services have been developed with the purpose of eliminating these
deficiencies by enabling service discovery based on functional and
non-functional properties. The paper aims to focus on these issues. This paper
presents a list of requirements that business processes impose on SOA
applications. It analyzes the support that WSMO/Web Service Model eXecution
environment (WSMX) provides to address these requirements and compares it with
the support enabled by the WS specification stack. The paper identifies major
flaws in the WSMO model and its reference implementation with respect to
business process support. The paper recommends possible solutions for
eliminating the lack of needed features on behalf of WSMO/WSMX. It presents in
detail how to enable asynchronous stateful communication among WSMO WS and
partner-based WS discovery by extending the WSMO model. Additionally, it
extends the API of the reference implementation to facilitate the execution of
services communicating asynchronously.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2007-07&engl=0}
}
@inbook {INBOOK-2007-02,
author = {Stijn Heymans and Li Ma and Darko Anicic and Zhilei Ma and Nathalie Steinmetz and Yue Pan and Jing Mei and Achille Fokoue and Aditya Kalyanpur and Aaron Kershenbaum and Edith Schonberg and Kavitha Srinivas and Cristina Feier and Graham Hench and Branimir Wetzstein and Uwe Keller},
title = {{Ontology Reasoning With Large Data Repositories}},
series = {Ontology Management for the Semantic Web, Semantic Web Services, and Business Applications},
address = {Berlin, Heidelberg, New York},
publisher = {Springer-Verlag},
pages = {89--130},
type = {Beitrag in Buch},
month = {November},
year = {2007},
isbn = {978-0-387-69899-1},
keywords = {business repository; IRIS; OWL DL; Reasoning with large datasets; Semantic; Business Process Management; WSML DL},
language = {Englisch},
cr-category = {D.2.11 Software Engineering Software Architectures},
ee = {ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INBOOK-2007-02/INBOOK-2007-02.pdf},
department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
abstract = {Reasoning with large amounts of data together with ontological knowledge is
becoming a pertinent issue. In this chapter, we will give an overviewof
well-known ontology repositories, including native stores and database based
stores, and highlight strengths and limitations of each store. We take Minerva
as an example to analyze ontology storage in databases in depth, as well as to
discuss efficient indexes for scaling up ontology repositories. We then discuss
a scalable reasoning method for handling expressive ontologies, as well as
summarize other similar approaches. We will subsequently delve into the details
of one particular ontology language based on Description Logics called WSML-DL
and show that reasoning with this language can be done by a transformation from
WSML-DL to OWL DL and support all main DL-specific reasoning tasks. Finally, we
illustrate reasoning and its relevance by showing a reasoning example in a
practical business context by presenting the Semantic Business Process
Repository (SBPR) for systemical management of semantic business process
models. As part of this, we analyze the main requirements on a such a
repository. We then compare different approaches for storage mechanisms for
this purpose and show how a RDBMS in combination with the IRIS inference engine
provides a suitable solution that deals well with the expressiveness of the
query language and the required reasoning capabilities even for large amounts
of instance data.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INBOOK-2007-02&engl=0}
}
@proceedings {PROC-2007-03,
editor = {Karl M. G{\"o}schka and Schahram Dustdar and Frank Leymann and Vladimir Tosic},
title = {{Proceedings of the 2nd Workshop on Middleware for Service Oriented Computing, MW4SOC 2007}},
publisher = {ACM},
institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
series = {ACM International Conference Proceeding Series},
type = {Tagungsband},
month = {November},
year = {2007},
isbn = {978-1-59593-928-9},
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 2nd Workshop on Middleware for Service Oriented Computing,
MW4SOC 2007, Newport Beach, CA, USA, November 26-30, 2007},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=PROC-2007-03&engl=0}
}
|
|
"Webmaster"
)
| © Universität Stuttgart |
Impressum