Click for new scientific resources and news about Corona[COVID-19]

Paper Information

Journal:   JOURNAL OF ADVANCES IN COMPUTER ENGINEERING AND TECHNOLOGY   winter 2018 , Volume 4 , Number 1; Page(s) 1 To 6.
 
Paper: 

Formal Process Algebraic Modeling and Verification of Service Composition Based on BPMN

 
 
Author(s):  Baatmaanghelich Zahra, REZAEE ALI*, Adabi Sahar
 
* Department of Computer Engineering, Science and Research Azad University, Tehran, Iran
 
Abstract: 
One of areas with the greatest needs having available information at the right moment and with high accuracy is healthcare. The 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 formally based model. In this work, BPMN has been extended to add time and probability information and then has been transferred to probabilistic realtime 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.
 
Keyword(s): Formal methods,CSP,BPMN,Pervasive healthcare,Model checking
 
 
References: 
  • Not Registered.
  •  
 
+ Click to Cite.
APA: Copy

Baatmaanghelich, Z., & REZAEE, A., & Adabi, S. (2018). Formal Process Algebraic Modeling and Verification of Service Composition Based on BPMN. JOURNAL OF ADVANCES IN COMPUTER ENGINEERING AND TECHNOLOGY, 4(1), 1-6. https://www.sid.ir/en/journal/ViewPaper.aspx?id=663500



Vancouver: Copy

Baatmaanghelich Zahra, REZAEE ALI, Adabi Sahar. Formal Process Algebraic Modeling and Verification of Service Composition Based on BPMN. JOURNAL OF ADVANCES IN COMPUTER ENGINEERING AND TECHNOLOGY. 2018 [cited 2021May16];4(1):1-6. Available from: https://www.sid.ir/en/journal/ViewPaper.aspx?id=663500



IEEE: Copy

Baatmaanghelich, Z., REZAEE, A., Adabi, S., 2018. Formal Process Algebraic Modeling and Verification of Service Composition Based on BPMN. JOURNAL OF ADVANCES IN COMPUTER ENGINEERING AND TECHNOLOGY, [online] 4(1), pp.1-6. Available: https://www.sid.ir/en/journal/ViewPaper.aspx?id=663500.



 
  pdf-File
Yearly Visit 29
 
Latest on Blog
Enter SID Blog