We apologize for a recent technical issue with our email system, which temporarily affected account activations. Accounts have now been activated. Authors may proceed with paper submissions. PhDFocusTM
CFP last date
20 November 2024
Reseach Article

A Rigorous Analysis of Emotion of Human Being using an Event-B Approach

by Nilima Salankar, Prasun Chakrabarti
International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
Volume 69 - Number 15
Year of Publication: 2013
Authors: Nilima Salankar, Prasun Chakrabarti
10.5120/11918-8057

Nilima Salankar, Prasun Chakrabarti . A Rigorous Analysis of Emotion of Human Being using an Event-B Approach. International Journal of Computer Applications. 69, 15 ( May 2013), 14-20. DOI=10.5120/11918-8057

@article{ 10.5120/11918-8057,
author = { Nilima Salankar, Prasun Chakrabarti },
title = { A Rigorous Analysis of Emotion of Human Being using an Event-B Approach },
journal = { International Journal of Computer Applications },
issue_date = { May 2013 },
volume = { 69 },
number = { 15 },
month = { May },
year = { 2013 },
issn = { 0975-8887 },
pages = { 14-20 },
numpages = {9},
url = { https://ijcaonline.org/archives/volume69/number15/11918-8057/ },
doi = { 10.5120/11918-8057 },
publisher = {Foundation of Computer Science (FCS), NY, USA},
address = {New York, USA}
}
%0 Journal Article
%1 2024-02-06T21:30:21.254870+05:30
%A Nilima Salankar
%A Prasun Chakrabarti
%T A Rigorous Analysis of Emotion of Human Being using an Event-B Approach
%J International Journal of Computer Applications
%@ 0975-8887
%V 69
%N 15
%P 14-20
%D 2013
%I Foundation of Computer Science (FCS), NY, USA
Abstract

The paper entails a refinement approach using Event-B to develop model of emotion of human being. The proposed model indicates that when one type of emotion is active others are inactive and some factors are activated simultaneously which makes it difficult to judge the mental state of humans by simply observing single factor. The relationship among different types of emotions and analysis of emotion of human has been carried out using Pro-B model checker and animator.

References
  1. Morgan C,KingR,WeiszJ,Schopler J. Introduction to Psychology,Tata McGraw-Hill Edition,New Delhi,2011,307-316.
  2. C Metayer, J R Abrial, and L Voison. Event-B language. RODIN deliverables 3. 2, http:// rodin. cs. ncl. ac. uk /deliverables/ D7. pdf, 2005.
  3. Defago, Schiper, and Urban: Total order broadcast and multicast algorithms: Taxonomy and survey. ACM Computing. Surveys. 36(4), 372–421 ,2004
  4. Michael Leuschel, Michael Butler, ProB: A Model Checker for B, FME 2003, Volume 2805 of LNCS, 855-874, Springer,2003.
  5. J. -R. Abrial. The B-Book: Assigning programs to meanings. Cambridge University Press, 1996
  6. N. Fulmare, D. Yadav, Rigorous analysis of byzantine causal order using Event-B,ISBN:978-1-60558-812-doi>10. 1145/1741906. 1742074
  7. P. M. Melliar-Smith, Louise E. Moser, and VivekAgrawala. Broadcast protocols for distributed systems. IEEE Trans. Parallel Distributed Systems, 1(1):17-25, 1990.
  8. Kenneth P. Birman, Andre Schiper, and Pat Stephenson. Lightweigt causal and atomic group multicast. ACM Trans. Comput. Syst. , 9(3):272-314, 1991
  9. DivakarYadav and Michael Butler. Rigorous design of fault-tolerant transactions for replicated database systems using Event B, Volume 4157 of LNCS, 343–363, Springer, 2006.
  10. DivakarYadav and Michael Butler, Formal Development of Broadcast Systems and Verification of Ordering Properties using Event-B, Volume 5454 of LNCS, 152-176, Springer ,2009.
  11. Fekete, A. , Kaashoek, M. F. , Lynch, N. : Implementing sequentially consistent shared objects using broadcast and point-to-point communication. Journal of the ACM, 45(1), 35–69 ,1998.
  12. Fekete, A. , Lynch, N. A. , Shvartsman, A. A. : Specifying and using a partitionable group communication service. ACM Trans. Comput. Syst. 19(2), 171–216 ,2001
  13. Louise E. Moser and P. M. Melliar–Smith, Byzantine Resistant Total Ordering Algorithms, Information and Computation 150, 75-111,1999.
Index Terms

Computer Science
Information Sciences

Keywords

Event-B emotion refinement