Reusing a declarative specification to check the conformance of different CIGs

M. A. Grando; Wil M.P. Van Der Aalst; Ronny 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, Wil M.P. Van Der Aalst, Ronny S. Mans

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

13 Scopus citations

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 (US)
Title of host publication	Business Process Management Workshops - BPM 2011 International Workshops, Revised Selected Papers
Publisher	Springer Verlag
Pages	188-199
Number of pages	12
Edition	PART 2
ISBN (Print)	9783642281143
DOIs	https://doi.org/10.1007/978-3-642-28115-0_19
State	Published - Jan 1 2012
Externally published	Yes
Event	9th International Conference on Business Process Management, BPM 2011P - Clermont-Ferrand, France Duration: Aug 29 2011 → Aug 29 2011

Publication series

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

Other

Other	9th International Conference on Business Process Management, BPM 2011P
Country/Territory	France
City	Clermont-Ferrand
Period	8/29/11 → 8/29/11

Keywords

Petri Nets
clinical guidelines
conformance checking

ASJC Scopus subject areas

Management Information Systems
Control and Systems Engineering
Business and International Management
Information Systems
Modeling and Simulation
Information Systems and Management

Access to Document

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

Cite this

Grando, M. A., Van Der Aalst, W. M. P., & Mans, R. S. (2012). Reusing a declarative specification to check the conformance of different CIGs. In Business Process Management Workshops - BPM 2011 International Workshops, Revised Selected Papers (PART 2 ed., pp. 188-199). (Lecture Notes in Business Information Processing; Vol. 100 LNBIP, No. PART 2). Springer Verlag. 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.; Van Der Aalst, Wil M.P.; Mans, Ronny S.
Business Process Management Workshops - BPM 2011 International Workshops, Revised Selected Papers. PART 2. ed. Springer Verlag, 2012. p. 188-199 (Lecture Notes in Business Information Processing; Vol. 100 LNBIP, No. PART 2).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Grando, MA, Van Der Aalst, WMP & Mans, RS 2012, Reusing a declarative specification to check the conformance of different CIGs. in Business Process Management Workshops - BPM 2011 International Workshops, Revised Selected Papers. PART 2 edn, Lecture Notes in Business Information Processing, no. PART 2, vol. 100 LNBIP, Springer Verlag, pp. 188-199, 9th International Conference on Business Process Management, BPM 2011P, Clermont-Ferrand, France, 8/29/11. https://doi.org/10.1007/978-3-642-28115-0_19

@inproceedings{3e8fac52bf334b358442f1ddc329763a,

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

keywords = "Petri Nets, clinical guidelines, conformance checking",

author = "Grando, {M. A.} and {Van Der Aalst}, {Wil M.P.} and Mans, {Ronny S.}",

year = "2012",

month = jan,

day = "1",

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

language = "English (US)",

isbn = "9783642281143",

series = "Lecture Notes in Business Information Processing",

publisher = "Springer Verlag",

number = "PART 2",

pages = "188--199",

booktitle = "Business Process Management Workshops - BPM 2011 International Workshops, Revised Selected Papers",

edition = "PART 2",

note = "9th International Conference on Business Process Management, BPM 2011P ; Conference date: 29-08-2011 Through 29-08-2011",

}

TY - GEN

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

AU - Grando, M. A.

AU - Van Der Aalst, Wil M.P.

AU - Mans, Ronny S.

PY - 2012/1/1

Y1 - 2012/1/1

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.

KW - Petri Nets

KW - clinical guidelines

KW - conformance checking

UR - http://www.scopus.com/inward/record.url?scp=84856585534&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84856585534&partnerID=8YFLogxK

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

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

M3 - Conference contribution

AN - SCOPUS:84856585534

SN - 9783642281143

T3 - Lecture Notes in Business Information Processing

SP - 188

EP - 199

BT - Business Process Management Workshops - BPM 2011 International Workshops, Revised Selected Papers

PB - Springer Verlag

T2 - 9th International Conference on Business Process Management, BPM 2011P

Y2 - 29 August 2011 through 29 August 2011

ER -

Reusing a declarative specification to check the conformance of different CIGs

Abstract

Publication series

Other

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this