2024 : 12 : 14
Vahid Rafeh

Vahid Rafeh

Academic rank:
ORCID: https://orcid.org/0000-0002-2486-7384
Education: PhD.
ScopusId: 14054926800
HIndex:
Faculty:
Address: Arak University
Phone:

Research

Title
Designing an architectural style for pervasive healthcare systems.
Type
JournalPaper
Keywords
ثبت نشده‌است!
Year
2012
Journal Journal of Medical Systems
DOI
Researchers Vahid Rafeh ، Masoumeh Hajvali

Abstract

Nowadays, the Pervasive Healthcare (PH) systems are considered as an important research area. These systems have a dynamic structure and configuration. Therefore, an appropriate method for designing such systems is necessary. The Publish/Subscribe Architecture (pub/sub) is one of the convenient architectures to support such systems. PH systems are safety critical; hence, errors can bring disastrous results. To prevent such problems, a powerful analytical tool is required. So using a proper formal language like graph transformation systems for developing of these systems seems necessary. But even if software engineers use such high level methodologies, errors may occur in the system under design. Hence, it should be investigated automatically and formally that whether this model of system satisfies all their requirements or not. In this paper, a dynamic architectural style for developing PH systems is presented. Then, the behavior of these systems is modeled and evaluated using GROOVE toolset. The results of the analysis show its high reliability.