Visual Representation of Formal Specification: An Application to Hierarchical Logical Input Devices

Faconti, Giorgio P.; Fornari, Angelo; Zani, Nicola

doi:10.1007/978-3-642-87115-3_21

Cited by 5 publications

(2 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Relevant work reported by Faconti et.al. in [10] is concerned with the synchronous composition of logical input devices for graphics systems to form hierarchies (the approach could easily apply to the interactor Figure 6: Composition of an abstract view with an ADC interactor model of [2]). All possible textual interpretations of a diagrammatic representation of a LOTOS specification are established to be equivalent on the basis of the GCTH of [9].…”

Section: Discussionmentioning

confidence: 99%

“…This validates the graphical representation as a more accurate and precise model of the specification and motivates the support of a visual editor. In the terms of the previous sections the equivalence discussed in [10] is between a set of distributed forms. In contrast, the approach presented here focuses on the synthesis of a compound form that maintains the general ADC structure.…”

Section: Discussionmentioning

confidence: 99%

See 1 more Smart Citation

On the Composition of Interactor Specifications

Markopoulos¹,

Rowson²,

Johnson³

1996

Electronic Workshops in Computing

View full text Add to dashboard Cite

This paper discusses the composition of interface objects, a concept of direct relevance to user interface software architectures and interface design practice. Composition is discussed formally in the framework of the Abstraction-Display-Controller (ADC) interactor model. The ADC model has been defined as a LOTOS specification template tailored for user interface specification. A transformation of the behaviour expressions describing interactor compositions is defined. The transformation, termed synthesis, maintains the generic structure of the ADC interactor while preserving the meaning of the specification. The correctness of the transformation is proved for several types of compositions. The notion of abstract views of interactors is introduced; it is shown how abstract views may themselves be used as components in composition expressions. Example specification extracts are taken from a case study which was developed to test and improve the ADC interactor model

show abstract

Section: Discussionmentioning

confidence: 99%

Section: Discussionmentioning

confidence: 99%