Specification and design of component-based coordination systems by integrating coordination patterns

Authors:
Pedro L. Pérez-Serrano;Marisol Sánchez-Alonso
Affiliations:
University of Extremadura, Escuela Politécnica, Cáceres (Spain);University of Extremadura, Escuela Politécnica, Cáceres (Spain)
Venue:
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
Year:
2005

Citing 3
Cited 1

Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
The Unified Modeling Language reference manual

The Unified Modeling Language reference manual
The IWIM Model for Coordination of Concurrent Activities

COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models

COPA-CASE: methodological environment for the generation, application and validation of coordination patterns

OTM'07 Proceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems - Volume Part I

Quantified Score

Hi-index	0.00

Visualization

Abstract

Rewriting logic has been revealed as a powerful tool to represent concurrent and state-transitions aspects in a declarative way, providing an adequate environment to specify and execute system representations. Moreover, rewriting logic is reflective, allowing for the definition of operations that transform, combine and manipulate specification modules by making use of the logic itself. Taking advantage of these capabilities, this paper presents a set of tools based on the rewriting logic language Maude to express the specifications of component-based systems with important coordination constraints, where coordination aspects are treated as separate components from functional ones. This representation allows for the testing of the system behavior from the early stages in the development process by executing the specifications. In addition, the development of basic coordination patterns using UML is presented to describe the coordination relationships between components in any system, providing a standard notation that complements the tools of the proposal.