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 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).
%0 Book Section
%1 isazadeh_07_new
%A Isazadeh, Ayaz
%A Karimpour, Jaber
%A Isazadeh, Hosein
%D 2007
%J Frontiers of High Performance Computing and Networking ISPA 2007 Workshops
%K syntax 2007 semantics statecharts viewcharts
%P 345--354
%R 10.1007/978-3-540-74767-3_36
%T A New Method for Describing the Syntax and Semantics of VIEWCHARTS
%U http://dx.doi.org/10.1007/978-3-540-74767-3_36
%X 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 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).
@incollection{isazadeh_07_new,
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, or and and ways. It also covers completion and interlevel 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).},
added-at = {2009-02-11T20:51:21.000+0100},
author = {Isazadeh, Ayaz and Karimpour, Jaber and Isazadeh, Hosein},
biburl = {https://www.bibsonomy.org/bibtex/2a628a2b23fc5454dc000602d2bf20eb2/leonardo},
citeulike-article-id = {1575154},
doi = {10.1007/978-3-540-74767-3_36},
interhash = {865af85623eded7aa1eef4212754f24b},
intrahash = {a628a2b23fc5454dc000602d2bf20eb2},
journal = {Frontiers of High Performance Computing and Networking ISPA 2007 Workshops},
keywords = {syntax 2007 semantics statecharts viewcharts},
pages = {345--354},
posted-at = {2007-08-19 14:21:24},
priority = {3},
timestamp = {2009-02-11T20:51:21.000+0100},
title = {A New Method for Describing the Syntax and Semantics of VIEWCHARTS},
url = {http://dx.doi.org/10.1007/978-3-540-74767-3_36},
year = 2007
}