Modeling and verifying of grid computing based on FSM

Journal of Convergence Information Technology

Volumn 6, Issue 1, 2011, Pages 170-181

  Gao, Honghao ^a,b   Wang, Shuoping ^c  

^a SHANGHAI UNIVERSITY   (China)

^b SHANGHAI KEY LABORATORY OF COMPUTER SOFTWARE EVALUATING AND TESTING   (China)

^c ZHEJIANG UNIVERSITY   (China)

Author keywords

BPMN; Correctness; FSM; Grid computing; Modeling and verifying

Indexed keywords

COMPUTER CIRCUITS; MODEL CHECKING; SYSTEMS ENGINEERING; TEMPORAL LOGIC;

BPMN; BUSINESS PROCESS MODELING NOTATIONS; COMPUTING BEHAVIOR; CORRECTNESS; DESIGN AND IMPLEMENTATIONS; LINEAR TEMPORAL LOGIC; LIVENESS PROPERTIES; SYMBOLIC MODEL CHECKERS;

GRID COMPUTING;

EID: 79952423157     PISSN: 19759320     EISSN: None     Source Type: Journal    
DOI: 10.4156/jcit.vol6.issue1.19     Document Type: Article

References (16)

1. I. Foster, C. Kesselman, S. Tuecke, "The Anatomy of the Grid: Enabling Scalable Virtual Organizations", International journal of Supercomputer Applications, vol. 15, no. 3, pp. 200-222, 2001.
2. J. Joseph, M. Ernest, C. Fellenstein. "Evolution of grid computing architecture and grid adoption models", IBM Systems Journal, vol. 43, no. 4, pp. 623-645, 2004.
3. D. Peled, P. Pelliccione, and P. Spoletini. Model checking. Wiley Encyclopedia of Computer Science and Engineering 6th Edition, 2008.
4. st Int'l Conf, Very Large Data Bases (VLDB 05),pp. 613-624, 2005.
5. J. Blom, A. Hessel, B. Jonsson and P. Pettersson, "Specifying and Generating Test Cases Using Observer Automata. Formal Approaches to Software Testing". Lecture Notes in Computer Science, vol. 3395, no. 2005, pp. 125-139, 2005.
6. Hoskote, T. Kam, Pei-Hsin Ho, X. Zhao, "Coverage Estimation for Symbolic Model Checking", In Proceedings of the Design Automation Conference DAC' 99, New York, NY, USA,IEEE Computer Society Press, pp:300-305,1999.
7. K. L. McMillan, "Symbolic Model Checking", Kluwer Academic Publishers, pp: 369,1993.
8. Security Assertion Markup Language (SAML) 1.0 Specification, OASIS November,2002.http://www. Oasis-open.org/committees/security/
9. R. Butler, D. Engert, I. Foster, C. Kesselman, S. Tuecke, J. Volmer, and V. Welch, "A National-Scale Authentication Infrastructure", IEEE Computer, vol. 33, no. 12, pp. 60-66, 2000.
10. Seti@home: The search for extraterrestrial intelligence project, http://setiathome.berkeley.edu/.
11. I. Foster, C. Kesselman, "The grid: blueprint for a new computing infrastructure", Morgan Kaufmann Publishers Inc., San Francisco, CA, 1998
12. S. Zhao, V. Lo and C. GauthierDickey, "Result Verification and Trust-based Scheduling in Peer-to-Peer Grids". Fifth IEEE International Conference on Peer-to-Peer Computing, pp: 31-38,2005.
13. L.F.G. Sarmenta, "Sabotage-tolerance mechanisms for volunteer computing systems". CCGrid '01 Proceedings of the 1st International Symposium on Cluster Computing and the Grid,pp:337, 2001.
14. F. Azzedin and M. Maheswaran, "A trust brokering system and its application to resource management in public-resource grids". 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings (IPDPS), pp:22, 2004.
15. Z. Li, M. Parashar, "Rudder: An agent-based infrastructure for autonomic composition of grid applications", Multiagent and Grid Systems, vol.1, no.3, pp.183-195, 2005.8.
16. J. Chen, Y. Yang, "Key research issues in grid workflow verification and validation". ACSW Frontiers '06 Proceedings of the 2006 Australasian workshops on Grid computing and eresearch, vol. 54, pp:97-104,2006.