• Home
  • Search
  • Using Timed Automata Framework for Modeling Home Care Plans
  • Cite Icon2
  • https://doi.org/10.1109/icss.2015.36Copy DOI Icon

Using Timed Automata Framework for Modeling Home Care Plans

  • May 1, 2015
  • Kahina Gani +3 more
Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

A home care plan defines the set of medical and/or social activities that are carried out day after day at a patient's home. Such a care plan is usually constructed through a complex process involving a comprehensive assessment of patient's needs as well as his/her social and physical environment. Specification of home care plans is challenging for several reasons: care plans are inherently non-structured processes which involve repetitive, but irregular, activities, whose specification requires complex temporal expressions. These features make home care plans difficult to model using traditional process modeling technologies. In this paper, we describe how home care plans, formalized as timed automata, can be generated from a set of high level and user-oriented abstractions. The resulting care plan encompasses all the possible allowed schedules of activities for a given patient. We discuss then how verification and monitoring of the resulting care plan can be handled using existing techniques and tools (e.g., UPPAAL model checker).

Similar Papers
  • PDF
  • Research Article
  • Citations1

Co-designing a framework for integrated home care planning with older adults, family caregivers and health care providers

  • Oct 23, 2018
  • International Journal of Integrated Care
  • Justine Lauren Giosa +4
  • Research Article
  • Citations1

Exploring Collaboration Breakdowns Between Provider Teams and Patients in Post-Surgery Care.

  • Apr 13, 2026
  • Proceedings of the SIGCHI conference on human factors in computing systems. CHI Conference
  • Bingsheng Yao +13
  • Research Article

Integrated workforce and territory planning for home social care under variable demand

  • Feb 10, 2026
  • Computers & Industrial Engineering
  • Jésica De Armas +1
  • Research Article
  • Citations275

The influence of service environments on customer emotion and service outcomes

  • Jul 12, 2011
  • Managing Service Quality: An International Journal
  • Jiun‐Sheng Chris Lin +1
  • Abstract

A Multidisciplinary Team Approach to the Care of Patients With Advanced Interstitial Lung Disease (ILD) in the Outpatient Setting

  • Oct 01, 2015
  • Chest
  • Jean Du Plessis +2
  • Research Article
  • Citations312

Influences of physical and social neighborhood environments on children's physical activity and obesity.

  • Dec 04, 2008
  • American Journal of Public Health
  • Luisa Franzini +7
  • Research Article

CUIDADO TRANSICIONAL DO IDOSO DEPENDENTE HOSPITALIZADO: INTERFACES COM A TEORIA DAS TRANSIÇÕES

  • Jan 01, 2025
  • Texto & Contexto - Enfermagem
  • Paula Graziela Pedrão Soares Perales +5
  • Research Article
  • Citations9

Children with medical complexity and pediatric palliative care: Data by a respiratory intermediate care unit.

  • Dec 20, 2022
  • Pediatric Pulmonology
  • Serena Caggiano +7
  • Research Article

Evidence-based veterinary medicine: Should we be polishing teeth?

  • Oct 14, 2015
  • Veterinary Nursing Journal
  • Sandra Fletcher
  • PDF
  • Research Article
  • Citations105

Associations between lifestyle, physical and social environments and frailty among Chinese older people: a multilevel analysis

  • Dec 01, 2018
  • BMC Geriatrics
  • Bo Ye +2
  • Research Article
  • Citations1

Promoting physical activity and healthy diets by modifying the social and/or physical environment at local level: a scoping review of evidence-based policy actions.

  • Jul 12, 2024
  • Open Research Europe
  • Elisa Chilet Rosell +5
  • Research Article

Worksite Health Promotion Programs: The Effect of the Social and Physical Environment

  • May 30, 2014
  • The Health & Fitness Journal of Canada
  • Lisa Leininger +3
  • Conference Article

Meeting the challenges of installing a mobile robotic system

  • Mar 21, 1994
  • Celeste Decorte
  • PDF
  • Research Article
  • Citations41

Influence of the environment on participation in social roles for young adults with down syndrome.

  • Sep 26, 2014
  • PLoS ONE
  • Kitty-Rose Foley +8
  • Research Article
  • Citations3

Measurement of Quality in Assisted Living in the United States of America: A Scoping Review

  • Jan 01, 2025
  • Journal of the American Medical Directors Association
  • Tetyana P Shippee +4
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.