https://1library.net/document/q5nekm7q-specifying-artifact-centric-business-process-models-technical-report.html