Algebraic Reasoning for Probabilistic Action Systems and While-Loops

Meinicke, Larissa and Hayes, Ian J. (2006) Algebraic Reasoning for Probabilistic Action Systems and While-Loops. Technical Report SSE-2006-05, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland.

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
techreport_jn.pdf techreport_jn.pdf application/pdf 2.00MB 179
Author Meinicke, Larissa
Hayes, Ian J.
Title Algebraic Reasoning for Probabilistic Action Systems and While-Loops
School, Department or Centre Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering
Institution The University of Queensland
Report Number Technical Report SSE-2006-05
Publication date 2006-01-01
Subject 280300 Computer Software
Abstract/Summary Back and von Wright have developed algebraic laws for reasoning about loops in the refinement calculus. We extend their work to reasoning about probabilistic loops in the probabilistic refinement calculus. We apply our algebraic reasoning to derive transformation rules for probabilistic action systems and probabilistic while-loops. In particular we focus on developing data refinement rules for these two constructs. Our extension is interesting since some well known transformation rules that are applicable to standard programs are not applicable to probabilistic ones: we identify some of these important differences and we develop alternative rules where possible. In particular, our probabilistic action system and while-loop data refinement rules are new: they differ from the non-probabilistic rules.
Keyword probabilistic action systems
probabilistic loops
algebra

Document type: Department Technical Report
Collection: School of Information Technology and Electrical Engineering Publications
 
Versions
Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Access Statistics: 423 Abstract Views, 179 File Downloads  -  Detailed Statistics
Created: Tue, 05 Sep 2006, 10:00:00 EST by Larissa Meinicke