Restructuring Paradigm Models for the ToolBus Architecture: A Case Study

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.

[1]  Alessandro Ricci,et al.  Instructions-based semantics of agent mediated interaction , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[2]  Gregor Engels,et al.  SOCCA: Specifications of Coordinated and Cooperative Activities , 1994 .

[3]  Jan A. Bergstra,et al.  The TOOLBUS Coordination Architecture , 1996, COORDINATION.

[4]  Juan Carlos Augusto,et al.  A temporal logic view of paradigm models , 2002, SEKE '02.

[5]  Rance Cleaveland,et al.  The Concurrency Factory Software Development Environment , 1996, TACAS.

[6]  Nicholas Carriero,et al.  Coordination languages and their significance , 1992, CACM.

[7]  Bashar Nuseibeh,et al.  Software process modelling and technology , 1994 .

[8]  Rance Cleaveland,et al.  Architectural interaction diagrams: AIDs for system modeling , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..

[9]  Jeff Magee,et al.  Modelling for Mere Mortals , 1999, TACAS.

[10]  Erik P. de Vink,et al.  Operational Semantics for Coordination in Paradigm , 2002, COORDINATION.

[11]  Alessandro Ricci,et al.  Integrating and Orchestrating Services upon an Agent Coordination Infrastructure , 2003, ESAW.

[12]  Hassan Gomaa,et al.  A reusable architecture for federated client/server systems , 1999, SSR '99.

[13]  Rance Cleaveland,et al.  Generic tools for verifying concurrent systems , 2002, Sci. Comput. Program..

[14]  Paul Klint,et al.  ToolBus: The Next Generation , 2002, FMCO.

[15]  Erik P. de Vink,et al.  Delegation Modeling with Paradigm , 2005, COORDINATION.

[16]  Paolo Ciancarini,et al.  On the formalization of architectural types with process algebras , 2000, SIGSOFT '00/FSE-8.

[17]  Sebastián Uchitel,et al.  Software Architecture Modeling & Analysis: A Rigorous Approach , 2003, SFM.