Other formats:
BibTeX
LaTeX
RIS
@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 and 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, p.~19-36. ISBN~978-3-642-39087-6. Available from: https://dx.doi.org/10.1007/978-3-642-39088-3\_{}2.
|