Friedrich H. Vogt
Prof. Dr. techn. Friedrich H. Vogt
Publications
James E. Johnson, David E. Langworthy, Leslie Lamport and Friedrich H. Vogt. Formal Specification of a Web Services Protocol. Journal of Logic and Algebraic Programming, 70(1):34–52, 2007.
@Article{Telematik_JLLV_2007_Formal,
author = {James E. Johnson and David E. Langworthy and Leslie Lamport and Friedrich H. Vogt},
title = {Formal Specification of a Web Services Protocol},
pages = {34-52},
journal = {Journal of Logic and Algebraic Programming},
volume = {70},
number = {1},
year = 2007,
}
Abstract:
We describe a use of formal methods to specify and
check a Web Services protocol. The Web Services Atomic Transaction
protocol was specified in TLA+ and checked with the TLC model
checker. A modest effort revealed oversights that caused
unanticipated behaviors of the protocol; these were corrected by
clarifications and changes to the protocol.
Arsalan Minhas and Friedrich H. Vogt. Service Orientation for Dynamic Enterprises. In Proceedings of the International Conference on
Logistics and Supply Chain Management (LSCM'06), January 2006. Hong Kong.
@InProceedings{Telematik_AV_2006_ServiceOrientationDynamicEnterprises,
author = {Arsalan Minhas and Friedrich H. Vogt},
title = {Service Orientation for Dynamic Enterprises},
booktitle = {Proceedings of the International Conference on
Logistics and Supply Chain Management (LSCM'06)},
day = {5-7},
month = jan,
year = 2006,
location = {Hong Kong},
}
Abstract:
Business data is one of the most critical components
of the IT portfolio of
any enterprise.
However enterprises are facing a
major challenge of providing a holistic
view of it when the
data spans
across multiple heterogeneous systems with different data
models
embedded in
them. To achieve maximum benefits from the SOA, it is
crucial to create a
common data
management approach that handles all
aspects of integrating information exposed
through
different autonomous
services in an enterprise. We present an approach by
which it becomes
possible to provide the holistic view of business data by actively
driving
simplicity and SOA
project acceleration. It allows us to
integrate the supply chain
applications of an enterprise
and hence
building a competitively differentiated supply chain for the
future.
Boris Gruschko, Friedrich H. Vogt and Simon Zambrovski. Business Activities in an Industrial Context. In Proceedings of the International Conference on
Logistics and Supply Chain Management (LSCM'06), January 2006. Hong Kong.
@InProceedings{Telematik_GVZ_2006_BusinessActivity,
author = {Boris Gruschko and Friedrich H. Vogt and Simon Zambrovski},
title = {Business Activities in an Industrial Context},
booktitle = {Proceedings of the International Conference on
Logistics and Supply Chain Management (LSCM'06)},
day = {5-7},
month = jan,
year = 2006,
location = {Hong Kong},
}
Abstract:
In this paper we show an approach to business
activity modelling, with
emphasis on
identification of Services,
messages being exchanged between them, collaboration
scenarios
and
coordination protocols to be considered for the fulfilment of those
scenarios. The
modelling technique has been developed during business
process analysis at
Lufthansa
Technik AG. An airframe related
components overhaul process has been
researched, in order
to advise the
concerned department, on application of loosely coupled
systems. The
analysis
provides a basis for the inception of a SOA-based system, for
the handling of
airframe related
components. The presented technique is
not limited to the aerospace industry,
but constitutes
a generic
approach to Service-Oriented Modelling. The main focus of
this
technique is the
transformation from traditional, activity-based
model, towards a model based upon
message
exchange between the
participating Services. Further transition leads to the
identification of
collaboration patterns involved in the business
activity. Given those patterns it
is possible, to
prove the
applicability of standardized coordination protocols to the
particular collaboration.
We derive a methodology for structural
approach to the management of
business activities in
SOA context, based
on our experience gathered during the described
analysis.
The complete list of publications is available separately.