Verification of i* models for existential compliance rules in remote healthcare systems

A remote healthcare system often depends heavily on cutting edge technologies like cellular network or cloud to outreach patients in remote places. The primary motivation for designing a remote healthcare system is to provide healthcare to patients as and when required, wherever required, and in real time. This may often require the patients to rely on handheld devices like cell phones or smart-phones to access these healthcare services in a remote manner. The i* model may be used to design such a remote healthcare system. The paper spells out a functionally complete set of compliance rules that define the existence of i* components within the abstract model design of such an enterprise. The rules have been derived from the formalized requirement specification of the system. These compliance rules may be used to test the correctness of existing designs or to automate the design of such a system from a specific set of system requirements.