ProcessSpecificationLanguage

see: Process_Specification_Language