Towards a Coordination Model for Interactive Systems

Authors:
Marco Antonio Barbosa;Luís Soares Barbosa;José Creissac Campos
Affiliations:
DI-CCTC -- Universidade do Minho, Braga, Portugal;DI-CCTC -- Universidade do Minho, Braga, Portugal;DI-CCTC -- Universidade do Minho, Braga, Portugal
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2007

Citing 13
Cited 4

Communicating sequential processes

Communicating sequential processes
An approach to hierarchical input devices

Computer Graphics Forum
Coordination languages and their significance

Communications of the ACM
Time, tasks and errors

ACM SIGCHI Bulletin
A formal basis for architectural connection

ACM Transactions on Software Engineering and Methodology (TOSEM)
Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
Model Checking Interactor Specifications

Automated Software Engineering
Behavior Protocols for Software Components

IEEE Transactions on Software Engineering
Coinductive Interpreters for Process Calculi

FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
Behaviour Analysis of Software Architectures

WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
Reo: a channel-based coordination model for component composition

Mathematical Structures in Computer Science
An Orchestrator for Dynamic Interconnection of Software Components

Electronic Notes in Theoretical Computer Science (ENTCS)
Specifying software connectors

ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing

Automata for Context-Dependent Connectors

COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
A coordination model for interactive components

FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
A model of context-dependent component connectors

Science of Computer Programming
A specification language for reo connectors

FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering

Quantified Score

Hi-index	0.01

Visualization

Abstract

When modelling complex interactive systems, traditional interactor-based approaches suffer from lack of expressiveness regarding the composition of the different interactors present in the user interface model into a coherent system. In this paper we investigate an alternative approach to the composition of interactors for the specification of complex interactive systems which is based on the coordination paradigm. We layout the fundations for the work and present an illustrative example. Lines for future work are identified.