Formal Method in Service Composition in Heath Care Systems
Publish Year: 1397
Type: Journal paper
Language: English
View: 455
This Paper With 6 Page And PDF Format Ready To Download
- Certificate
- I'm the author of the paper
Export:
Document National Code:
JR_JACET-4-1_001
Index date: 9 July 2019
Formal Method in Service Composition in Heath Care Systems abstract
One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verification. The goal of this research is to turn a business process graphical diagram into a formal based model. In this work, BPMN has been extended to add time and probability information and then has been transferred to probabilistic real-time CSP area. This mapping can be employed as a basic model for modeling different system characteristics. This mapping, then, is modeled using a case study in pervasive healthcare domain and verified in a model checking tool. Index Terms — Formal methods, CSP, BPMN, Pervasive healthcare, Model checking, Verification, Service Composition.
Formal Method in Service Composition in Heath Care Systems Keywords:
Formal Method in Service Composition in Heath Care Systems authors
Zahra Baatmaanghelich
Department of Computer Engineering, Science and Research Branch, Islamic Azad University, Tehran, Iran
Ali Rezaee
Department of Computer Engineering, Science and Research Branch, Islamic Azad University, Tehran, Iran
Sahar Adabi
Department of Computer Engineering, Tehran-North Branch, Islamic Azad University, Tehran, Iran