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 with respect to either an abstract model or a 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 can be validated by concept satisfiability checking.
Original language | English |
---|---|
Pages (from-to) | 1-15 |
Number of pages | 15 |
Journal | CEUR Workshop Proceedings |
Volume | 524 |
Publication status | Published - 1 Jan 2009 |
Keywords
- abstract modeling
- behaviour models
- in-process
- process descriptions
- process refinement
- satisfiability checking
- set semantics