Skip to main content
Log in

Modellgestützte Validierung von WebService-Ketten

  • Schwerpunkt
  • Published:
Datenschutz und Datensicherheit - DuD Aims and scope Submit manuscript

Zusammenfassung

Lässt sich das Konzept der Daten verarbeitenden Stelle auf frei konfigurierbare WebServices noch anwenden? Der Beitrag stellt eine Idee vor, wonach dies dadurch gelingt, indem die die Verantwortung tragende Organisation ihre WebService-Kette nach einem automatisierten Test und Freigabeverfahren zusammenstellt und den Ablauf kontrolliert.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Literatur

  1. Bizer, J.; Grimm, R.; Staab, S.: SOAinVO — Chancen und Risiken von Service-orientierten Architekturen in Virtuellen Organisationen, Version 1.0, 2007 https://www.datenschutzzentrum.de/soa/SOAinVO-Analyse.pdf

  2. Clark, E.M.; Grumberg, O.; Peled, D.A.: Model Checking, The MIT Press, 1999.

  3. Conradi, R.; Westfechtel, B.: Version Models for Software Configuration Management. ACM Surveys, 30, 1998; S. 232–282.

    Article  Google Scholar 

  4. Feja, S.: Service-orientierte Integration im Ecommerce. In: Informatiktage 2007: Fachwissenschaftlicher Informatik-Kongress, B-IT Bonn-Aachen, International Center for Information Technology: Bonn, 2007.

    Google Scholar 

  5. Fötsch, D.; Pulvermüller; E.; Rossak, W.: Modeling and Verifying Workflow-based Regulations, In: Proceedings of International Workshop on Regulations Modelling and their Validation and Verification (REMO2V’ 06) in conjunction with CAiSE’ 06, Luxemburg, 2006, S. 825–830.

  6. Meyer-Spasche, G.; Störing, M.: Dienstbar — Rechtliche Risiken bei SOA-Projekten managen, in: iX, Mai 2009, S. 134–135.

  7. Pulvermüller, E.; Speck, A.; Coplien, J. O.: A Version Model for Aspect Dependency Management. In: Proceedings of 3rd International Symposium of Generative and Componentbased Software Engineering (GCSE 2001), LNCS 1241, Erfurt, Springer 2001, S. 70–79.

    Google Scholar 

  8. McMillan: Symbolic Model Checking. Kluwer, Academic Publishers, 1993.

    MATH  Google Scholar 

  9. Ringelstein, Chr.: Protokollierung in serviceorientierten Architekturen. In: Datenschutz und Datensicherheit (DuD), Vieweg-Verlag, 10/2007, S. 736–739.

    Article  Google Scholar 

  10. Wolf, G.; Pfitzmann, A.: Charakteristika von Schutzzielen und Konsequenzen für Benutzungsschnittstellen. In: Informatik Spektrum, 06/2000, S. 173–191.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Martin Rost.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Rost, M., Speck, A. Modellgestützte Validierung von WebService-Ketten. DuD 33, 359–363 (2009). https://doi.org/10.1007/s11623-009-0073-8

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11623-009-0073-8

Navigation