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

• 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

•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...