Modelling and Exploration of Event-Driven Architectures