Parc Scientifique de la Haute Borne
BibTeX
@MISC{Fokkink_parcscientifique,
author = {Wan Fokkink and Paul Klint and Bert Lisser Yaroslav S. Usenko and Centrum Voor Wiskunde En Informatica and Avenue Halley},
title = {Parc Scientifique de la Haute Borne},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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. 1
