Show simple item record

dc.contributor.authorRen, Y.
dc.contributor.authorGroener, G.
dc.contributor.authorLemcke, J.
dc.contributor.authorRahmani, T.
dc.contributor.authorFriesen, A.
dc.contributor.authorZhao, Y.
dc.contributor.authorPan, J.Z.
dc.contributor.authorStaab, S.
dc.date.accessioned2015-12-18T15:01:01Z
dc.date.available2015-12-18T15:01:01Z
dc.date.issued2009-01-01
dc.identifier.citationRen , 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.issn1613-0073
dc.identifier.otherPURE: 31283446
dc.identifier.otherPURE UUID: 7b3e6b66-4ad7-420b-b1d8-9beed55332ce
dc.identifier.otherScopus: 78649851443
dc.identifier.urihttp://hdl.handle.net/2164/5298
dc.format.extent15
dc.language.isoeng
dc.relation.ispartofCEUR Workshop Proceedingsen
dc.rightsPaper 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.subjectabstract modelingen
dc.subjectbehaviour modelsen
dc.subjectin-processen
dc.subjectprocess descriptionsen
dc.subjectprocess refinementen
dc.subjectsatisfiability checkingen
dc.subjectset semanticsen
dc.subjectQA75 Electronic computers. Computer scienceen
dc.subject.lccQA75en
dc.titleValidating process refinement with ontologiesen
dc.typeJournal articleen
dc.contributor.institutionUniversity of Aberdeen.University of Aberdeenen
dc.contributor.institutionUniversity of Aberdeen.Computing Scienceen
dc.description.statusPeer revieweden
dc.description.versionPublisher PDFen
dc.identifier.urlhttp://www.scopus.com/inward/record.url?scp=78649851443&partnerID=8YFLogxKen
dc.identifier.urlhttp://ceur-ws.org/Vol-524/swese2009_1.pdfen
dc.identifier.vol524en


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record