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 |
---|---|
Title of host publication | Proceedings of the 5th International Workshop on Semantic Web Enabled Software Engineering (SWESE 2009) |
Editors | Elisa F. Kendall, Jeff Z. Pan, Marwan Sabbouh, Ljiljana Stojanovic, Yuting Zhao |
Publisher | CEUR-WS.org |
Pages | 1-15 |
Number of pages | 15 |
Publication status | Published - 28 Oct 2009 |
Event | 5th International Workshop on Semantic Web Enabled Software Engineering - Chantilly, United States Duration: 26 Oct 2009 → 26 Oct 2009 Conference number: 5 |
Publication series
Name | CEUR Workshop Proceedings |
---|---|
Publisher | CEUR-WS.org |
Volume | 524 |
ISSN (Electronic) | 1613-0073 |
Workshop
Workshop | 5th International Workshop on Semantic Web Enabled Software Engineering |
---|---|
Abbreviated title | SWESE 2009 |
Country/Territory | United States |
City | Chantilly |
Period | 26/10/09 → 26/10/09 |