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žené v:

Podrobná bibliografia
Vydané v:	Expert systems with applications Ročník 41; číslo 8; s. 3831 - 3849
Hlavní autori:	Souri, Alireza, Jafari Navimipour, Nima
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Amsterdam Elsevier Ltd 15.06.2014 Elsevier
Predmet:	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 prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!