| 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.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.other | PURE: 31283446 | |
| dc.identifier.other | PURE UUID: 7b3e6b66-4ad7-420b-b1d8-9beed55332ce | |
| dc.identifier.other | Scopus: 78649851443 | |
| dc.identifier.uri | http://hdl.handle.net/2164/5298 | |
| dc.format.extent | 15 | |
| dc.language.iso | eng | |
| dc.relation.ispartof | CEUR Workshop Proceedings | en |
| dc.rights | Paper released under the Open Data Commons Attribution License (ODC-BY 1.0). You are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data as long as you attribute any public use of the data, or works produced from the data, in the manner specified in the license. Read the full ODC-BY 1.0 license text for the exact terms that apply. The ODC-BY 1.0 license is courtesy of the Open Knowledge Foundation. | 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.description.version | Publisher PDF | 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 |
