BCool: the Behavioral Coordination Operator Language

Modern devices embed several subsystems with different characteristics that communicate and interact in many ways. This makes its development complex since a designer has to deal with the heterogeneity of each subsystem but also with the interactions among them. To tackle the development of complex systems, Model Driven Engineering promotes the use of various, possibly heterogeneous, structural and behavioral models. In this context, the coordination of behavioral models to produce a single integrated model is necessary to provide support for validation and verification. It allows system designers to understand and validate the global and emerging behavior of the system. In this book, we propose the Behavioral Coordination Operator Language (B-COoL) to reify coordination patterns between specify domains by using coordination operators between the Domain-Specific Modeling Languages used in these domains.