Abstract
A crucial task in process management is the validation of process refinements. A process refinement is a process description in a more fine-grained representation. The refinement is either with respect to an abstract model or with respect to component's principle behaviour model. We define process refinement based on the execution set semantics. Predecessor and successor relations of the activities are described in an ontology in which the refinement is represented and validated by concept satisfiability checking.
Original language | English |
---|---|
Pages (from-to) | 1-12 |
Number of pages | 12 |
Journal | CEUR Workshop Proceedings |
Volume | 477 |
Publication status | Published - 1 Dec 2009 |
Event | 22nd International Workshop on Description Logics, DL 2009 - Oxford, United Kingdom Duration: 27 Jul 2009 → 30 Jul 2009 http://www.cs.ox.ac.uk/DL2009/ (Link to Official Website) |