An Orchestrator for Dynamic Interconnection of Software Components

Authors:
Marco Antonio Barbosa;Luís Soares Barbosa
Affiliations:
Departamento de Informática, Universidade do Minho, Braga, Portugal;Departamento de Informática, Universidade do Minho, Braga, Portugal
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2007

Citing 17
Cited 3

Systematic software development using VDM

Systematic software development using VDM
The Z notation: a reference manual

The Z notation: a reference manual
Coordination languages and their significance

Communications of the ACM
A calculus of mobile processes, II

Information and Computation
The B-book: assigning programs to meanings

The B-book: assigning programs to meanings
Algebra of programming

Algebra of programming
Specification of abstract dynamic-data types: a temporal logic approach

Theoretical Computer Science - Special issue: algebraic development techniques
Connectors for Mobile Programs

IEEE Transactions on Software Engineering
Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
Universal coalgebra: a theory of systems

Theoretical Computer Science - Modern algebra and its applications
Communication and Concurrency

Communication and Concurrency
Mobile Computation with Functions

Mobile Computation with Functions
Introduction to Functional Programming

Introduction to Functional Programming
Focusing on Mobility

HICSS '99 Proceedings of the Thirty-second Annual Hawaii International Conference on System Sciences-Volume 8 - Volume 8
π-ADL: an Architecture Description Language based on the higher-order typed π-calculus for specifying dynamic and mobile software architectures

ACM SIGSOFT Software Engineering Notes
Reo: a channel-based coordination model for component composition

Mathematical Structures in Computer Science
Specifying software connectors

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

Towards a Coordination Model for Interactive Systems

Electronic Notes in Theoretical Computer Science (ENTCS)
A perspective on service orchestration

Science of Computer Programming
Dynamic Consistency in Process Algebra: From Paradigm to ACP

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Composing and orchestrating software components is a fundamental concern in modern software engineering. This paper addresses the possibility of such orchestration being dynamic, in the sense that the structure of component's interconnection patterns can change at run-time. The envisaged approach extends previous work by the authors on the use of coalgebraic models for the specification of software connectors.