Modelling and Formal Specification of a Multiagent Telemedicine System for Diabetes Care.
Iñaki Martínez-SarrieguiHong ZhuLijun ShanGema García-SáezEnrique J. GómezM. Elena HernandoPublished in: ICAART (2009)
Keyphrases
- formal specification
- multi agent
- health care
- object oriented design
- specification language
- specification languages
- model checking
- diabetic patients
- reverse engineering
- multiagent systems
- process algebra
- formal methods
- data abstraction
- concurrent systems
- primary care
- chronic disease
- multi agent systems
- cooperative
- information systems
- health information
- medical knowledge
- risk factors
- developing countries
- formal specification language