Behavioral modeling and formal verification of a resource discovery approach in Grid computing

•Presenting a resource discovery approach to address multi-attribute and range queries.•Modeling the behaviors of proposed approach.•Analyzing the soundness, completeness, and consistency as a model checking problem.•Translating the design model into a verifiable formal model.•Implementing the behav...

Full description

Saved in:

Bibliographic Details
Published in:	Expert systems with applications Vol. 41; no. 8; pp. 3831 - 3849
Main Authors:	Souri, Alireza, Jafari Navimipour, Nima
Format:	Journal Article
Language:	English
Published:	Amsterdam Elsevier Ltd 15.06.2014 Elsevier
Subjects:	Applied sciences Behavioral modeling Checkers Completeness Computational grids Computer science; control theory; systems Computer systems and distributed systems. User interface Computer systems performance. Reliability Consistency Exact sciences and technology Expert systems Formal verification Grid computing Information systems. Data bases Mathematical models Memory organisation. Data processing Model checking NuSMV Queries Resource discovery Software Software engineering Behavioral modeling Model checking Grid computing NuSMV Resource discovery Formal verification Resource allocation Grid Web service State space Distributed computing Modeling Behavioral analysis Completeness Static analysis Defect Localization High performance Branching temporal logic CTL Resource sharing State space method Behavior model Program verification Range query Soundness Problem solving Internet Resource management
ISSN:	0957-4174, 1873-6793
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!