A framework for the language and logic of computer-aided phenomena-based process modeling · Study