[shabinesh]

This is interesting to me. I am thinking loud here. The first thing for me would be to understand from a top level the different departments/ministries have a set of function and they are required to communicate between them to accomplish certain task. So before I could make anything programmatically I could at some level try to model it mathematically. I believe these are processes which ought to communicate, could we think of these as modeled by pi-calculus (https://en.wikipedia.org/wiki/%CE%A0-calculus)

I am not sure I am even close enough to what your are asking, but thats my two cents.

[nstj]

this is exactly the kind of thing I'm going for - effectively modelling the legal relationship between different areas of government and how they achieve intended goals / the permitted ways to achieve outcomes. I'll check out pi-calculus now.