Abstrakt. Process Algebras är en uppsättning formalismer för modelleringssystem som tillåter matematiskt resonemang med avseende på en uppsättning önskade egenskaper. TAPAs är ett verktyg som kan användas för att stödja användningen av processalgebras för att specificera och analysera samtidiga system. System beskrivs som process algebras termer som sedan kartläggs till LTS (Labelled Transition Systems). Egenskaper verifieras antingen genom kontroll av ekvivalensen av konkreta och abstrakta systembeskrivningar, eller genom modellkontroll av tidsformler över de erhållna LTS-värdena. Ett viktigt inslag i TAPA är att en konsekvent dubbel representation som term och som graf för varje system upprätthålls. De syftar inte till att garantera höga prestationer utan betraktas som ett stöd för algebras i undervisningsprocessen.
Modelleringsverktyget REF är ett didaktiskt verktyg för analys av processalgebra.
TAPAs: a Tool for the Analysis of Process Algebras
{'venue': 'Trans. Petri Nets Other Model. Concurr.', 'journal': 'Trans. Petri Nets Other Model. Concurr.', 'mag_field_of_study': ['Computer Science']}