Zusammenfassung.
Dieser Artikel erarbeitet eine formale Bestimmung der Begriffe “elektronischer Vertrag”, seine “Ziele”, “Verpflichtungen” und seine “verbindliche Aushandlungsphase”. Die hier erarbeiteten Begriffe dienen erstens der Spezifikation elektronischer Verträge und zweitens der Verifikation lokaler Implementationen von elektronischen Vertragskooperationen. Besonders behandelt werden die lokale Darstellungen von Verträgen und ihre vermittelnde Kommunikation, mehrfache sowie sich überlappende Durchläufe durch eine verbindliche Phase und die Rolle von Beweismitteln. Die Begriffe beruhen auf der Theorie der formalen Sprachen bzw. der Automaten. Sie werden an einem einfachen Beispiel einer bilateralen Auftragskooperation demonstriert.
Abstract.
This paper formally defines the concept “electronic contract” and identifies its “goals”, “obligations” and “binding phase”. The definitions obtained here are used first for the specification of electronic contracts and secondly for the verification of local implementations of electronic cooperation contracts. The local representation of contracts and the communication between them, multiple and overlapping runs through a binding phase and the role of proofs are treated separately. The definitions are based on the theory of formal languages and automata. They are demonstrated by a simple example of a biliteral offer-order-delivery-pay cooperation.
Author information
Authors and Affiliations
Additional information
Eingegangen am 16. Dezember 1999 / Angenommen am 10. März 2000
Rights and permissions
About this article
Cite this article
Grimm, R., Ochsenschläger, P. Elektronische Verträge und ihre verbindliche Aushandlung . Informatik Forsch Entw 15, 182–192 (2000). https://doi.org/10.1007/s004500000040
Issue Date:
DOI: https://doi.org/10.1007/s004500000040