A formal model to define service architectures. It is oriented to the specification of service contracts directly on code.