Larch WWW9 Presentation
by Dan Connolly & Masayasu Ishikawa

Table of contents

• Specifying Web Architecture with Larch
• Why Formal Systems?
• Why Larch?
• Some Results
• The Semantic Web needs a model of State in the Web
• A Simple Model of State in the Web
• Multiple Formats
• The Web Varies over Time
• The HTTP Trait
• The 200 OK Axiom
• The Origin Server Axiom, TCP/IP/DNS case
• The Conditional GET Axiom, If_Modified_Since case