Describing reactive applications