Paper Info
Title
Automated translation and analysis of a ToolBus script for auctions
Abstract
ToolBus allows to connect tools via a software bus. Programming is done using the scripting language Tscript, which is based on the process algebra ACP. In previous work we presented a method for analyzing a Tscript by translating it to the process algebraic language mCRL2, and then applying model checking to verify certain behavioral properties. We have implemented a prototype based on this approach. As a case study, we have applied it on a standard example from the ToolBus distribution, distributed auction, and detected a number of behavioral irregularities in this auction Tscript.
Year
DOI
Venue
2009
10.1007/978-3-642-11623-0_18
FSEN
Keywords
Field
DocType
automated translation,process algebra acp,model checking,process algebraic language mcrl2,behavioral irregularity,auction tscript,toolbus distribution,toolbus script,certain behavioral property,previous work,case study,scripting language,process algebra
Algebraic number,Programming language,Model checking,Computer science,Theoretical computer science,Common value auction,Process calculus,Software bus,Scripting language
Conference
ISBN
Citations 
PageRank 
3-642-11622-1
0
0.34
References 
Authors
25
4
Name
Order
Citations
PageRank
Wan Fokkink1108988.64
Paul Klint21780131.71
Bert Lisser31499.84
Yaroslav S. Usenko412510.75