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

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.