Reusing a Declarative Specification to Check the Conformance of Different CIGs
| Autor: | Grando, M. A., van der Aalst, Wil M. P., Mans, Ronny S., Daniel, Florian, Barkaoui, Kamel, Dusdar, Shahram |
|---|---|
| Přispěvatelé: | Information Systems IE&IS, Process Science, Patient Care Support |
| Rok vydání: | 2012 |
| Předmět: | |
| Zdroj: | Business Process Management Workshops ISBN: 9783642281143 Business Process Management Workshops (2) Business Process Management Workshops (BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part II), 188-199 STARTPAGE=188;ENDPAGE=199;TITLE=Business Process Management Workshops (BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part II) Business Process Management Workshops : BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, 188-199 STARTPAGE=188;ENDPAGE=199;TITLE=Business Process Management Workshops : BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers |
| DOI: | 10.1007/978-3-642-28115-0_19 |
| Popis: | Several Computer Interpretable Guidelines (CIGs) languages have been proposed by the health community. Even though these CIG languages share common ideas each language has to be provided with his own mechanism of verification. In an earlier work we have shown that a DECLARE model can be used for checking the conformance of a PROforma CIG. In this paper, we show that the same model can also be used for checking the conformance of a similar CIG expressed in the GLIF language. Besides, as the GLIF model has been expressed in terms of a Coloured Petri Net (CPN), we also elaborate on the experiences obtained when applying the model checking techniques supported by CPN tools. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|