eprintid: 157
rev_number: 15
eprint_status: archive
userid: 30
dir: disk0/00/00/01/57
datestamp: 2011-03-31 14:52:50
lastmod: 2011-07-11 14:34:34
status_changed: 2011-03-31 14:52:50
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: Edelkamp, Stefan
creators_name: Jabbar, Shahid
creators_name: Lluch-Lafuente, Alberto
creators_id: 
creators_id: 
creators_id: alberto.lluch@imtlucca.it
title: Heuristic Search for the Analysis of Graph Transition Systems
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
note: © Springer-Verlag Berlin Heidelberg 2006. The original publication is available at www.springerlink.com.
abstract: Graphs are suitable modeling formalisms for software and hardware systems involving aspects such as communication, object orientation, concurrency, mobility and distribution. State spaces of such systems can be represented by graph transition systems, which are basically transition systems whose states and transitions represent graphs and graph morphisms. Heuristic search is a successful Artificial Intelligence technique for solving exploration problems implicitly present in games, planning, and formal verification. Heuristic search exploits information about the problem being solved to guide the exploration process. The main benefits are significant reductions in the search effort and the size of solutions. We propose the application of heuristic search for the analysis of graph transition systems. We define algorithms and heuristics and present experimental results.
date: 2006
date_type: published
series: Lecture Notes in Computer Science
volume: 4178
publisher: Springer
pagerange: 414-429
id_number: 10.1007/11841883_29
refereed: TRUE
isbn: 3-540-38870-2
book_title: Graph Transformations (ICGT 2006)
editors_name: Corradini, Andrea
editors_name: Ehrig, Hartmut
editors_name: Montanari, Ugo
editors_name: Ribeiro, Leila
editors_name: Rozenberg, Grzegorz
official_url: http://dx.doi.org/10.1007/11841883_29
citation:   Edelkamp, Stefan and Jabbar, Shahid and Lluch-Lafuente, Alberto  Heuristic Search for the Analysis of Graph Transition Systems.   In:  Graph Transformations (ICGT 2006).   Lecture Notes in Computer Science, 4178 .  Springer, pp. 414-429.  ISBN 3-540-38870-2      (2006)  
document_url: http://eprints.imtlucca.it/157/1/edelkamp_jabbar_lluch-lafuente2006a.pdf