A Formal Specification Smart-Contract Language for Legally Binding Decentralized Autonomous Organizations

Keyphrases

• Smart Contract 100%
• Formal Specification 100%
• Legally Binding 100%
• Decentralized Autonomous Organization 100%
• Smart Contract Language 100%
• Markup Language 50%
• Ontology Language 25%
• Business Semantics 25%
• Sine 12%
• Platform Implementation 12%
• Blockchain Platform 12%
• Inter-organizational Collaboration 12%
• Blockchain Technology 12%
• Contract Technology 12%
• Blockchain Contracts 12%
• Legal Semantic Web 12%
• Non-IT 12%
• IT Users 12%
• Solidity 12%
• XML Schema Definition 12%
• Sale of Goods 12%
• Binding Contracts 12%
• Business Rules 12%
• Business Process Automation 12%
• Language Use 12%

Computer Science

• Smart Contract 100%
• Formal Specification 100%
• Markup Language 50%
• Blockchain 37%
• Business Semantics 25%
• Ontology Language 25%
• Business Process 12%
• Use Case 12%
• Schema Definition 12%