Henk de Man has a wonderful 2009 article from BPTrends that overview different systems to encode up systems and processes. It examines the different languages and notations to encode up things like legal processes. Here is the link: Case Management Review