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

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Expert systems with applications Ročník 41; číslo 8; s. 3831 - 3849
Hlavní autoři:	Souri, Alireza, Jafari Navimipour, Nima
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Amsterdam Elsevier Ltd 15.06.2014 Elsevier
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!