Intentional automata: a context-dependent model for component connectors

Authors:
David Costa;Milad Niqui;Jan Rutten
Affiliations:
CWI, Amsterdam, The Netherlands and Fredhopper, Amsterdam, The Netherlands;CWI, Amsterdam, The Netherlands;CWI, Amsterdam, The Netherlands and VUA, Amsterdam, The Netherlands and RUN, Nijmegen, The Netherlands
Venue:
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Year:
2011

Citing 16
Cited 0

A Theory of Communicating Sequential Processes

Journal of the ACM (JACM)
Coordination languages and their significance

Communications of the ACM
Foundations for the study of software architecture

ACM SIGSOFT Software Engineering Notes
Communication and Concurrency

Communication and Concurrency
Procedure Calls Are the Assembly Language of Software Interconnection: Connectors Deserve First-Class Status

ICSE '93 Selected papers from the Workshop on Studies of Software Design
Scenarios: A Model of Non-Determinate Computation

Proceedings of the International Colloquium on Formalization of Programming Concepts
Concurrency and Automata on Infinite Sequences

Proceedings of the 5th GI-Conference on Theoretical Computer Science
Reo: a channel-based coordination model for component composition

Mathematical Structures in Computer Science
Categories for Software Engineering

Categories for Software Engineering
Modeling component connectors in Reo by constraint automata

Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
Introduction to Automata Theory, Languages, and Computation (3rd Edition)

Introduction to Automata Theory, Languages, and Computation (3rd Edition)
A basic algebra of stateless connectors

Theoretical Computer Science - Algebra and coalgebra in computer science
Connector colouring I: Synchronisation and context dependency

Science of Computer Programming
A perspective on service orchestration

Science of Computer Programming
Automata for Context-Dependent Connectors

COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
From Coordination to Stochastic Models of QoS

COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

In recent years, a promising line of research on formal compositional models for component connectors [3-6, 8, 9] has demonstrated the merits of having connectors as first class concepts, and incrementally increased the expressiveness of the interaction protocols that can be captured compositionally. Typically, in these models connectors are entitled to have their own specification and abstractions. Through composition, just like components, connectors can be combined and yield more sophisticated connectors.