State Visibility and Communication in Unifying Theories of Programming
We explore the interactions between programvariable state visibility and communication be haviour in state-rich CSP-like processes, using the Unifying Theories of Programming (UTP) frame work. The key results of this work are: having variable state visible while a process is waiting to communicate, results in an operationally com plex theory of behaviour; by contrast, considering state as unobservable during communication wait periods results in an elegant theory, with much cleaner operational intuitions. The language con structs most affected by this observability choice are those of external choice and parallel compo sition. We also discuss situations where this state hiding can prevent the adoption of interesting op erators that seize control from waiting processes.
Andrew Butterfield Pawet Gancarski Jim Woodcock
Dept. of Computer Science Trinity College Dublin Ireland Dept. of Computer Science University of York UK
国际会议
天津
英文
47-54
2009-07-29（万方平台首次上网日期，不代表论文的发表时间）