Software architectures are often abstracted as a combination of reusable components connected to each other by various means. Specifications of components' semantics have been widely studied and many modeling languages have been proposed from coarse-grained loosely-defined elements to operational objects with behavioral semantics that may be generated and executed in a dedicated framework. All these modeling facilities have proven their advantages in many domains through either case studies or real-world applications. However, most of those approaches either consider a subset of composition facilities, i.e. The available types of bindings between components, or do not even consider communication properties at all, staying at behavioral-related compatibility between components. Verifications of communication-related properties are then postponed to the hand of software developers and finally considered at deployment-time only. Part of a general architecture framework, we propose an abstraction formalism to specify communication paths between components. This modeling facility relies on a taxonomy of types of links and the specifications of communication protocols. This protocol serves as a reification element between abstract component compositions, architecture instances and deployment infrastructure, making explicit communication-related constraints and properties.
|titre||MODELSWARD 2016 - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development|
|Nombre de pages||8|
|Etat de la publication||Publié - 2016|
|Evénement||4th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2016 - Rome, Italie|
Durée: 19 févr. 2016 → 21 févr. 2016
|Une conférence||4th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2016|
|période||19/02/16 → 21/02/16|