eprintid: 284
rev_number: 14
eprint_status: archive
userid: 32
dir: disk0/00/00/02/84
datestamp: 2011-05-26 12:16:24
lastmod: 2013-05-03 12:37:08
status_changed: 2011-05-26 12:16:24
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: Calzolai, Francesco
creators_name: De Nicola, Rocco
creators_name: Loreti, Michele
creators_name: Tiezzi, Francesco
creators_id: 
creators_id: r.denicola@imtlucca.it
creators_id: 
creators_id: francesco.tiezzi@imtlucca.it
title: TAPAs: A Tool for the Analysis of Process Algebras
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
keywords: concurrency - property verification - process algebras - bisimulation - behavioural equivalences - modal logics 
abstract: Process algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to support the use of process algebras to specify and analyze concurrent systems. It does not aim at guaranteeing high performances, but has been developed as a support to teaching. Systems are described as process algebras terms that are then mapped to labelled transition systems (LTSs). Properties are verified either by checking equivalence of concrete and abstract systems descriptions, or by model checking temporal formulae over the obtained LTS. A key feature of TAPAs, that makes it particularly suitable for teaching, is that it maintains a consistent double representation of each system both as a term and as a graph. Another useful didactical feature is the exhibition of counterexamples in case equivalences are not verified or the proposed formulae are not satisfied.
date: 2008
date_type: published
series: Lecture Notes in Computer Science
publication: T. Petri Nets and Other Models of Concurrency
volume: 1
publisher: Springer
pagerange: 54-70
id_number: 10.1007/978-3-540-89287-8_4
refereed: TRUE
isbn: 978-3-540-89286-1
book_title: Transactions on Petri Nets and Other Models of Concurrency I
editors_name: Jensen, Kurt
editors_name: M. P. van der Aalst, Wil
editors_name: Billington, Jonathan
official_url: http://dx.doi.org/10.1007/978-3-540-89287-8_4
citation:   Calzolai, Francesco and De Nicola, Rocco and Loreti, Michele and Tiezzi, Francesco  TAPAs: A Tool for the Analysis of Process Algebras.   In:  Transactions on Petri Nets and Other Models of Concurrency I.   Lecture Notes in Computer Science, 1 .  Springer, pp. 54-70.  ISBN 978-3-540-89286-1      (2008)  
document_url: http://eprints.imtlucca.it/284/1/dNCLT_topnoc.pdf