Operational Semantics based on Frame of Eztended Seal Calculus Language

摘要：

An extended seal calculus language, ExtSealL, and its syntax is introduced in this paper. A frame structure is proposed for ExtSeal. A construction method for translating a seal definition into the frame definition is proposed and a transformation function is given based on the method. An operating semantics is developed basing on the frame structure, an example of a frame and its execution are given.

作者: Zhang Li-cui

作者单位: College of Communication Engineering, Jilin University, 130012, Changchun, China

会议类型: 国际会议

会议名称: 2009 WASE International Conference on Information Engineering(2009年国际信息工程会议)(ICIE 2009)

会议地点: 太原

会议语种:英文

页码: 932-935

在线出版日期: 2009-07-10（万方平台首次上网日期，不代表论文的发表时间）