Validating process refinement with ontologies
| 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.contributor.institution | University of Aberdeen.University of Aberdeen | en |
| dc.contributor.institution | University of Aberdeen.Computing Science | en |
| dc.date.accessioned | 2015-12-18T15:01:01Z | |
| dc.date.available | 2015-12-18T15:01:01Z | |
| dc.date.issued | 2009-01-01 | |
| dc.description.status | Peer reviewed | en |
| dc.format.extent | 15 | |
| dc.format.extent | 447893 | |
| 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.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 |
| 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 |