Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Experiment Videos

LEMMA: a language for easy medical models analysis

L Baresi1, F Consorti, M Di Paola

  • 1Dipartimento di Elettronica e Informazione, Politecnico di Milano, Italy.

Journal of Medical Systems
|April 29, 1998
PubMed
Summary

Healthcare quality improvement requires optimized processes. LEMMA (a new notation) offers intuitive graphical modeling for physicians, automatically generating formal timed Petri nets for analysis and improved care quality.

Related Concept Videos

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Intraoperative nerve monitoring in thyroid and parathyroid surgery: a decade of Italian practice.

Updates in surgery·2025
Same author

End-colostomy parastomal hernia repair: a systematic review on laparoscopic and robotic approaches.

Hernia : the journal of hernias and abdominal wall surgery·2024
Same author

Radiomic Application for Head and Neck Squamocellular Tumor: Systematic Review.

La Clinica terapeutica·2024
Same author

Early melanoma invasivity correlates with gut fungal and bacterial profiles.

The British journal of dermatology·2021
Same author

Impact of nursing students on the quality of care perceived by patients: a systematic review of the literature.

European review for medical and pharmacological sciences·2021
Same author

A novel approach to nonlinear variable-order fractional viscoelasticity.

Philosophical transactions. Series A, Mathematical, physical, and engineering sciences·2020

Area of Science:

  • Health Services Research
  • Computer Science

Background:

  • Ensuring high quality of care within limited resources is a significant challenge.
  • Optimization of healthcare processes requires robust modeling methodologies.
  • Existing methods may lack the necessary formality or user-friendliness for medical professionals.

Purpose of the Study:

  • To introduce LEMMA, a novel notation for modeling medical processes.
  • To enable physicians to design process models using intuitive graphical elements.
  • To bridge the gap between informal process design and formal analysis methods.

Main Methods:

  • Development of LEMMA, a dual-language notation combining graphical elements and timed Petri nets.
  • Automatic generation of formal timed Petri net models from LEMMA designs.

Related Experiment Videos

  • Creation of a supportive software environment for LEMMA model development and analysis.

    • Main Results:

    • LEMMA facilitates the creation of formally verifiable medical process models.
    • Physicians can utilize LEMMA's graphical interface without needing expertise in formal methods.
    • The dual-language approach ensures both usability and analytical rigor.

    Conclusions:

    • LEMMA provides a practical solution for modeling and analyzing healthcare processes.
    • It empowers healthcare professionals to improve quality through formal process validation.
    • The developed environment supports real-world case study analysis and notation refinement.