A graph syntax for processes and services