DocumentCode
2984736
Title
A Native Approach to Modeling Timed Behavior in the Pi-Calculus
Author
Barakat, Kamal ; Kowalewski, Stephan ; Noll, Thomas
Author_Institution
Embedded Software Lab., RWTH Aachen Univ., Aachen, Germany
fYear
2012
fDate
4-6 July 2012
Firstpage
253
Lastpage
256
Abstract
We introduce a new concept of modeling timed behavior in pi-calculus by representing timed actions (or timers) as interactions between application processes and clock processes. This approach extends the original calculus in a manner such that bisimulation arrangements in pi-calculus remain untouched. We also present a tool to simulate specifications written in our timed version of pi-calculus in order to verify their behavior.
Keywords
bisimulation equivalence; formal specification; formal verification; pi calculus; application processes; bisimulation arrangements; clock processes; pi-calculus; timed action representation; timed behavior modeling; Algebra; Calculus; Clocks; Mobile communication; Real time systems; Synchronization; Embedded and Real-Time Systems; Specification and Verification;
fLanguage
English
Publisher
ieee
Conference_Titel
Theoretical Aspects of Software Engineering (TASE), 2012 Sixth International Symposium on
Conference_Location
Beijing
Print_ISBN
978-1-4673-2353-6
Type
conf
DOI
10.1109/TASE.2012.27
Filename
6269655
Link To Document