1 / 17

Alex Norta, PhD., Department of Informatics, TTÜ@IEEE CoinBase'15, Tallinn, Estonia

Designing Smart Contracts for Automating Cross-Organizational Collaboration For Blockchain-Tech. Alex Norta, PhD., Department of Informatics, TTÜ@IEEE CoinBase'15, Tallinn, Estonia. Agenda. Introduction Current state in blockchain-tech/crypto-currency Gap and research question

diannas
Télécharger la présentation

Alex Norta, PhD., Department of Informatics, TTÜ@IEEE CoinBase'15, Tallinn, Estonia

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Designing Smart Contractsfor Automating Cross-Organizational Collaboration For Blockchain-Tech Alex Norta, PhD., Department of Informatics, TTÜ@IEEE CoinBase'15, Tallinn, Estonia

  2. 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

  3. Introduction • Many smart-contracting solutions emerge: • Digital anarchy is coming • UltraCoinsto eliminate mainstream financial system • ProofOfExistencewith legal importance • Blockchain ID • Blockchain changes business • Blockchain changes contract law • Bithaloas 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 HUBsin Clouds • BitNation as a Governance 2.0 alternative to dinosaur stateist government.

  4. 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

  5. Introduction BPaaS Contracting- HUB

  6. 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?

  7. Business-Collaboration Model

  8. P2P-Collaboration Model

  9. Suitability Exploration • eContract-based collaboration • Who-concept

  10. Suitability Exploration • eContract-based collaboration • Where-concept

  11. Suitability Exploration • eContract-based collaboration • What-concept

  12. Suitability Exploration • Pattern-based http://www.worldscientific.com/doi/abs/10.1142/S0218843007001664

  13. 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

  14. 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

  15. eSML Application • Semantics of some Declare templates

  16. 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

  17. Thank you for listening! Q&A

More Related