2009-04-01
Automated translation and analysis of a ToolBus script for auctions
Publication
Publication
Presented at the
International Workshop on Foundations of Software Engineering, Kish Islan, Iran
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.
| Additional Metadata | |
|---|---|
| , | |
| Springer | |
| F. Arbab (Farhad) , M. Sirjani (Marjan) | |
| Lecture Notes in Computer Science | |
| International Workshop on Foundations of Software Engineering | |
| Organisation | Software Analysis and Transformation |
|
Fokkink, W., Klint, P., Lisser, B., & Usenko, Y. (2009). Automated translation and analysis of a ToolBus script for auctions. In F. Arbab & M. Sirjani (Eds.), Proc. 3rd Symposium on Fundamentals of Software Engineering - FSEN\\\'09 (pp. 308–323). Springer. |
|