Business process formal modeling in graphical ontology tool - functional view. - Jakub Stolfa; Svatopluk Stolfa; Jan Kozuszník; Tereza Moudrá (MEDES, 2012)