Reusing a declarative specification to check the conformance of different CIGs

M.A. Grando; W.M.P. Aalst, van der; R.S. Mans

doi:10.1007/978-3-642-28115-0_19

Reusing a declarative specification to check the conformance of different CIGs

M.A. Grando, W.M.P. Aalst, van der, R.S. Mans

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

12 Citations (Scopus)

Abstract

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.

Original language	English
Title of host publication	Business Process Management Workshops (BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part II)
Editors	F. Daniel, K. Barkaoui, S. Dustdar
Place of Publication	Berlin
Publisher	Springer
Pages	188-199
ISBN (Print)	978-3-642-28114-3
DOIs	https://doi.org/10.1007/978-3-642-28115-0_19
Publication status	Published - 2012

Publication series

Name	Lecture Notes in Business Information Processing
Volume	100
ISSN (Print)	1865-1348

Access to Document

10.1007/978-3-642-28115-0_19

Fingerprint Dive into the research topics of 'Reusing a declarative specification to check the conformance of different CIGs'. Together they form a unique fingerprint.

Cite this

Grando, M. A., Aalst, van der, W. M. P., & Mans, R. S. (2012). Reusing a declarative specification to check the conformance of different CIGs. In F. Daniel, K. Barkaoui, & S. Dustdar (Eds.), Business Process Management Workshops (BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part II) (pp. 188-199). (Lecture Notes in Business Information Processing; Vol. 100). Springer. https://doi.org/10.1007/978-3-642-28115-0_19

Grando, M.A. ; Aalst, van der, W.M.P. ; Mans, R.S. / Reusing a declarative specification to check the conformance of different CIGs. Business Process Management Workshops (BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part II). editor / F. Daniel ; K. Barkaoui ; S. Dustdar. Berlin : Springer, 2012. pp. 188-199 (Lecture Notes in Business Information Processing).

@inproceedings{313387160f2345fdbc53f5e93573e8e6,

title = "Reusing a declarative specification to check the conformance of different CIGs",

abstract = "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.",

author = "M.A. Grando and {Aalst, van der}, W.M.P. and R.S. Mans",

year = "2012",

doi = "10.1007/978-3-642-28115-0_19",

language = "English",

isbn = "978-3-642-28114-3",

series = "Lecture Notes in Business Information Processing",

publisher = "Springer",

pages = "188--199",

editor = "F. Daniel and K. Barkaoui and S. Dustdar",

booktitle = "Business Process Management Workshops (BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part II)",

address = "Germany",

}

Grando, MA, Aalst, van der, WMP & Mans, RS 2012, Reusing a declarative specification to check the conformance of different CIGs. in F Daniel, K Barkaoui & S Dustdar (eds), Business Process Management Workshops (BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part II). Lecture Notes in Business Information Processing, vol. 100, Springer, Berlin, pp. 188-199. https://doi.org/10.1007/978-3-642-28115-0_19

Reusing a declarative specification to check the conformance of different CIGs. / Grando, M.A.; Aalst, van der, W.M.P.; Mans, R.S.

Business Process Management Workshops (BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part II). ed. / F. Daniel; K. Barkaoui; S. Dustdar. Berlin : Springer, 2012. p. 188-199 (Lecture Notes in Business Information Processing; Vol. 100).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Reusing a declarative specification to check the conformance of different CIGs

AU - Grando, M.A.

AU - Aalst, van der, W.M.P.

AU - Mans, R.S.

PY - 2012

Y1 - 2012

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-642-28115-0_19

DO - 10.1007/978-3-642-28115-0_19

M3 - Conference contribution

SN - 978-3-642-28114-3

T3 - Lecture Notes in Business Information Processing

SP - 188

EP - 199

BT - Business Process Management Workshops (BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part II)

A2 - Daniel, F.

A2 - Barkaoui, K.

A2 - Dustdar, S.

PB - Springer

CY - Berlin

ER -

Grando MA, Aalst, van der WMP, Mans RS. Reusing a declarative specification to check the conformance of different CIGs. In Daniel F, Barkaoui K, Dustdar S, editors, Business Process Management Workshops (BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part II). Berlin: Springer. 2012. p. 188-199. (Lecture Notes in Business Information Processing). https://doi.org/10.1007/978-3-642-28115-0_19