Back to Search
Start Over
Formal interaction specification in public health surveillance systems using -calculus
- Source :
-
Computer Methods & Programs in Biomedicine . Oct2008, Vol. 92 Issue 1, p115-120. 6p. - Publication Year :
- 2008
-
Abstract
- Abstract: This paper provides formal specification of interactions in typical public health surveillance systems involving healthcare agencies at local, state and federal levels. Although few standards exist for exchange of healthcare information, there is a general lack of formal models of the protocols involved in the interactions between the agencies. The quality of medical care provided is an end result of a well designed choreography of diverse services provided by different healthcare entities. One of the major challenges in this field appears to be explicit formal specification of such interactions. Such formal specification work is the first step leading to both design and verification of important properties of public healthcare systems. -calculus is a formal modeling technique for precise specification of semantics in interacting concurrent systems where mobility is involved. Two different configurations of public health surveillance systems are modelled using -calculus in this paper. [Copyright &y& Elsevier]
- Subjects :
- *PUBLIC health
*PUBLIC health surveillance
*EPIDEMIOLOGY
*MEDICAL care
Subjects
Details
- Language :
- English
- ISSN :
- 01692607
- Volume :
- 92
- Issue :
- 1
- Database :
- Academic Search Index
- Journal :
- Computer Methods & Programs in Biomedicine
- Publication Type :
- Academic Journal
- Accession number :
- 34085263
- Full Text :
- https://doi.org/10.1016/j.cmpb.2008.05.007