This is an interesting, but pretty arcane area and XBRL doesn't even scratch the surface.
REA is a continuing influence on the electronic commerce standard ebXML, with W.McCarthy actively involved in the standards committee. The competing XBRL GL standard however is at odds with the REA concept, as it closely mimics double-entry book-keeping.
I don't do detail ;-)
This
Uniform Economic Event Notification
is, I think, the key to it.
Essentially a "money message" or "value transfer message".
And then there's Ian Grigg's
Ricardian Contract
Ian being a top class crypto systems guy, among other things.
I can see intuitively that these concepts mesh at the core of a "market operating system" or generic "transaction engine", but I'm damned if I can synthesise them into a coherent conceptual whole.
What I can do is provide a protocol - a legal XML - that gives a framework within which it all comes together legally, and operates globally...