The aim of this work is twofold. First, we propose an high level textual modelling language, which is meant to be biologically
intuitive and hence easily usable by life scientists in modelling intra-cellular systems. Secondly, we provide an automatic
translation of the proposed language into Beta-binders, a bio-inspired process calculus, which allows life scientists to formally
analyse and simulate their models. We use the Gp130 signalling pathway as a case study.