Automated Translation and Analysis of a ToolBus Script for Auctions

Wan Fokkink 1 Paul Klint 1 Bert Lisser 1 S. 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.
Type de document :
Communication dans un congrès
Farhad Arbab and Marjan Sirjani. 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. Springer, 5961, pp.308-323, 2009, 〈10.1007/978-3-642-11623-0_18〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00535866
Contributeur : Jurgen Vinju <>
Soumis le : samedi 13 novembre 2010 - 16:09:08
Dernière modification le : mardi 13 décembre 2016 - 15:40:42

Identifiants

Collections

Citation

Wan Fokkink, Paul Klint, Bert Lisser, S. Yaroslav. Automated Translation and Analysis of a ToolBus Script for Auctions. Farhad Arbab and Marjan Sirjani. 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. Springer, 5961, pp.308-323, 2009, 〈10.1007/978-3-642-11623-0_18〉. 〈inria-00535866〉

Partager

Métriques

Consultations de la notice

81