Reusing a declarative specification to check the conformance of different CIGs

Maria Grando, Wil M P Van Der Aalst, Ronny S. Mans

Research output: Chapter in Book/Report/Conference proceedingConference contribution

11 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 languageEnglish (US)
Title of host publicationLecture Notes in Business Information Processing
PublisherSpringer Verlag
Pages188-199
Number of pages12
Volume100 LNBIP
EditionPART 2
ISBN (Print)9783642281143
DOIs
StatePublished - 2012
Externally publishedYes
Event9th International Conference on Business Process Management, BPM 2011P - Clermont-Ferrand, France
Duration: Aug 29 2011Aug 29 2011

Publication series

NameLecture Notes in Business Information Processing
NumberPART 2
Volume100 LNBIP
ISSN (Print)18651348

Other

Other9th International Conference on Business Process Management, BPM 2011P
CountryFrance
CityClermont-Ferrand
Period8/29/118/29/11

Fingerprint

Specification
Specifications
Colored Petri Nets
Petri nets
Model checking
Model Checking
Health
Model
Language
Colored Petri nets
Community
Experience
Community health

Keywords

  • clinical guidelines
  • conformance checking
  • Petri Nets

ASJC Scopus subject areas

  • Business, Management and Accounting(all)
  • Business and International Management
  • Modeling and Simulation
  • Information Systems and Management
  • Information Systems
  • Control and Systems Engineering
  • Management Information Systems

Cite this

Grando, M., Van Der Aalst, W. M. P., & Mans, R. S. (2012). Reusing a declarative specification to check the conformance of different CIGs. In Lecture Notes in Business Information Processing (PART 2 ed., Vol. 100 LNBIP, 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, Maria; Van Der Aalst, Wil M P; Mans, Ronny S.

Lecture Notes in Business Information Processing. Vol. 100 LNBIP 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 proceedingConference contribution

Grando, M, Van Der Aalst, WMP & Mans, RS 2012, Reusing a declarative specification to check the conformance of different CIGs. in Lecture Notes in Business Information Processing. PART 2 edn, vol. 100 LNBIP, 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
Grando M, Van Der Aalst WMP, Mans RS. Reusing a declarative specification to check the conformance of different CIGs. In Lecture Notes in Business Information Processing. PART 2 ed. Vol. 100 LNBIP. Springer Verlag. 2012. p. 188-199. (Lecture Notes in Business Information Processing; PART 2). https://doi.org/10.1007/978-3-642-28115-0_19
Grando, Maria ; Van Der Aalst, Wil M P ; Mans, Ronny S. / Reusing a declarative specification to check the conformance of different CIGs. Lecture Notes in Business Information Processing. Vol. 100 LNBIP PART 2. ed. Springer Verlag, 2012. pp. 188-199 (Lecture Notes in Business Information Processing; PART 2).
@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 = "clinical guidelines, conformance checking, Petri Nets",
author = "Maria Grando and {Van Der Aalst}, {Wil M P} and Mans, {Ronny S.}",
year = "2012",
doi = "10.1007/978-3-642-28115-0_19",
language = "English (US)",
isbn = "9783642281143",
volume = "100 LNBIP",
series = "Lecture Notes in Business Information Processing",
publisher = "Springer Verlag",
number = "PART 2",
pages = "188--199",
booktitle = "Lecture Notes in Business Information Processing",
edition = "PART 2",

}

TY - GEN

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

AU - Grando, Maria

AU - Van Der Aalst, Wil M P

AU - Mans, Ronny 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.

KW - clinical guidelines

KW - conformance checking

KW - Petri Nets

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

SN - 9783642281143

VL - 100 LNBIP

T3 - Lecture Notes in Business Information Processing

SP - 188

EP - 199

BT - Lecture Notes in Business Information Processing

PB - Springer Verlag

ER -