The important ingredients of the EDEN language are the formula definitions and action specifications. In this section, we explain these concepts.