Définition d’un style architectural pour la description de systèmes logiciels à base de composants de type COTS, selon une approche « services WEB »

MANSOURI, Kamel (2005) Définition d’un style architectural pour la description de systèmes logiciels à base de composants de type COTS, selon une approche « services WEB ». Magister thesis, Université de Batna 2.

[img]
Preview
Text
MANSOURI Kamel.pdf

Download (1MB) | Preview

Abstract

The development of big software applications is oriented toward the integration or interoperation of existing software components (like COTS and legacy systems) . This tendency is accompanied by a certain number of drawbacks for which classical approaches in software composition cannot be applied and fail. COTS-based systems are built in ad-hoc manner and it is not possible to reason on them no more it is possible to demonstrate if such systems satisfy important properties like Quality Of Service and Quality Attributes. The recent works issued in web field allow the definition and the use of a complex web service architecture. Languages such as WSFL, XLANG and BPEL4WS support these architectures called Services Oriented Architectures. The definition of software systems using these languages benefits some existing technical solutions such as SOAP, UDDI, etc., that permit the distribution, the discovery and the interoperability of web services. However, these languages do not have any formal foundation. One cannot reason on such architectures expressed using such languages: properties cannot be expressed and the system dynamic evolution is not supported. On the other hand, software architecture domain aims at providing formal languages for the description of software systems allowing to check properties (formal analyses) and to reason about software architecture models. In this work, we proposes a formalisation of COTS-based system (their structure, their behaviours) using architectural styles. The ADL used is π- ADL (based on the π-calculus, supporting style description). The memory will also present our approach consisting in refining an abstract architecture to an executable and services-oriented one.

Item Type: Thesis (Magister)
Uncontrolled Keywords: COTS-based system, software architecture, styles, services oriented architecture.
Subjects: Informatique
Divisions: Faculté des mathématiques et de l'informatique > Département d'informatique
Date Deposited: 31 May 2016 14:34
Last Modified: 01 Aug 2016 08:28
URI: http://eprints.univ-batna2.dz/id/eprint/65

Actions (login required)

View Item View Item