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).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Drusinsky, D., Harel, D.: On the power of cooperative concurrency. In: Vogt, F.H. (ed.) Concurrency 1988. LNCS, vol. 335, pp. 74–103. Springer, Heidelberg (1988)
Drusinsky, D., Harel, D.: On the power of bounded concurrency I: Finite automata. Journal of the Association for Computing Machine (ACM) 41, 517–539 (1994)
Wolf, A.L., Clarke, L.A., Wileden, J.C.: A model of visibility control. IEEE Transactions on Software Engineering 14, 512–520 (1988)
Isazadeh, A., Lamb, D.A., Shepard, T.: Behavioural views for software requirements engineering. Requirements Engineering Journal 4, 19–37 (1999)
Isazadeh, A.: Behavioral Views for Software Requirements Engineering. PhD thesis, Department of Computing and Information Science, Queen’s University, Kingston, Canada (1996)
Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8, 231–274 (1987)
Harel, D., Naamad, A.: The statemate semantics of Statecharts. Technical report, i-Logix, Inc., 22 Third Avenue, Burlington, Mass (1995)
Isazadeh, A., Lamb, D.A.: An algorithmic semantics for Viewcharts. In: Proceedings of IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 1996), Montreal, Canada, pp. 293–296. IEEE Computer Society Press, Los Alamitos (1996)
Jin, Y., Esser, R., Janneck, J.W.: A method for describing the syntax and semantics of uml statecharts. Software and Systems Modeling (SoSyM) 3, 150–163 (2004)
Janneck, J.W.: Moses project. Computer Engineering and Communications Laboratory, ETH Zurich (1997), http://www.tik.ee.ethz.ch/moses
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Isazadeh, A., Karimpour, J., Isazadeh, H. (2007). A New Method for Describing the Syntax and Semantics of VIEWCHARTS. In: Thulasiraman, P., He, X., Xu, T.L., Denko, M.K., Thulasiram, R.K., Yang, L.T. (eds) Frontiers of High Performance Computing and Networking ISPA 2007 Workshops. ISPA 2007. Lecture Notes in Computer Science, vol 4743. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74767-3_36
Download citation
DOI: https://doi.org/10.1007/978-3-540-74767-3_36
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-74766-6
Online ISBN: 978-3-540-74767-3
eBook Packages: Computer ScienceComputer Science (R0)