A coordination model for interactive components

Authors:
Marco A. Barbosa;Luis S. Barbosa;José C. Campos
Affiliations:
Department of Informatics S Computer Science and Technology Center (CCTC), Minho University, Portugal;Department of Informatics S Computer Science and Technology Center (CCTC), Minho University, Portugal;Department of Informatics S Computer Science and Technology Center (CCTC), Minho University, Portugal
Venue:
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Year:
2009

Citing 11
Cited 0

Algebraic laws for nondeterminism and concurrency

Journal of the ACM (JACM)
Helping the automated validation process of user interfaces systems

Proceedings of the 20th international conference on Software engineering
Model Checking Interactor Specifications

Automated Software Engineering
Sharing Actions and Attributes in Modal Action Logic

TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Reo: a channel-based coordination model for component composition

Mathematical Structures in Computer Science
A unified description formalism for complex HCI-systems

SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Concurrent Logic and Automata Combined: A Semantics for Components

Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a Coordination Model for Interactive Systems

Electronic Notes in Theoretical Computer Science (ENTCS)
Systematic Analysis of Control Panel Interfaces Using Formal Tools

Interactive Systems. Design, Specification, and Verification
Validating Behavioral Component Interfaces in Rewriting Logic

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

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

Quantified Score

Hi-index	0.00

Visualization

Abstract

Although presented with a variety of ‘flavours’, the notion of an interactor, as an abstract characterisation of an interactive component, is well-known in the area of formal modelling techniques for interactive systems. This paper replaces traditional, hierarchical, ‘tree-like’ composition of interactors in the specification of complex interactive systems, by their exogenous coordination through general-purpose software connectors which assure the flow of data and the meet of synchronisation constraints. The paper’s technical contribution is twofold. First a modal logic is defined to express behavioural properties of both interactors and connectors. The logic is new in the sense that its modalities are indexed by fragments of sets of actions to cater for action co-occurrence. Then, this logic is used in the specification of both interactors and coordination layers which orchestrate their interconnection.