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 proceedingConference contribution

11 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 languageEnglish (US)
Title of host publicationBusiness Process Management Workshops - BPM 2011 International Workshops, Revised Selected Papers
PublisherSpringer Verlag
Pages188-199
Number of pages12
EditionPART 2
ISBN (Print)9783642281143
DOIs
StatePublished - Jan 1 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)1865-1348

Other

Other9th International Conference on Business Process Management, BPM 2011P
Country/TerritoryFrance
CityClermont-Ferrand
Period8/29/118/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

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