Applying algebraic approaches for modeling workflows and their transformations in mobile networks