331 search hits
-
Bridging the Heterogeneity of Orchestrations – A Petri Net–based Integration of BPEL and Windows Workflow
(2012)
-
Stefan Kolb
Jörg Lenhard
Guido Wirtz
- Service orchestrations are a powerful tool for
implementing intra– and interorganizational business processes
that base on services. Several heterogeneous orchestration
languages can be found in contemporary IT landscapes. While
the Web Services Business Process Execution Language (BPEL)
is the de facto standard, others gain attention, including Windows
Workflow (WF) in the .NET segment. When integrating
orchestrations, incompatibilities between them can easily arise.
In this paper, we investigate an automated Petri net–based
integration between BPEL and WF to solve these issues with
behavioral adapter services. We provide a mapping of WF to
Open Workflow Nets (oWFNs) and implement it in a compiler.
Thereby, we integrate our approach with existing approaches
for BPEL and adapter synthesis and validate the integration
with a standards–based case study using the two languages.
-
Standards of English in Malta and the Channel Islands
(2012)
-
Manfred Krug
Anna Rosen
-
A Case Study on Model-Driven Data Warehouse Development
(2012)
-
Thomas Benker
Carsten Jürck
-
Introducing Fairness into Compositional Verification via Unidirectional Counters
(2012)
-
Antti Siirtola
Antti Puhakka
Gerald Lüttgen
-
Doubtless in Seattle: Exploring the Internet Delay Space
(2012)
-
Philipp Eittenberger
Marcel Großmann
Udo Krieger
-
Proximity Enhanced Mobile D2D Video Streaming
(2012)
-
Marcel Großmann
- Mobile video consumption establishes as a massively growing
market. To guarantee an acceptable quality of experience
to the end user, current studies try to improve data
transmissions on air interfaces. However, the bottleneck in
cellular mobile networks is the traversal of the infrastructure.
A paradigm to circumvent this fact and to increase
the system’s capacity is given by device-to-device communication
in combination with proximity detection. Those
networks promise scalability and performance improvements
in utilizing scarce resources. This principle is easy to integrate
into an existing mobile peer-to-peer video streaming
system. In this study, we present measurements on application
level to determine the performance that a smart device
contributes to different wireless networks. The results outline
that content uploading from smart devices is negligible
in cellular networks, but shows acceptable performance in
WiFi networks. This evaluation is the foundation to build a
proximity enhanced video streaming system for mobile devices.
-
On Parallel Software Verification Using Boolean Equation Systems
(2012)
-
Alexander Ditter
Milan Češka
Gerald Lüttgen
-
Modal Interface Automata
(2012)
-
Gerald Lüttgen
Walter Vogler
-
The bi-absolutive construction in Nakh-Daghestanian
(2012)
-
Diana Forker
- While all Nakh-Daghestanian languages show ergative–absolutive patterns of
case assignment and gender/number agreement, many languages have sentences
containing imperfective transitive predicates with both A and P in the absolutive
case. In these bi-absolutive constructions, A is generally topicalized whereas
P is pragmatically demoted. Bi-absolutive constructions show a number of
structural properties (e.g. word-order constraints) which are absent in ergative
constructions, but the precise nature and number of these constraints differs
from language to language. In this article I offer the first in-depth analysis of
bi-absolutive constructions, describing also the range of variation in these
constructions in the Nakh-Daghestanian languages. I argue that the traditional
biclausal analysis fails to explain all properties of these constructions. Other
structural approaches such as anti-passivization and noun-stripping are also
rejected as inadequate. Instead, I propose to analyze bi-absolutive constructions
in the wider context of information-restructuring devices.
-
Adverbial clauses in the Tsezic languages
(2012)
-
Bernard Comrie
Diana Forker
Zaira Khalilova
- This contribution summarizes and illustrates the most important types of
converbs found in the Tzesic languages and describes their semantic, morphological
and syntactic properties. In particular, various types of “crossclausal
dependencies” as described by Gast & Diessel (this volume) are
investigated, e.g. restrictions on coreference and extraction (“argumentrelated
cross-clausal dependencies”) and the interpretation of scope-bearing
operators such as tense, evidentiality, illocutionary force, and focus (“predicate-
related cross-clausal dependencies”). In providing detailed analyses
of such phenomena in a group of underresearched languages, we intend to
make a contribution both to our understanding of linguistic variation in the
domain of cross-clausal syntax and to our knowledge of the specific languages under investigation.