Beruflich Dokumente
Kultur Dokumente
I. Gnralits
1. Introduction
De manire gnrale une spcification dcrit les caractristiques attendues (le quoi) dune implantation (le comment). Il est souhaitable quune spcification soit claire, comprhensible et non ambigu. Les descriptions en langue naturelle manquent souvent de prcision. Les spcifications doivent aussi tre cohrentes (pas de contradictions) et compltes.
c. Mthodes formelles Spcifications exprimes l'aide de langages qui s'appuient sur des techniques de transformation et de vrification mathmatique Machine tats finis : Automates Rseaux de Ptri / Grafcet : Logiciels industriels Langage Z ou VDM : "Mta-langages"
1. ER
Il sagit dune technique semi formelle et dclarative. Ses schmas permettent de spcifier la structure des donnes et de leurs relations, ce qui nest fait ni dans les DFD, ni dans les modles orients contrle. Les concepts du modle de base sont : - les entits - les associations (ou relations) - les attributs (ou proprits)
2. DFD
Cest une mthode semi-formelle et oprationnelle. La reprsentation graphique classique distingue : - les fonctions par des cercles - les stockages par des botes ouvertes - les flots par des flches - les entits externes par des rectangles Au niveau le plus abstrait, on peut se contenter des entits linterface (acteurs) et des flots quils schangent, sans dcomposition en fonctions. On parle alors de diagramme de contexte. En faisant apparatre les fonctions et en les raffinant de plus en plus, on obtient des DFD diffrents niveaux dabstraction.
4. Les RDPs
Cette technique formelle et oprationnelle est particulirement bien adapt pour dcrire le comportement des systmes asynchrones avec des volutions parallles. Un RdP est constitu de: - un ensemble fini de places (graphiquement des cercles), - un ensemble fini de transitions (graphiquement des barres), - un ensemble fini de flches, connectant soit des places des transitions, soit des transitions des places.
5. La mthode formelle Z
Cest un langage formel qui utilise : - les notions ensemblistes, le calcul des propositions (et, ou, non, implication, etc.) et des prdicats (quantificateurs : existentiel (il existe) et universel (quel que soit) - les relations (partie du produit cartsien de plusieurs ensembles) et fonctions (relations avec au plus une image par valeur du domaine de dfinition), - les squences ou suites (fonctions des entiers naturels dans un autre ensemble pour imposer un ordre aux valeurs).
systme client/serveur (2 niveaux ou 2 'tiers') : - Le serveur gre les donnes (BD et gestionnaire de BD). - Les clients grent la prsentation et la logique des traitements; ils adressent des requtes au serveur et reoivent des rsultats (ex: requtes SQL vers Oracle, SQL server, ). On parle de "clients lourds" ('fat clients').
systmes 3 niveaux (ou 3 'tiers') : - Les clients lgers ne s'occupent que de la prsentation. - La logique de l'application est gre sur un "serveur d'application" qui lui mme adresse des requtes au "serveur des donnes" (BD + gestionnaire de BD). - Il peut arriver que les 2 serveurs soient sur la mme machine physique. Un exemple d'architecture 3 niveaux :
6
- Client lger = navigateur Web (applet, javascript, ...) - Serveur d'application = serveur http + CGI, servlets, JSP, ASP, PHP, - Serveur de donnes = Oracle, SQL Server, MySQL, SGBDOO, ...
systmes n niveaux (ou 'n tiers') : le serveur d'application fait appel aux services de +ieurs autres serveurs (d'applications ou de donnes).
Le choix de la technologie de communication entre les composants est important. On utilise largement aujourd'hui du 'middleware', c'est dire des technologies de support la distribution : - Sockets (niveau bas TCP ou UDP) - RMI (couche java au dessus des sockets) - CORBA ("bus logiciel" pour des objets rpartis - multi langages) - Appel de procdures distances en format XML (protocole SOAP). Cette technologie constitue la base des Web services. Les Web services constituent une technologie permettant de composer des applications partir dun ensemble de services distribus sur Internet.
Les Web services concernent des fournisseurs de services, des demandeurs de services mis en relation, dynamiquement, via un annuaire de services (service registry). Tous les protocoles reliant ces acteurs sont base dXML : - SOAP (appel de procdures), - WSDL (Web service description language), - UDDI (Universal description Discovery Integration).
V. Conclusion
Les mthodes de conception permettent de spcifier des solutions aux problmes spcifis grce des mthodes danalyse. Souvent les techniques de spcifications se compltent, en dcrivant des vues complmentaires dun systme (par exemple DFD + EA + digrammes dtats). La phase de conception concerne, la description prliminaire de larchitecture de lapplication (logicielle et physique) ainsi que la description dtaille des modules, des algorithmes, des interfaces utilisateurs, des donnes, ... Les aspects de la conception dtaille sont assez dpendants des techniques de mises en oeuvre que lon prvoit dutiliser.