The aim of this tutorial is to present the theory and practice of coordination technologies, collection of modelling primitives and design principles developed for providing systems with the agility that is required to operate in turbulent environments and adapt very quickly to new business requirements. The first part the tutorial will present this collection of primitives and associated methodology, while the second part will address their mathematical semantics.
In the first part of the tutorial, the participants will be exposed to a new modelling primitive (coordination contract) that has proved to be highly effective forcontrolling the complexity of system design evolution. They will learn how to use it to externalise embedded coordination directives, ending-up with systems that can evolve simply by adding, removing or replacing interconnections without having to change the other components. Because the concept of contact is intrinsically language-independent, and an implementation is provided through a design pattern, the participants will be able to practice these solutions in their working environnments.
In the second part of the turial, the goal is that the participants realise that a mathematical approach to the conceps and methods proposed in the first part is not only possible but it also provides a foundation for automated support to architectural design through interconnection, (re)configuration, instantiation, and composition of (possibly heterogeneous) components and (higher-order) connectors. Besides, the approach is intuitive, painless and, yes fun!