automated contract formation: jurisdiction and applicable la · – singular, national point of...
TRANSCRIPT
![Page 1: Automated Contract Formation: Jurisdiction and Applicable La · – Singular, national point of view (Swiss) – Applicable to contracts with Swiss connection – Successful integrated](https://reader035.vdocuments.mx/reader035/viewer/2022081613/5fb51abcf6c09724cd35bc9f/html5/thumbnails/1.jpg)
© 2009 UZH, IFI
Automated Contract Formation:Jurisdiction and Applicable Law
– Implementation in Prolog –
Martin Waldburger1
1 Department of Informatics IFI, Communication Systems Group CSG, University of Zürich
CSG Doctoral Seminar, November 17, 2009, Zürich, Switzerland
Key Issues
Swiss PIL Jurisdiction Activity Diagram
Path Identification
Actions
Connecting Factors, Derived Factors
Implementation in Prolog
Summary and Conclusions
![Page 2: Automated Contract Formation: Jurisdiction and Applicable La · – Singular, national point of view (Swiss) – Applicable to contracts with Swiss connection – Successful integrated](https://reader035.vdocuments.mx/reader035/viewer/2022081613/5fb51abcf6c09724cd35bc9f/html5/thumbnails/2.jpg)
© 2009 UZH, IFI
Key Issues
Private International Law (PIL)– PIL identification– PIL selection
Analysis– Thematic pre-selection– Detailed in-/exclusion
Modeling– UML2 activity diagram
Implementation– Automation– Connecting factors → jurisdictions, applicable laws– Integrated testing
Focus
![Page 3: Automated Contract Formation: Jurisdiction and Applicable La · – Singular, national point of view (Swiss) – Applicable to contracts with Swiss connection – Successful integrated](https://reader035.vdocuments.mx/reader035/viewer/2022081613/5fb51abcf6c09724cd35bc9f/html5/thumbnails/3.jpg)
© 2009 UZH, IFI
Swiss PIL Jurisdiction Activity Diagram
![Page 4: Automated Contract Formation: Jurisdiction and Applicable La · – Singular, national point of view (Swiss) – Applicable to contracts with Swiss connection – Successful integrated](https://reader035.vdocuments.mx/reader035/viewer/2022081613/5fb51abcf6c09724cd35bc9f/html5/thumbnails/4.jpg)
© 2009 UZH, IFI
Path Identification
j23; j26; j27; j30; j33; j34
jurisdictions(...) :-connectingFactors(),(j23; j26; ...).
j23(...) :- j22(...), j21(...), j20(...).
J20(...) :-…
Allows partial path verification
![Page 5: Automated Contract Formation: Jurisdiction and Applicable La · – Singular, national point of view (Swiss) – Applicable to contracts with Swiss connection – Successful integrated](https://reader035.vdocuments.mx/reader035/viewer/2022081613/5fb51abcf6c09724cd35bc9f/html5/thumbnails/5.jpg)
© 2009 UZH, IFI
Actions
Jurisdiction assertion (output)
Different notions– Exclusive (E)
– Chosen (C)
– Ignored (I)
– Non-exclusive (N)
– Unwaivable (U)
jurisdictions(E, C, I, N, U).– Hierarchy
– Interrelations
Single path may see multiple assertions
![Page 6: Automated Contract Formation: Jurisdiction and Applicable La · – Singular, national point of view (Swiss) – Applicable to contracts with Swiss connection – Successful integrated](https://reader035.vdocuments.mx/reader035/viewer/2022081613/5fb51abcf6c09724cd35bc9f/html5/thumbnails/6.jpg)
© 2009 UZH, IFI
Connecting Factors
Minimum factor set wanted Main determinant for test cases
– Database fields
– Variations → Verification
input(..., [ch,de,at], [ch,fr,de], non-exclusive, ch, ch).– ProviderChoices, CustomerChoices: Preference lists
– Exclusive/non-exclusive choice
– CustomerDomicile, CustomerHabitualResidence
![Page 7: Automated Contract Formation: Jurisdiction and Applicable La · – Singular, national point of view (Swiss) – Applicable to contracts with Swiss connection – Successful integrated](https://reader035.vdocuments.mx/reader035/viewer/2022081613/5fb51abcf6c09724cd35bc9f/html5/thumbnails/7.jpg)
© 2009 UZH, IFI
Derived Factors
Factors derived from connecting factors List manipulations
– Recursion– Output: Lists
Functionality– Members in lists– Common elements– No common elements– Agreement
Currently in single predicate– UnwaivableJurisdiction– ChosenJurisdiction
![Page 8: Automated Contract Formation: Jurisdiction and Applicable La · – Singular, national point of view (Swiss) – Applicable to contracts with Swiss connection – Successful integrated](https://reader035.vdocuments.mx/reader035/viewer/2022081613/5fb51abcf6c09724cd35bc9f/html5/thumbnails/8.jpg)
© 2009 UZH, IFI
Implementation in Prolog
Database
Derived Factors
Paths
Jurisdictions
Demo
![Page 9: Automated Contract Formation: Jurisdiction and Applicable La · – Singular, national point of view (Swiss) – Applicable to contracts with Swiss connection – Successful integrated](https://reader035.vdocuments.mx/reader035/viewer/2022081613/5fb51abcf6c09724cd35bc9f/html5/thumbnails/9.jpg)
© 2009 UZH, IFI
Summary and Conclusions
Achievements– Partial implementation
– Automated determination of jurisdictions
– Singular, national point of view (Swiss)
– Applicable to contracts with Swiss connection
– Successful integrated testing (verification) Next steps
– Coverage extension
– EU PIL ongoing
– 2 further national PILs ongoing
– Distributed connecting factor acquisition Lacking elements
– Inter-PIL basic connector integration
– Inter-PIL jurisdictions compatibility check