Skip to Main content Skip to Navigation
Conference papers

Automated Translation and Analysis of a ToolBus Script for Auctions

Wan Fokkink 1 Paul Klint 1 Bert Lisser 1 Usenko Yaroslav 1
1 ATEAMS - Analysis and Transformation based on rEliAble tool coMpositionS
Inria Lille - Nord Europe, CWI - Centrum Wiskunde & Informatica
Abstract : ToolBus allows to connect tools via a software bus. Pro- gramming 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.
Document type :
Conference papers
Complete list of metadata
Contributor : Jurgen Vinju <>
Submitted on : Saturday, November 13, 2010 - 4:09:08 PM
Last modification on : Monday, June 21, 2021 - 5:22:02 PM

Links full text




Wan Fokkink, Paul Klint, Bert Lisser, Usenko Yaroslav. Automated Translation and Analysis of a ToolBus Script for Auctions. Fundamentals of Software Engineering, Third IPM International Con ference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Paper s, Oct 2010, Eindhoven, Netherlands. pp.308-323, ⟨10.1007/978-3-642-11623-0_18⟩. ⟨inria-00535866⟩