Filters








5 Hits in 2.9 sec

Automated Translation and Analysis of a ToolBus Script for Auctions [chapter]

Wan Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko
<span title="">2010</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
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.  ...  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.  ...  Analysis of the Auction System We translated the Tscript of the auction system to mCRL2 using the prototype translator. A small example is given in Figure 2 .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-11623-0_18">doi:10.1007/978-3-642-11623-0_18</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rkjjzfu2lzf2rhanle4dizvjxi">fatcat:rkjjzfu2lzf2rhanle4dizvjxi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110331205306/http://homepages.cwi.nl/~paulk/publications/auction09.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a8/32/a83219dd8cbe54562f154dc9959fb68623f658c8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-11623-0_18"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Towards Formal Verification of ToolBus Scripts [chapter]

Wan Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko
<i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We present a method for analyzing a Tscript by translating it to the process algebraic language mCRL2, and then applying model checking to verify behavioral properties.  ...  ToolBus allows one to connect tools via a software bus. Programming is done using the scripting language Tscript, which is based on the process algebra ACP.  ...  For the analysis of more specific behavioral details one would need properties formulated by the developer of this particular script.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-79980-1_13">doi:10.1007/978-3-540-79980-1_13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tujmd6u5zrasnme4p5wht6c7ly">fatcat:tujmd6u5zrasnme4p5wht6c7ly</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20090115233541/http://homepages.cwi.nl/~paulk/publications/AMAST08.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/cc/97/cc9774f1ecc32ec4ae7cc6d558d40afc30aa1299.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-79980-1_13"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Compatibility and inheritance in software architectures

Carlos Canal, Ernesto Pimentel, José M. Troya
<span title="">2001</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hq6x4whtd5hhlhsxzculyeamey" style="color: black;">Science of Computer Programming</a> </i> &nbsp;
Our approach uses process algebras as a formal basis for the description and analysis of software architectures. Process algebras are widely accepted for the speciÿcation of software systems.  ...  In particular, -calculus addresses the description of systems with a dynamic or evolving topology, and permits their analysis for bisimilarity and other interesting properties.  ...  The TOOLBUS architecture [22] uses interface speciÿcations, which they call scripts, for specifying the behavior of components.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0167-6423(01)00002-8">doi:10.1016/s0167-6423(01)00002-8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2ln7ijx7xrc2jh2uyro4gxbzii">fatcat:2ln7ijx7xrc2jh2uyro4gxbzii</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808134714/http://www.biblioteca.uma.es/bbldoc/tesisuma/16665934.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8b/b9/8bb9ed6fc988c331053f1ce1df06c067e264b401.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0167-6423(01)00002-8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

A coarse granular approach to software development allowing non-programmers to build and deploy reliable, web based applications

Volker Braun, Technische Universität Dortmund, Technische Universität Dortmund
<span title="2004-12-06">2004</span>
The application expert participates only in a light way in the software development process: traditionally, he is only involved within the requirements analysis and the acceptance test.  ...  This thesis presents a component-based software development process for Web-based applications and its concrete application within the ETI project which directly integrates the application expert into  ...  ToolBus scripts specify the behavior of each process as well as their interaction with each other and with external tools.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.17877/de290r-14980">doi:10.17877/de290r-14980</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/45jkg74bpred7gdsc33jiaqirq">fatcat:45jkg74bpred7gdsc33jiaqirq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170813123245/https://eldorado.tu-dortmund.de/bitstream/2003/2544/1/braununt.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/33/e8/33e8df1af033ce1eb1744b71985fd49f76b805ed.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.17877/de290r-14980"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Discrete-time process algebra [article]

Vereijken, JJ (Jan), Baeten, JCM (Jos), Bergstra, JA (Jan), Mauw, S (Sjouke)
<span title="">1997</span>
Finally, two examples are given: a calculator, and a distributed auction.  ...  Discrete-Time TOOLBUS (Bergstra and Klint) In BERGSTRA AND KLINT [43, 44] we find a description of the Discrete-Time TOOLBUS system.  ...  by projecting a onto a for aA δε , and everything else onto itself.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.6100/ir498558">doi:10.6100/ir498558</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/uruzk5dyvjfnzgt552yd4ezdd4">fatcat:uruzk5dyvjfnzgt552yd4ezdd4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200208075737/https://pure.tue.nl/ws/files/1373824/9704795.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.6100/ir498558"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>