Consider a case of assets exchange. Assume we already have procedures functionality (a procedure - is an ISI stored in an Asset, one that can be called by demand. One may call it a smart-contract). The ‘exchange’ procedure is owned by an account that no one has access to, otherwise the "contract" may be violated. This procedure performs the following actions:
...