dc.contributor.author | Ren, Y. | |
dc.contributor.author | Groener, G. | |
dc.contributor.author | Lemcke, J. | |
dc.contributor.author | Rahmani, T. | |
dc.contributor.author | Friesen, A. | |
dc.contributor.author | Zhao, Y. | |
dc.contributor.author | Pan, J.Z. | |
dc.contributor.author | Staab, S. | |
dc.date.accessioned | 2015-12-18T15:01:01Z | |
dc.date.available | 2015-12-18T15:01:01Z | |
dc.date.issued | 2009-01-01 | |
dc.identifier | 31283446 | |
dc.identifier | 7b3e6b66-4ad7-420b-b1d8-9beed55332ce | |
dc.identifier | 78649851443 | |
dc.identifier.citation | Ren , 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 > | en |
dc.identifier.issn | 1613-0073 | |
dc.identifier.uri | http://hdl.handle.net/2164/5298 | |
dc.format.extent | 15 | |
dc.format.extent | 447893 | |
dc.language.iso | eng | |
dc.relation.ispartof | CEUR Workshop Proceedings | en |
dc.subject | abstract modeling | en |
dc.subject | behaviour models | en |
dc.subject | in-process | en |
dc.subject | process descriptions | en |
dc.subject | process refinement | en |
dc.subject | satisfiability checking | en |
dc.subject | set semantics | en |
dc.subject | QA75 Electronic computers. Computer science | en |
dc.subject.lcc | QA75 | en |
dc.title | Validating process refinement with ontologies | en |
dc.type | Journal article | en |
dc.contributor.institution | University of Aberdeen.University of Aberdeen | en |
dc.contributor.institution | University of Aberdeen.Computing Science | en |
dc.description.status | Peer reviewed | en |
dc.identifier.url | http://www.scopus.com/inward/record.url?scp=78649851443&partnerID=8YFLogxK | en |
dc.identifier.url | http://ceur-ws.org/Vol-524/swese2009_1.pdf | en |
dc.identifier.vol | 524 | en |