INTERACTORS : FORMAL ARCHITECTURAL MODELS OF USER INTERFACE SOFTWARE 1 Introduction

@inproceedings{2001INTERACTORSF,
  title={INTERACTORS : FORMAL ARCHITECTURAL MODELS OF USER INTERFACE SOFTWARE 1 Introduction},
  author={},
  year={2001}
}
  • Published 2001
ion-side and Display-side behaviours. Interactors can be ‘observed’ from the abstraction or the display sides. The abstraction-side behaviour of the interactor is observed by interaction at gates Notation Meaning r q n   →  μ μ .. 1 r q q q q q q n n n →  → → →  →  ∃ − μ μ μ 1 2 1 1 ... | ... 2 1 r q ε ⇒ r q n r q n →  ≥ ∃ ∨ ≡ τ | 1 r q μ ⇒ r q q q q q ε μ ε ⇒ →  ⇒ ∃ 2 1 2 1 | , r q n μ μ .. 1 ⇒ r q q q q q n n n n μ μ μ μ ⇒ ⇒ ⇒ ⇒ ∃ − − − 1 1 1 1 1 2 1 ... | .. n q μ μ .. 1 ⇒ / r q… CONTINUE READING

Citations

Publications citing this paper.
Showing 1-6 of 6 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 27 references

Information Processing Systems-Open Systems Interconnection-LOTOS-A Formal Description Technique based on the Temporal Ordering of Observational Behaviour

ISO
ISO/IEC 8807, International Organisation for Standardisation, Geneva. • 1989
View 3 Excerpts
Highly Influenced

PAC, an Object Oriented Model for Dialog Design

J. COUTAZ
BULLINGER, H.J., SHAKIEL, B., Eds., INTERACT ’87, Elsevier, North-Holland, 431-436. • 1987
View 3 Excerpts
Highly Influenced

A system of patterns

F. BUSCHMANN, R. MEUNIER, H. ROHNERT, P. SOMMERLAD, M. STAL
John Wiley & Sons, Chichester. • 1996

Similar Papers

Loading similar papers…