L. M. F. Carneiro, D. D. Cowan, and C. J.P. Lucena, "ADVcharts: A visual formalism for interactive systems", SIGCHI Bulletin, 1993, pp. 74-77.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....vector signature corresponding to abstract data types depicting the main classes in the body or realization of the design pattern. yv represents the vector signature corresponding to the abstract data views (ADVs) depicting the main classes in the interface or specification of the design pattern [10,12,13,14]. R is the relation that captures the inter relationship between the v v classes in Yi and e [ Definition 5: Modularized Vector Abstract Data Type, extension of modularized ADT A modularized vector abstract data type for the module vector signature ( V,R ) is a family of total functions that ....

L. M. F. Carneiro, D. D. Cowan, and C. J.P. Lucena, "ADVcharts: A visual formalism for interactive systems", SIGCHI Bulletin, 1993, pp. 74-77.

....restricted amount of functionality to support interaction. An extreme case is for example, the telephone which is not able to offer any supporting functionality at all. Other approaches: Presently, approaches for formalizing interaction with an information system (e.g. CaTa 1995] CCC 1996] [CCL 1994]) concentrate on the specification of the interface rather than on the process of interaction. Similarly web based paradigms like HTML or XML provide a logical representation of the interface with the user, but do not depict the actual activity of interaction. Paradigms like Java address this ....

Carneiro-Coffin, L. M. F.; Cowan, D. D.; Lucena, C. J. P.: ADVcharts: A Visual Formalism for Interactive Systems. In: SIGCHI Bulletin. Volume 26. Number 2. 1994. Pages 71--77.

....interfaces requires specific methods and tools to design and describe them; an emerging solution is to employ formal methods for a precise and unambiguous specification of interaction. Graphical methods are preferred since they are more easily perceived by users without a particular experience [6, 14, 28]. However, formal methods require a considerable effort in building the model; this is, probably, the main reason why even those of them that proved to be valid in HCI research find difficulties in being applied in interface engineering. There are, currently, two directions in which research ....

Carneiro, L.M.F., Cowan, D.D and Lucena, C.J.P. (1994). ADV Charts: a visual formalism for interactive systems. SIGCHI Bulletin, 26, 2, 74-77.

....used for the modeling of behavior and data. Our present work is to make a comparison of the current formal approaches in order to characterize their strengths and weaknesses and to make precise their favorite application domain. Formalism for behavior Formalism for data Abowd [1] CSP, CCS Z Cowan [5] StateCharts, Petri nets, CCS Abstract Data views, Object Charts De Carolis [4] Colored Petri nets, Trellis Predicates Harrison [6] Partial order logic Agents Palanque, Bastide [3] High level Petri nets (PNO) Objets Paterno [2] CSP, CCS (LOTOS) ACT ONE (LOTOS) Systa [7] Joint actions systems ....

Carneiro L.M.F., Cowan D.D., Lucena C.J.P. ADVcharts: a Visual Formalism for Interactive Systems. York Workshop on Formal Methods for the design of Interactive Systems. August 1993.

....ADVs can be specified using textual and graphical formalisms, and a mapping exists between the two forms of expression. A version of the textual formalism is based on object oriented versions of VDM[29] and VDM [19] an extension that handles concurrency. The graphical formalism called ADVcharts [9, 8] is based on state machine approaches similar to Statecharts[27] and Objectcharts[11] We have created a graphical formalism because visualizing the design is easier, and sequential and time relationships are more readily apparent. Both the textual and graphical representations support the ....

L. M. F. Carneiro, D. D. Cowan, and C. J. P. Lucena. ADVcharts: a Visual Formalism for Interactive Systems. In Proceedings of the York Workshop on Formal Methods for Interactive Systems (to appear). Springer, 1994.

....ADVs can be specified using textual and graphical formalisms, and a mapping exists between the two forms of expression. A version of the textual formalism is based on object oriented versions of VDM[29] and VDM [19] an extension that handles concurrency. The graphical formalism called ADVcharts [9, 8] is based on state machine approaches similar to Statecharts[27] and Objectcharts[11] We have created a graphical formalism because visualizing the design is easier, and sequential and time relationships are more readily apparent. Both the textual and graphical representations support the ....

L. M. F. Carneiro, D. D. Cowan, and C. J. P. Lucena. ADVcharts: a Visual Formalism for Interactive Systems - position paper. In SIGCHI Bulletin, pages 74--77, 1993.

....style. We have shown in [18] and [20] how ADVs can be used to compose complex applications from simpler ones in a style which is similar to some approaches to component oriented software development [36] and megaprogramming [41] We have created a visual formalism called Jasminum based on ADVs [10, 11, 12] for describing highly interactive systems and their user interfaces. This visual notation is state machine and eventoriented and is based on earlier research on visual formalisms (Statecharts [28] and Objectcharts [14] The semantics of ADVcharts, the state transition diagram part of JASMINUM, ....

L.M.F. Carneiro, D.D. Cowan, and C.J.P. Lucena. ADVcharts: a Visual Formalism for Interactive Systems. In Proceedings of the York Workshop on Formal Methods for Interactive Systems (to appear). Springer, 1994.

....style. We have shown in [18] and [20] how ADVs can be used to compose complex applications from simpler ones in a style which is similar to some approaches to component oriented software development [36] and megaprogramming [41] We have created a visual formalism called Jasminum based on ADVs [10, 11, 12] for describing highly interactive systems and their user interfaces. This visual notation is state machine and eventoriented and is based on earlier research on visual formalisms (Statecharts [28] and Objectcharts [14] The semantics of ADVcharts, the state transition diagram part of JASMINUM, ....

L.M.F. Carneiro, D.D. Cowan, and C.J.P. Lucena. ADVcharts: a Visual Formalism for Interactive Systems - position paper. In SIGCHI Bulletin, pages 74--77, 1993.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC