消息的调用过程，也是一个修改当前以太坊全局状态过程，其中状态迁移函数如公式1，这个公式里面很多变量和上一节讲解的一样，因此就不再详细解释，这里只解释几个新的变量:表达式2是需要执行的代码的归属账号，往往这个账号和消息接受者是同一个账号。表达式3是代码执行过程中需要消耗的gas值，公式4表示消息调用函数的输入数据，是个字节序，公式6表示消息执行之后返回结果中包含的一个字节序。
公式7定义了一个过渡状态，这个过渡状态中接受者的余额增加V，发送者的余额减少了V。同时我们定义了这个过渡状态的其他属性，如下:
公式8，9，10定义了这个过渡状态的属性与另一个临时状态相同，除了公式9，10外。然后这个临时状态又和消息调用前的全局状态一直，除了公式12，13，14，15的情况，所以我们先解释公式11到15，这几个公式说明，临时状态与原始状态基本一致，然后公式12表示在消息接受者的全局状态不是空并且转给接受者的价值不是0，则消息的接受者的全局状态4元组情况。公式13表示接受者的全局状态描述是个空集合，并且接收的价值是0，则此时接收者的临时全局状态描述是个空集合。公式14和15表示，其他情况下，消息的接受者的账号余额增加V。
公式8，9，10表示过渡状态与临时状态基本一样，除了情况9，表示在消息调用后，发送者的全局临时状态描述是个空集合，并且消息调用转移的价值为0，则过渡状态下发送者的全局状态是空集合，否则就是公式10，表示从发送者的余额减去价值V，其他元组的值采用临时状态下的全局状态属性。
公式16定义了消息调用的终结状态，并且有新增了一个代码执行临时状态，我们知道消息调用的执行，需要虚拟机来完成具体的指令,这个指令执行函数定义是公式20，其中公式21定义的是函数需要的参数，公式19表示的是函数执行的结果，如果公式执行结果的状态结合是空集合，那么消息调用失败，全局状态不发送改变，否则全局状态迁移到最新的代码执行结果返回的这个状态，这就是公式16要表达的意思。公式17表示如果执行成功，剩余的gas就是公式20返回结果里面的剩余gas，否则剩余gas为0，这表示，一次转账如果存储代码执行的错误，那么gas消耗掉不再返回给消息发送者。公式18表示状态码，函数执行成功，状态码为1否则为0。
关于代码执行函数，根据消息接收者的不同，定义了不同的预编译的智能合约来执行，其定义如下：
以上定义用到了一些数据公式，会在下一节进行详细的解释。
