Response semantics of DCR as a middleware for the monitor

mojtaba-eshghie / HighGuard

The runtime monitoring tool for smart contracts business logic.

https://dl.acm.org/doi/abs/10.1145/3691620.3695356

MIT License

6 stars 2 forks source link

Response semantics of DCR as a middleware for the monitor #101

Closed mojtaba-eshghie closed 6 months ago

mojtaba-eshghie commented 6 months ago

Use the following API: https://documentation.dcr.design/documentation/dcr-active-repository/

The activity execution request should still go to the DCR model but it should also go through our response semantics enforcer middleware to mark the trace in case of a violation.

Useful resources:

DCR Process Model instance relations https://repository.dcrgraphs.net/api/graphs/id/sims/simid/relations