SE2AI / TreeTransToCSP

Transform goal model to CSP# code for SAS

Guide to use

---

1. Please copy file goalmodel.csv to path: C:\Users\Administrator\Documents. The column name of csv content are node,nodetype,fatherNode,nextNodeOfSameLevel,relation,childrenType,childrenCount,child1,child2,child3...childN
2. The visualization of the example goal model is presented in file goalmodel.jpg.
3. Load GeneratePATCodeFromGM.R into IDE for R e.g. Rstudio or R console.
4. Run R code.
5. The output file can be found in Path C:\Users\Administrator\Documents.
6. Create a CSP model in PAT and paste the code in the output file to Specification Window.
7. Use simulation to generating the behavior model and check whether it is consistant with the goal model.