LEMMA: a language for easy medical models analysis

Health care systems are becoming extremely complex and expensive. New methods are required to optimize health care processes in order to guarantee high quality standards within the (limited) available resources. Resource optimizations able to preserve the quality of treatments require good models of diagnostic and therapeutic processes. This paper proposes LEMMA, a new model for medical processes, that mixes formal and informal notations, overcoming the problems of either approaches. LEMMA merges highly expressive specific constructs with a formal definition. LEMMA has been validated using a prototype for modeling and analyzing diagnostic processes.