LEMMA: A language for easy medical models analysis

Journal of Medical Systems

Volumn 21, Issue 6, 1997, Pages 369-388

  Baresi, Luciano ^a   Consorti, Fabrizio ^b   Di Paola, Manuele ^b   Gargiulo, Antonio ^b   Pezzè, Mauro ^a  

^a POLITECNICO DI MILANO   (Italy)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

Definition; Optimization and analysis of medical processes

Indexed keywords

ARTICLE; HEALTH CARE QUALITY; HEALTH CARE SYSTEM; MATHEMATICAL MODEL; SEMANTICS;

COMPUTER COMMUNICATION NETWORKS; COMPUTER GRAPHICS; COMPUTER SIMULATION; HUMANS; MEDICAL RECORDS SYSTEMS, COMPUTERIZED; QUALITY ASSURANCE, HEALTH CARE; SOFTWARE;

EID: 0031426890     PISSN: 01485598     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1022872229481     Document Type: Article

References (28)

1. Baresi, L., Formal Customization of Graphical Notations, PhD thesis, Dipartimento di Elettronica e Informazione - Politecnico di Milano, 1997 (in Italian).
2. Baresi, L., Orso, A., and Pezzè, M. Introducing Formal Methods in Industrial Practice. In Proceedings of the 20th International Conference on Software Engineering, ACM Press, 1997.
3. Burns, L. R., Denton, B., Goldfein, S., Warrick, L., Morenz, B., and Sales, B. The use of continuous quality improvement methods in the development and dissemination of medical practice guidelines. Qual. Rev. Bull. 18:434-439, 1992.
4. CNR - oncologia. I tumori del colon-retto, Ministere per la ricerca scientifica e tecnologica-Ministero della Sanità, September 1985 (in Italian).
5. Donabedian, A., The quality of care: How can it be assessed? JAMA 260(12), 1988.
6. Donabedian, A., The seven pillars of quality. Arch. Pathol. Lab. Med. 114:115, 1990.
7. Errera, A. M., Merialdo, P., Orsano, A., Sindoni, G., and Rumolo, G., Clinical Protocol Development Using Inter/IntraNet Technology: The FENARETE System. Medical Informatics Europe '97 IOS press, 1997.
8. Finkler, S. A., Schwartzben, D., The cost effects of protocol systems: The marginal cost - Average cost dichotomy. Med. Care 26: 894-906, 1988.
9. Florit, A. M. et al., Context Trees: Representing Co-operative Healthcare Activities. In IREP Proceedings of MIE 94, 1994.
10. Ghezzi, C., Mandrioli, D., Morasca, S., and Pezzè, M. Symbolic execution of concurrent systems using Petri nets. Comp. Lang. 14(4):263-281, 1989.
11. Ghezzi, C., Mandrioli, D., Morasca, S., and Pezzè, M. A unified high-level Petri net model for time-critical systems. IEEE Trans. Software Eng. 17(2):160-172, February, 1991.
12. Gordon, C. et al., Care protocols and healthcare informatics. In Artificial Intelligence in Medicine (S. Andreassen, et al. eds.), IOS Press, 1993.
13. Gordon, C., Herbert, I., Johnson, P., Nicklin, P., Pitty, D., and Reeves, P., Telematics for Clinical Guidelines: A Conceptual Modeling Approach, Medical Informatics Europe '97, IOS Press, 1997.
14. Institute of Medicine. Guidelines for Clinical Practice, National Academy Press, 1992.
15. Jensen, K., Coloured Petri Nets. In Reisig, W., and Rozemberg, G. (eds.). Advances in Petri Nets, LNCS 254-255, Springer-Verlag, Berlin-New York, 1987.
16. Kronlöf, C. (ed.). Method Integration - Concepts and Case Studies, Wiley, New York. 1993.
17. Liem, E. B., Obeid, J.-S., Shareck, E. P., Shato, L., and Greenes, R. A., Representation of clinical practice guidelines through an interactive world-wide web interface. SCAMC 19:223-227, 1995.
18. Lowe, H. J., Lomax, E. C., and Polonkey, S. E., The world wide web: A review of an emerging internet-based technology for the distribution of biomedical information. JAMA 3(1):1-14, 1996.
19. Luzi, D., et al. Shared care: Workflow management for medical treatment improvement. Proc. Health Tetemat. '95, 1995.
20. Medina-Mora, R., et al., The action workflow approach to workflow management technology. In Proc. of CSCW'92 Conf., ACM Press, 1992.
21. Murata, T., Petri nets: Properties, analysis, and applications. Proceedings IEEE, 77(4):541-580, April 1989.
22. Nagl, M., Set theoretic approaches to graph grammars. In Ehrig, H., Nagl, M., Rozenbertg, G., and Rosenfeld, A., eds., Graph Grammars and Their Application to Computer Science, Vol. 291 of Lecture Notes in Computer Science, 41-54, Springer-Verlag, 1987.
23. NIH Consensus Conference Adjuvant Therapy for Patients with Colon and Rectal Cancer. JAMA 264(11):1444-1450, 1990.
24. Oliver, D. E., Barnes, M. R., Barnett, G. O., Chueh, H. E., et al., InterMed: An internet-based medical collaboratory. AMIA Fall Symp. 19:1023-1995.
25. Ousterhout, J. K., TCL and the TK Toolkit. Professional Computing Series, Addison Wesley, 1993.
26. Pezzè, M., and Silva, S., Cabernet User Manual Technical Report 47-94, Politecnico di Milano, May 1994.
27. Pisanelli, D. M., Consorti, F., Merialdo, P., SMART: A system supporting medical activities. In Real Time Medical Informatics Europe '97, IOS press 1997.
28. Woolf, S. H., Practice guidelines, a new reality in medicine. Impact on patient care. Arch. Int. Med. 153:2646-55, 1993.