Verification of Timed Healthcare Workflows Using Component
Timed-Arc Petri Nets

D 2013

Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets

BERTOLINI, Cristiano, Zhiming LIU a Jiří SRBA

Základní údaje

Originální název

Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets

Autoři

BERTOLINI, Cristiano (76 Brazílie), Zhiming LIU (156 Čína) a Jiří SRBA (203 Česká republika, garant, domácí)

Vydání

Netherlands, Proceedings of the 2nd International Symposium on the Foundations of Health Information Engineering and Systems (FHIES'12), od s. 19-36, 18 s. 2013

Nakladatel

Springer

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Nizozemské království

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

tištěná verze "print"

Impakt faktor

Impact factor: 0.402 v roce 2005

Kód RIV

RIV/00216224:14330/13:00067582

Organizační jednotka

Fakulta informatiky

ISBN

978-3-642-39087-6

ISSN

DOI

http://dx.doi.org/10.1007/978-3-642-39088-3_2

UT WoS

000336249200002

Klíčová slova anglicky

verification; timed workflows; healthcase case study

Příznaky

Mezinárodní význam, Recenzováno

Změněno: 29. 4. 2014 20:09, RNDr. Pavel Šmerk, Ph.D.

Anotace

V originále

We present a new automata-based interface model describing the interaction behavior of software components. Contrary to earlier component- or interface-based approaches, the interface model we propose specifies all the non-blockable interaction behaviors of a component with any environment. To this end, we develop an algorithm to compute the unblockable interaction behavior, called the interface model of a component, from its execution model. Based on this model, we introduce composition operators for the components and prove important compositionality results, showing the conditions under which composition of interface models preserves unblockable sequences of provided services.

Návaznosti

LG13010, projekt VaV

Název: Zastoupení ČR v European Research Consortium for Informatics and Mathematics (Akronym: ERCIM-CZ)

Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Zastoupení ČR v European Research Consortium for Informatics and Mathematics

Citovat

BERTOLINI, Cristiano, Zhiming LIU a Jiří SRBA. Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets. In Proceedings of the 2nd International Symposium on the Foundations of Health Information Engineering and Systems (FHIES'12). Netherlands: Springer, 2013, s. 19-36. ISBN 978-3-642-39087-6. Dostupné z: https://dx.doi.org/10.1007/978-3-642-39088-3_2.

@inproceedings{1079127,
   author = {Bertolini, Cristiano and Liu, Zhiming and Srba, Jiří},
   address = {Netherlands},
   booktitle = {Proceedings of the 2nd International Symposium on the Foundations of Health Information Engineering and Systems (FHIES'12)},
   doi = {http://dx.doi.org/10.1007/978-3-642-39088-3_2},
   keywords = {verification; timed workflows; healthcase case study},
   howpublished = {tištěná verze "print"},
   language = {eng},
   location = {Netherlands},
   isbn = {978-3-642-39087-6},
   pages = {19-36},
   publisher = {Springer},
   title = {Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets},
   year = {2013}
}

TY  - JOUR
ID  - 1079127
AU  - Bertolini, Cristiano - Liu, Zhiming - Srba, Jiří
PY  - 2013
TI  - Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets
PB  - Springer
CY  - Netherlands
SN  - 9783642390876
KW  - verification
KW  - timed workflows
KW  - healthcase case study
N2  - We present a new automata-based interface model describing the interaction behavior of software components. Contrary to earlier component- or interface-based approaches, the interface model we propose specifies all the non-blockable interaction behaviors of a component with any environment. To this end, we develop an algorithm to compute the unblockable interaction behavior, called the interface model of a component, from its execution model. Based on this model, we introduce composition operators for the components and prove important compositionality results, showing the conditions under which composition of interface models preserves unblockable sequences of provided services.
ER  -

BERTOLINI, Cristiano, Zhiming LIU a Jiří SRBA. Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets. In \textit{Proceedings of the 2nd International Symposium on the Foundations of Health Information Engineering and Systems (FHIES'12)}. Netherlands: Springer, 2013, s.~19-36. ISBN~978-3-642-39087-6. Dostupné z: https://dx.doi.org/10.1007/978-3-642-39088-3\_{}2.

Podrobný výpis o publikaci