Informatica Logo

INFORMATICA
International Journal

Main Page
Editorial Board
Abstracting/Indexing
Instructions to Authors
Subscription Information


Contents
Author Index
Papers in Production

INFORMATICA, 2008, Vol. 19, No. 3, 345-362
© Institute of Mathematics and Informatics,

ISSN 0868-4952

Viewcharts: Syntax and Semantics

Ayaz ISAZADEH, Jaber KARIMPOUR

Department of Computer Science, University of Tabriz 29 Bahman Blvd., 5166616471 Tabriz, Iran E-mail: karimpour@tabrizu.ac.ir

Abstract

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, orand andways. 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).

Keywords:

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

To preview Lithuanian abstract see full article text

PDFTo preview full article text in PDF format click here

Get Free ReaderYou could obtain free Acrobat Reader from Adobe


TopTop Copyright © INFORMATICA, Vilnius University Institute of Mathematics and Informatics, 2010