Ren, Y.Groener, G.Lemcke, J.Rahmani, T.Friesen, A.Zhao, Y.Pan, J.Z.Staab, S.2015-12-182015-12-182009-01-01Ren, Y, Groener, G, Lemcke, J, Rahmani, T, Friesen, A, Zhao, Y, Pan, J Z & Staab, S 2009, 'Validating process refinement with ontologies', CEUR Workshop Proceedings, vol. 524, pp. 1-15. < http://ceur-ws.org/Vol-524/swese2009_1.pdf >1613-0073http://hdl.handle.net/2164/529815447893engabstract modelingbehaviour modelsin-processprocess descriptionsprocess refinementsatisfiability checkingset semanticsQA75 Electronic computers. Computer scienceQA75Journal articlehttp://www.scopus.com/inward/record.url?scp=78649851443&partnerID=8YFLogxKhttp://ceur-ws.org/Vol-524/swese2009_1.pdf524