Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Verbindliche Telekooperation - Ein Modell für Electronic Commerce auf Basis formaler Sprachen

 
: Grimm, R.; Ochsenschläger, P.

:

Röhm, A.:
Sicherheit und Electronic Commerce: Konzepte, Modelle, technische Möglichkeiten
Braunschweig: Vieweg, 1999 (DuD-Fachbeiträge)
ISBN: 3-528-03139-5
ISBN: 978-3-528-03139-8 (Print)
ISBN: 978-3-322-84901-4 (Online)
S.1-14
Workshop "Sicherheit und Electronic Commerce" <1998, Essen>
Deutsch
Konferenzbeitrag
Fraunhofer SIT ()
formal model; E-Commerce

Abstract
Dieser Artikel erarbeitet eine formale Bestimmung der Begriffe „elektronischer Vertrag“, seine „Ziele“, „Verpflichtungen“ und seine „verbindliche Phase“. Es wird in einem Theorem der „Sog ins Ziel“ durch einen geeignet gestalteten elektronischen Vertrag bewiesen. Die Begriffe beruhen auf der Theorie der formalen Sprachen bzw. der Automaten. Sie werden an einem einfachen Beispiel einer bilateralen Auftragskooperation demonstriert.

: http://publica.fraunhofer.de/dokumente/N-47946.html