Parameterized Algorithmics for the Analysis and Verification of Constrained Workflow Systems