Specifying and analyzing workflows for automated identification and data capture

Proceedings of the 42nd Annual Hawaii International Conference on System Sciences, HICSS

Volumn , Issue , 2009, Pages

  Gunter, Elsa L ^a   Yasmeen, Ayesha ^a   Gunter, Carl A ^a   Nguyen, Anh ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED IDENTIFICATIONS; COMMUNICATING SEQUENTIAL PROCESS; DATA CAPTURES; ELECTRONIC HEALTH RECORDS; FORMAL ANALYSIS; FORMAL MODELING; INVENTORY SYSTEMS; RF-ID TAGS; SIMPLE RULES; SYSTEM OPERATIONS; VITAL SIGNS; WORK-FLOWS;

BAR CODES; CELLULAR TELEPHONE SYSTEMS; COMPUTER OPERATING PROCEDURES; HEALTH CARE; RADIO NAVIGATION; RECORDS MANAGEMENT; WIRELESS NETWORKS;

COMPUTER PROGRAMMING;

EID: 78650760986     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HICSS.2009.402     Document Type: Conference Paper

References (28)

1. FDR2(Failures-Divergence Refinement). internet website: http://www.fsel.com/.
2. Transportstion Security Administration, US Department of Homeland Security. internet website, www.tsa.gov.
3. L. Ardissono, R. Furnari, A. Goy, G. Petrone, and M. Segnan. Context-aware workflow management. In L. Baresi, P. Fraternali, and G.-J. Houben, editors, ICWE, volume 4607 of Lecture Notes in Computer Science, pages 47-52. Springer, 2007.
4. J. Bardram. Applications of context-aware computing in hospital work: examples and design principles. In H. Haddad, A. Omicini, R. L. Wainwright, and L. M. Liebrock, editors, SAC, pages 1574-1579. ACM, 2004.
5. K. Barkaoui, P. Dechambre, and R. Hachicha. Verification and optimisation of an operating room workflow. In HICSS, page 210, 2002.
6. M. R. Chassin and E. C. Becher. The Wrong Patient. Ann Intern Med, 136(11):826-833, 2002.
7. L. A. Clarke, Y. Chen, G. S. Avrunin, B. Chen, R. L. Cobleigh, K. Frederick, E. A. Henneman, and L. J. Os-terweil. Process programming to support medical safety: A case study on blood transfusion. In M. Li, B. W. Boehm, and L. J. Osterweil, editors, ISPW, volume 3840 of Lecture Notes in Computer Science, pages 347-359. Springer, 2005.
8. H. Davulcu, M. Kifer, C. R. Ramakrishnan, and I. V. Ramakrishnan. Logic based modeling and analysis of workflows. In Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 1-3, 1998, Seattle, Washington, pages 25-33. ACM Press, 1998.
9. P. Fuhrer and D. Guinard. Building a smart hospital using rfid technologies. In H. Stormer, A. Meier, and M. Schumacher, editors, ECEH, volume 91 of LNI, pages 131-142. GI, 2006.
10. J. Halamka. Early experiences with positive patient identification. journal of healthcare information management. Inf. Syst., 20(1):25-27, 2006.
11. C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
12. B. Houliston. Integrating RFID technology into a drug administration system. In Bulletin of Applied Computing and Information Technology, 2005.
13. Y. Isobel and M. Roggenbach. CSP-Prover. http://staff.aist.go.jp/y-isobe/ CSP-Prover/CSP-Prover.html.
14. J. M. C. Kohn, L. T. and M. S. Donaldson. To err is human: Building a safer health system. http://www.nap.edu/catalog/9728.html.
15. C.-L. Lai, S.-W. Chien, L.-H. Chang, S.-C. Chen, and K. Fang. Enhancing medication safety and healthcare for inpatients using rfid. Management of Engineering and Technology, Portland International Center for, pages 2783-2790, 5-9 Aug. 2007.
16. H. A. Nahas and J. S. Deogun. Radio frequency identification applications in smart hospitals. In CBMS, pages 337-342. IEEE Computer Society, 2007.
17. U. of California at San Diego. Wireless internet information system for medical response in disasters. https://www.wiisard.org/.
18. U. of Cambridge and T. U. Mnchen. Isabelle . http://isabelle.in.tum.de/ index.html.
19. S. of Engineering and A. S. H. University. Code-blue: Wireless sensor networks for medical care. http://www.eecs.harvard.edu/m̃dw/proj/codeblue/.
20. F. Puhlmann and M. Weske. Using the π-calculus for formalizing workflow patterns. In W. M. P. van der Aalst, B. Benatallah, F. Casati, and F. Curbera, editors, Business Process Management, volume 3649, pages 153-168, 2005.
21. A. W. Roscoe. The Theory and Practice of Concurrency. Prentice-Hall, 1997.
22. X. Song, B. Hwong, G. Matos, A. Rudorfer, C. Nelson, M. Han, and A. Girenkov. Understanding requirements for computer-aided healthcare workflows: experiences and challenges. In L. J. Osterweil, H. D. Rombach, and M. L. Soffa, editors, ICSE, pages 930-934. ACM, 2006.
23. C. Stefansen. Smawl: A small workflow language based on ccs. In O. Belo, J. Eder, J. F. e Cunha, and O. Pastor, editors, CAiSE Short Paper Proceedings, volume 161 of CEUR Workshop Proceedings. CEUR-WS.org, 2005.
24. W. M. P. van der Aalst. Verification of workflow nets. In P. A z éma and G. Balbo, editors, ICATPN, volume 1248 of Lecture Notes in Computer Science, pages 407-426. Springer, 1997.
25. W. M. P. van der Aalst, A. H. M. ter Hofstede, B. Kie-puszewski, and A. P. Barros. Workflow patterns. Distributed and Parallel Databases, 14(1):5-51, 2003.
26. W. M. P. van der Aalst, T. Weijters, and L. Maruster. Workflow mining: Discovering process models from event logs. IEEE Trans. Knowl. Data Eng., 16(9):1128-1142, 2004.
27. P. Y. H. Wong and J. Gibbons. A process-algebraic approach to workflow specification and refinement. In M. Lumpe and W. Vanderperren, editors, Software Composition, volume 4829 of Lecture Notes in Computer Science, pages 51-65. Springer, 2007.
28. W. Yu and A. Ramani. Design and implementation of a personal mobile medical assistant. Enterprise networking and Computing in Healthcare Industry, 2005. HEALTHCOM 2005. Proceedings of 7th International Workshop on, pages 172-178, 23-25 June 2005.