ADVcharts: a graphical specification for abstract data views

  • Authors:
  • L. M. F. Carneiro;D. D. Cowan;C. J. P. Lucena

  • Affiliations:
  • University of Waterloo, Waterloo, Ont, Canada;University of Waterloo, Waterloo, Ont, Canada;Pontifícia Universidade, Católica 22453-900 - Rio de Janeiro - RJ, Brazil

  • Venue:
  • CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
  • Year:
  • 1993

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper introduces ADVcharts, a new visual formalism for specifying the behavior of interactive systems in terms of state machines. ADV charts combine the concepts and notations of Abstract Data Views, Objectcharts, Statecharts, Petri-nets, and Calculus of Concurrent Systems. ADVcharts were created to provide a formal semantics for Abstract Data Views---a new design concept for user interfaces---, while also serving as a foundation for a future design methodology for interactive systems. The semantics of ADVcharts are presented through an example.The paper concludes by demonstrating that VDM-like specifications can be derived directly from ADVcharts, thus providing the Abstract Data Views concept with both visual and textual modes of formal description.