The essence of the process specification language · Study