alex norta, phd., department of informatics, ttÜ@ieee coinbase'15, tallinn, estonia designing...
TRANSCRIPT
![Page 1: Alex Norta, PhD., Department of Informatics, TTÜ@IEEE CoinBase'15, Tallinn, Estonia Designing Smart Contracts for Automating Cross- Organizational CollaborationSmart](https://reader034.vdocuments.mx/reader034/viewer/2022052603/56649d305503460f94a084a1/html5/thumbnails/1.jpg)
Alex Norta, PhD.,
Department of
Informatics,
TTÜ@IEEE CoinBase'15,
Tallinn, Estonia
Designing Smart Contracts for Automating Cross-Organizational Collaboration
For Blockchain-Tech
![Page 2: Alex Norta, PhD., Department of Informatics, TTÜ@IEEE CoinBase'15, Tallinn, Estonia Designing Smart Contracts for Automating Cross- Organizational CollaborationSmart](https://reader034.vdocuments.mx/reader034/viewer/2022052603/56649d305503460f94a084a1/html5/thumbnails/2.jpg)
Agenda
Introduction Current state in blockchain-tech/crypto-currency
– Gap and research question Business-collaboration model
– Master/client- vs. P2P-collaboration– Detailed collaboration model
Suitability exploration– eContract-based exploration– Pattern-based exploration
Expressiveness exploration eSourcing Markup Language (eSML) eSML application Conclusion and future work
![Page 3: Alex Norta, PhD., Department of Informatics, TTÜ@IEEE CoinBase'15, Tallinn, Estonia Designing Smart Contracts for Automating Cross- Organizational CollaborationSmart](https://reader034.vdocuments.mx/reader034/viewer/2022052603/56649d305503460f94a084a1/html5/thumbnails/3.jpg)
Introduction Many smart-contracting solutions emerge:
– Digital anarchy is coming– UltraCoins to eliminate mainstream financial system– ProofOfExistence with legal importance– Blockchain ID– Blockchain changes business– Blockchain changes contract law– Bithalo as lighweight smart contracting option
• whitepaper– Ethereum as a heavy-weight smart cotracting choice
• whitepaper• Vitali Buterin won a price for that
– Escrows are the business-model of the future• Smart Contracting HUBs in Clouds
BitNation as a Governance 2.0 alternative to dinosaur stateist government.
![Page 4: Alex Norta, PhD., Department of Informatics, TTÜ@IEEE CoinBase'15, Tallinn, Estonia Designing Smart Contracts for Automating Cross- Organizational CollaborationSmart](https://reader034.vdocuments.mx/reader034/viewer/2022052603/56649d305503460f94a084a1/html5/thumbnails/4.jpg)
Introduction New enabling concepts and technologies
– service-oriented cloud computing (SOCC)– Business Process as a Service (BPaaS)– Cross-organizational eSourcing framework– Big data, mobile devices
![Page 5: Alex Norta, PhD., Department of Informatics, TTÜ@IEEE CoinBase'15, Tallinn, Estonia Designing Smart Contracts for Automating Cross- Organizational CollaborationSmart](https://reader034.vdocuments.mx/reader034/viewer/2022052603/56649d305503460f94a084a1/html5/thumbnails/5.jpg)
Introduction
BPaaS Contracting-HUB
![Page 6: Alex Norta, PhD., Department of Informatics, TTÜ@IEEE CoinBase'15, Tallinn, Estonia Designing Smart Contracts for Automating Cross- Organizational CollaborationSmart](https://reader034.vdocuments.mx/reader034/viewer/2022052603/56649d305503460f94a084a1/html5/thumbnails/6.jpg)
Introduction
Gap: Existing SOCC languages do not take into account sociotechnical suitability and expressiveness.– Lack of interaction-recognition between acting humans in organizations with
technology in workplaces– Suitability: concepts/properties to formulate real-world business-collaborations– Expressiveness: semantic language-construct clarity for uniform enactment
Research question: How to systematically develop a language for cross-sociotechnical and contract-based system collaboration specifications?– What is the collaboration context and model the specification language must cater
for? – What are the main suitability- and expressiveness concepts and -properties?
![Page 7: Alex Norta, PhD., Department of Informatics, TTÜ@IEEE CoinBase'15, Tallinn, Estonia Designing Smart Contracts for Automating Cross- Organizational CollaborationSmart](https://reader034.vdocuments.mx/reader034/viewer/2022052603/56649d305503460f94a084a1/html5/thumbnails/7.jpg)
Business-Collaboration Model
![Page 8: Alex Norta, PhD., Department of Informatics, TTÜ@IEEE CoinBase'15, Tallinn, Estonia Designing Smart Contracts for Automating Cross- Organizational CollaborationSmart](https://reader034.vdocuments.mx/reader034/viewer/2022052603/56649d305503460f94a084a1/html5/thumbnails/8.jpg)
P2P-Collaboration Model
![Page 9: Alex Norta, PhD., Department of Informatics, TTÜ@IEEE CoinBase'15, Tallinn, Estonia Designing Smart Contracts for Automating Cross- Organizational CollaborationSmart](https://reader034.vdocuments.mx/reader034/viewer/2022052603/56649d305503460f94a084a1/html5/thumbnails/9.jpg)
Suitability Exploration eContract-based collaboration
– Who-concept
![Page 10: Alex Norta, PhD., Department of Informatics, TTÜ@IEEE CoinBase'15, Tallinn, Estonia Designing Smart Contracts for Automating Cross- Organizational CollaborationSmart](https://reader034.vdocuments.mx/reader034/viewer/2022052603/56649d305503460f94a084a1/html5/thumbnails/10.jpg)
Suitability Exploration eContract-based collaboration
– Where-concept
![Page 11: Alex Norta, PhD., Department of Informatics, TTÜ@IEEE CoinBase'15, Tallinn, Estonia Designing Smart Contracts for Automating Cross- Organizational CollaborationSmart](https://reader034.vdocuments.mx/reader034/viewer/2022052603/56649d305503460f94a084a1/html5/thumbnails/11.jpg)
Suitability Exploration eContract-based collaboration
– What-concept
![Page 12: Alex Norta, PhD., Department of Informatics, TTÜ@IEEE CoinBase'15, Tallinn, Estonia Designing Smart Contracts for Automating Cross- Organizational CollaborationSmart](https://reader034.vdocuments.mx/reader034/viewer/2022052603/56649d305503460f94a084a1/html5/thumbnails/12.jpg)
Suitability Exploration Pattern-based
http://www.worldscientific.com/doi/abs/10.1142/S0218843007001664
![Page 13: Alex Norta, PhD., Department of Informatics, TTÜ@IEEE CoinBase'15, Tallinn, Estonia Designing Smart Contracts for Automating Cross- Organizational CollaborationSmart](https://reader034.vdocuments.mx/reader034/viewer/2022052603/56649d305503460f94a084a1/html5/thumbnails/13.jpg)
Expressiveness Exploration
eXchangable Routing Language (XRL)– Instance-based workflow language– Petri-net semantics and XML syntax– Control-flow patterns give strong expressiveness
Every routing element has WF-net (Petri-net variant) semantics– Allows for soundness verification with tool support
Syntax is a tree– root element with exactly one routing element– Simple routing: no children routing elements– Complex routing: child-routing elements of specific order
![Page 14: Alex Norta, PhD., Department of Informatics, TTÜ@IEEE CoinBase'15, Tallinn, Estonia Designing Smart Contracts for Automating Cross- Organizational CollaborationSmart](https://reader034.vdocuments.mx/reader034/viewer/2022052603/56649d305503460f94a084a1/html5/thumbnails/14.jpg)
eSourcing Markup Language
Econtracting Markup Language ECML is foundation
ECML delta towards eSouring – Incomplete suitability/expressiveness
Bold eSML definitions are extensions– Resource definition– Data definition
Who-extensions– resource/data-definition
What-extensions– Control-flow-patterns
Lifecycle definitions – Tasks/processes of collaborating parties– Mapped ontologically
![Page 15: Alex Norta, PhD., Department of Informatics, TTÜ@IEEE CoinBase'15, Tallinn, Estonia Designing Smart Contracts for Automating Cross- Organizational CollaborationSmart](https://reader034.vdocuments.mx/reader034/viewer/2022052603/56649d305503460f94a084a1/html5/thumbnails/15.jpg)
eSML Application Semantics of some Declare templates
![Page 16: Alex Norta, PhD., Department of Informatics, TTÜ@IEEE CoinBase'15, Tallinn, Estonia Designing Smart Contracts for Automating Cross- Organizational CollaborationSmart](https://reader034.vdocuments.mx/reader034/viewer/2022052603/56649d305503460f94a084a1/html5/thumbnails/16.jpg)
Conclusion Summary: eSML evolves out of systematic
– Sociotechnical suitability/expressiveness exploration Real-life contracting foundation for eSML
– Process-views are subsets of larger in-house processes ECML extension with eSourcing patterns
– Conjoinments, monitorability, process views WF-net based control-flow semantics
– Verifyable with tool-support XRL/flower as a proof-of-concept protoype
– Pattern-set extension eSML by WF-net mapping library extension Future work
– Cloud-based mobile business collaboration case studies– Safeguarding e-business transactionalities– Subsequent eSML extensions
![Page 17: Alex Norta, PhD., Department of Informatics, TTÜ@IEEE CoinBase'15, Tallinn, Estonia Designing Smart Contracts for Automating Cross- Organizational CollaborationSmart](https://reader034.vdocuments.mx/reader034/viewer/2022052603/56649d305503460f94a084a1/html5/thumbnails/17.jpg)
Thank you for listening!
Q&A