Authors:
C. Bouanaka
;
A. Choutri
and
F. Belala
Affiliation:
Mentouri University, Algeria
Keyword(s):
Tile Logic, Software Architecture, Architecture Description Languages, Synchronization, Dynamic connection.
Related
Ontology
Subjects/Areas/Topics:
Applications and Software Development
;
Component-Based Software Engineering
;
Embedded Communications Systems
;
Model-Driven Software Development
;
Software Architectures
;
Software Engineering
;
Telecommunications
Abstract:
Tile logic, an extension of rewriting logic, where synchronization, coordination and interaction can be naturally expressed, is showed to be an appropriate formal semantic framework for software architecture specification. Based on this logic, we define a notion of dynamic connection between software components. Then, individual components are viewed as entirely independent elements and free from any static interconnection constraints. We also fill out the usual component description, expressed in terms of Provided/Required services, with functionalities specification of such services. Starting from State/Transition UML diagrams, representing requirements of the underlying distributed system, our objective consists of offering a common semantic framework for architectural description as well as behavioural specification of that system. Direct consequences of the proposed approach are dynamic reconfiguration and components mobility which become straightforward aspects. A simple, but c
omprehensive, case study, the collaborative application session, is used to illustrate all stages of our proposed approach.
(More)