Business Process Modeling in the Arden Syntax