TY - GEN
T1 - A graph-based operational semantics of OO programs
AU - Ke, Wei
AU - Liu, Zhiming
AU - Wang, Shuling
AU - Zhao, Liang
N1 - Funding Information:
Supported by the projects HighQSoftD, HTTS and ARV funded by Macao Science and Technology Development Fund; and grants from STCSM No. 08510700300 and CNSF No. 60970031.
PY - 2009
Y1 - 2009
N2 - We present a mathematical model of class graphs, object graphs and state graphs which naturally capture the essential oo features. A small-step operational semantics of oo programs is defined in the style of classical structural operational semantics, in which an execution step of a command is defined as a transition from one state graph to another obtained by simple operations on graphs. To validate this semantics, we give it an implementation in Java. This implementation can also be used for simulation and validation of oo programs, with the visualization of state graph transitions during the execution. A distinct feature of this semantics is location or address independent. Properties of objects and oo programs can be described as properties of graphs in terms of relations of navigation paths (or attribute strings).
AB - We present a mathematical model of class graphs, object graphs and state graphs which naturally capture the essential oo features. A small-step operational semantics of oo programs is defined in the style of classical structural operational semantics, in which an execution step of a command is defined as a transition from one state graph to another obtained by simple operations on graphs. To validate this semantics, we give it an implementation in Java. This implementation can also be used for simulation and validation of oo programs, with the visualization of state graph transitions during the execution. A distinct feature of this semantics is location or address independent. Properties of objects and oo programs can be described as properties of graphs in terms of relations of navigation paths (or attribute strings).
KW - OO programs
KW - Object graphs
KW - Operational semantics
KW - State graphs
UR - http://www.scopus.com/inward/record.url?scp=78650261356&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-10373-5_18
DO - 10.1007/978-3-642-10373-5_18
M3 - Conference contribution
AN - SCOPUS:78650261356
SN - 3642103723
SN - 9783642103728
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 347
EP - 366
BT - Formal Methods and Software Engineering - 11th International Conference on Formal Engineering Methods, ICFEM 2009, Proceedings
T2 - 11th International Conference on Formal Engineering Methods, ICFEM 2009
Y2 - 9 December 2009 through 12 December 2009
ER -