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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Expert systems with applications Jg. 41; H. 8; S. 3831 - 3849
Hauptverfasser:	Souri, Alireza, Jafari Navimipour, Nima
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Amsterdam Elsevier Ltd 15.06.2014 Elsevier
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!