Automated Translation and Analysis of a ToolBus Script for Auctions - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2009

Automated Translation and Analysis of a ToolBus Script for Auctions

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.

Dates and versions

inria-00535866 , version 1 (13-11-2010)

Identifiers

Cite

Wan Fokkink, Paul Klint, Bert Lisser, Usenko S. 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⟩

Collections

INRIA INRIA2
34 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More