Skip to content. | Skip to navigation

Personal tools
You are here: Home Theses Process model-oriented creation of smart contracts


Prof. Dr. S. Decker
RWTH Aachen
Informatik 5
Ahornstr. 55
D-52056 Aachen
Tel +49/241/8021501
Fax +49/241/8022321

How to find us

Annual Reports





Process model-oriented creation of smart contracts

Thesis type
  • Master
Status Open
  • Thomas Osterland

Often only noticed as a technology that enables the digital currency Bitcoin, blockchain is a novel protocol that allows the distributed and secure storing of information and untempered execution of program code in trust-less environments. Did you ever feel the intense desire to write a thesis about blockchain or do you have a slight hope that blockchain is the one-and-only topic that touches your heart? Use your chance now! We are looking forward to hear from you.


One unique selling point of Smart Contracts is the automation of business processes. Once the business logic of a process has been specified by a Smart Contract, compliance of this business logic is assured in a tamper proven way. The question arises how to specify the business logic? Prevailingly, programming languages, e.g., Solidity, Serpens, Java, Go, are employed to represent the business process. Why not go from script languages to diagrammatic ones similar to the representation of business processes?

Typically, business processes are quite often developed by people that have a thorough understanding of process modeling languages such as BPMN, but are not familiar with programming languages. Thus, implementing business processes on a blockchain requires a domain expert for the business process plus a programmer that is capable of translating the process into program code. This process is further compounded by the fact that selection of programming languages often restricts the usable blockchain platforms.

Hence, we are interested in the automation of the translation of business processes defined in BPMN into smart contract languages (Solidity). One aspect is to handle the problem of ambiguous definitions, possibly by first translating the BMPN models into Petri Nets.

Finally, such an abstraction from the code to a conceptual level can be complemented by a domain-oriented process language incorporating building blocks from a reference library.


Document Actions