Formal Method in Drug Allergy Process Framework Specification

--------------------------------------------------------ABSTRACT----------------------------------------------------------Healthcare delivery is a collaborative process with many healthcare practitioners from multiple healthcare organizations participating in patients’ treatment. Allergies affect nearly one-fourth of the world population and cause or contribute to significant chronic illness. Consequent on high prevalence of allergic disease, its rising trend over time and the appearance of new allergens to which patients react, there is a demonstrated need to formalize the specification of detecting and resolving various drug allergies. We used Z-specification language notations and Business Process Management tools to generate a formal specification of drug allergy business processes framework that fulfills structural soundness property as an integral part of an enhanced collaborative virtual healthcare system. This provides the much-awaited means of unifying design methods so as to better understand usability phenomena supporting enhanced virtual collaboration that would have high level of success assurances possible in healthcare. In improving clinical quality, safety and access to health care in the remotest areas of the developing world, health care systems have to be reorganized to systems that function in a cross-border fashion. A significant redesign of healthcare business processes with formal methods to prevent adverse outcomes in medication administration is desirable.