Show simple item record

Validating process refinement with ontologies

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.identifier31283446
dc.identifier7b3e6b66-4ad7-420b-b1d8-9beed55332ce
dc.identifier78649851443
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.urihttp://hdl.handle.net/2164/5298
dc.format.extent15
dc.format.extent447893
dc.language.isoeng
dc.relation.ispartofCEUR Workshop Proceedingsen
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.identifier.urlhttp://www.scopus.com/inward/record.url?scp=78649851443&partnerID=8YFLogxKen
dc.identifier.urlhttp://ceur-ws.org/Vol-524/swese2009_1.pdfen


Files in this item

Thumbnail
Name:
Ren_Groener_Lemcke_Rahmani_Fri ...
Size:
437.3Kb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record