Restructuring Paradigm Models for the ToolBus Architecture: A Case Study

Authors:
A. W. Stam;L. P. J. Groenewegen;E. P. de Vink
Affiliations:
LIACS, Leiden University, The Netherlands;LIACS, Leiden University, The Netherlands;LIACS, Leiden University, The Netherlands and Dept of Math. and Comp. Sc., TU/e, Eindhoven, The Netherlands
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2006

Citing 11
Cited 0

Coordination languages and their significance

Communications of the ACM
SOCCA: Specifications of Coordinated and Cooperative Activities

Software process modelling and technology
A reusable architecture for federated client/server systems

SSR '99 Proceedings of the 1999 symposium on Software reusability
On the formalization of architectural types with process algebras

SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
A temporal logic view of paradigm models

SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
The Concurrency Factory Software Development Environment

TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
The TOOLBUS Coordination Architecture

COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
Operational Semantics for Coordination in Paradigm

COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Architectural Interaction Diagrams: AIDs for system modeling

Proceedings of the 25th International Conference on Software Engineering
Instructions-Based Semantics of Agent Mediated Interaction

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Delegation modeling with paradigm

COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we report on an implementation case study regarding the coordination description language Paradigm. We show how to restructure existing Paradigm models to facilitate their efficient implementation on a software coordination architecture like the ToolBus. The restructuring is in part achieved by transforming hierarchical manager-employee relations into symmetric mutual control and by exploiting structural component similarities. On top of this, we introduce the coordinator-weaver-performer pattern, which combines local separation of coordination and computation with a globally endogenous coordination strategy. The approach is illustrated for a generic servicing example.