Yeah. I tried to create a (potential) transaction-oriented economic 'markup' system a few years ago... http://www.ifex-project.org/our-proposals/ifex ... despite some early interest via the IRTF, it never received any other developers and my then-employer asked me to focus elsewhere. The idea was basically that you built a risk model and then formally described enough properties of a potential transaction to enable automated routing of transactions even across multi-hop, multi-settlement-system, multi-asset topologies. I'd be willing to pick it up again as a group if anyone wanted to combine efforts.

I came around to the area because we were building a crypto-currency exchange (Kraken) and the availability (24x7x365) and risk management (re: gray settlement periods, exchange rate exposure, per-transaction and/or per-subsystem critical failure scenarios) profiles were therefore fairly extreme. It occurred to me that a decently generic solution in this space was not limited to conventional or digital assets and could apply with equal utility to physical goods and services.

Everything I've done since I have always regretted not finishing that project because I felt it would have been useful. This strongly suggests to me that there really is an opportunity to produce something in this space for wide adoption.