Seite drucken

Friedrich H. Vogt

Foto von Friedrich H. Vogt
Prof. Dr. techn. Friedrich H. Vogt
E-Mail

Publikationen

James E. Johnson, David E. Langworthy, Leslie Lamport und 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 und Friedrich H. Vogt. Service Orientation for Dynamic Enterprises. In Proceedings of the International Conference on Logistics and Supply Chain Management (LSCM'06), Januar 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 und Simon Zambrovski. Business Activities in an Industrial Context. In Proceedings of the International Conference on Logistics and Supply Chain Management (LSCM'06), Januar 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.

Die vollständige Publikationsliste ist separat verfügbar.