Write a Blog >>
ISSTA 2018
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA 2018
Mon 16 Jul 2018 11:00 - 11:30 at Bangkok - Session 1 Chair(s): Jens Lincke, Tetsuo Kamina

Smart contracts formalize and automate interactions among and between individuals and systems in an executable way. They are analogous to objects in object-oriented programming, but their state is replicated across numerous participants in a network and messages sent to the object are relayed to all network participants, allowing everyone to keep its replica up-to-date. Originally introduced in the mid-1990s, their recent surge in popularity is linked to a rising interest in blockchain-backed, general-purpose smart contract platforms.

Manging contract-specific state and behavior associated with the interacting parties and shared objects is a modularity challenge in smart contracts. Due to the decentralized deployment and execution model, code of already existing objects cannot be amended. Each smart contract needs to manage object-specific state and behavior itself, often leading to a single monolithic mediator.

We aim at re-instating separation of concerns by allowing programmers to modularly express instance-specific state and behavior within the scope of a so called Activity Context. Activity Contexts are first-class entities that collect these modular adaptations and jointly overlay them over instances that participate in the activity modeled by the smart contract.

We demonstrate the benefits of Activity Contexts by refactoring an exemplary smart contract and discuss their trade-offs compared to traditional object-oriented decomposition and context-oriented layers.

Mon 16 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30: COP - Session 1 at Bangkok
Chair(s): Jens LinckeHasso Plattner Institute, Tetsuo KaminaOita University
COP-2018-papers11:00 - 11:30
Toni MattisHasso Plattner Institute, Robert HirschfeldHPI, University of Potsdam
COP-2018-papers11:30 - 12:00
Takuo WatanabeTokyo Institute of Technology
Link to publication DOI
COP-2018-papers12:00 - 12:30
Robert HirschfeldHPI, University of Potsdam, Patrick ReinHasso Plattner Institute, Marcel TaeumelHasso Plattner Institute, Tobias DürschmidHasso Plattner Institute