Modeling and Analysis of Laws Using BPR and Goal-Oriented Framework