Viewcharts: Syntax and semantics

被引：0

作者：

Isazadeh, Ayaz ^{[1
]}

Karimpour, Jaber ^{[1
]}

机构：

[1] Univ Tabriz, Dept Comp Sci, Tabriz 5166616471, Iran

来源：

INFORMATICA | 2008年 / 19卷 / 03期

关键词：

visual languages; viewcharts; syntax definition; formal operational semantics; object mapping automata;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

In this paper, we present a method for describing the syntax and semantics of viewcharts. Viewcharts is a visual formalism for describing the dynamic behavior of system components. We define the syntax of viewcharts as attributed graphs and, based on this graph, describe dynamic semantics of viewcharts by object mapping automata. This approach covers many important constructs of viewcharts, including hierarchy of views, ownership of elements, scope, and composition of views in SEPARATE, OR and AND ways. It also covers completion and interlevel transitions as well as history transitions without violating the independence of views. Viewcharts was originally based on statecharts; in this paper we also change the basis of viewcharts to an extended version of Finite State Machine (EFSM).

引用

页码：345 / 362

页数：18

共 23 条

[21] Declarative, formal, and extensible syntax definition for AspectJ - A case for scannerless generalized-LR parsing [J].

Bravenboer, Martin ;

Tanter, Eric ;

Visser, Eelco .

ACM SIGPLAN NOTICES, 2006, 41 (10) :209-228

[22] A high-level Petri net for goal-directed semantics of Horn Clause Logic [J].

Jeffrey, J ;

Lobo, J ;

Murata, T .

IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1996, 8 (02) :241-259

[23] A Refined Operational Semantics for ACT-R Investigating the Relations between Different ACT-R Formalizations [J].

Gall, Daniel ;

Fruehwirth, Thom .

PROCEEDINGS OF THE 17TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2015), 2015, :114-124

← 1 2 3 →