Technologies du logiciel

From Eric

(Difference between revisions)
Jump to: navigation, search
m (Quelques infos sur les technologies du logiciel)
m
Line 1: Line 1:
== UML et ses déclinaisons, dialectes, utilisations ==
== UML et ses déclinaisons, dialectes, utilisations ==
 +
 +
=== GIT ===
 +
==== Installation ====
 +
Pas de problème particulier : suivre les indications du site. Installer aussi "Gitosis".
 +
 +
L'installation de git et gitosis achevées, il faut déclarer les utilisateurs et les projets.
 +
Un utilisateur ne peut utiliser git que si sa clef publique est installée dans gitosis.
 +
 +
La création de la paire (clé privée, clef publique) s'effectue avec la commande suivante :
 +
ssh-keygen -t rsa -C "username@usermachine"
 +
Cette commande crée un fichier nommé "id_rsa.pub" qui contient la clef publique de l'utilisateur? C'est ce fichier qu'il faudra copier sur le serveur, dans le répertoire "gitosis_admin" (voir plus loin).
 +
 +
  sudo -H -u git gitosis-init < .ssh/id_rsa.pub
 +
  sudo chmod 755 /home/git/repositories/gitosis-admin.git/hooks/post-update
 +
On clone le repository
 +
  git clone git@192.168.0.4:gitosis-admin.git
 +
  cd gitosis-admin/
 +
On place l'ensemble des clefs publiques des utilisateurs :
 +
  mv ~clef_publique_eric.pub keydir
 +
  sudo mv  /srv/samba/share/_Electronic/id_rsa.pub eric.pub
 +
On rajoute les projets et les utilisateurs. Voici un exemple de fichier :
 +
  emacs gitosis.conf
 +
 +
Ce fichier contient la déclaration des utilisateurs et des projets (entre autres...) :
 +
[gitosis]
 +
 +
[group gitosis-admin]
 +
members = eric@file-server
 +
writable = gitosis-admin
 +
 +
[group home]
 +
members = eric@file-server username@usermachine
 +
writable = Dvpmt
 +
writable = Propeller
 +
 +
On valide les modifications :
 +
  git commit -a -m "Created project and groups"
 +
  git push
 +
 +
==== Authentification d'un utilisateur ====
 +
Pour pouvoir accéder aux repository, un utilisateur doit avoir sa clef publique installée dans le reposiroty de GITOSIS.
 +
 +
==== Création et publication d'un projet ====
 +
 +
Les commande suivantes créées le projet "Propeller" et y ajoute le fichier "README". Ces commandes supose que l'utilisateur a installé sa clef privées sur le serveur ('ici, la machine 192.168.0.4).
 +
 +
mkdir Propeller
 +
cd Propeller/
 +
git init
 +
git remote add origin git@192.168.0.4:Propeller.git
 +
touch README
 +
git add README
 +
git commit -a -m 'Creation'
 +
git push origin master:refs/heads/master
 +
 +
=== Ocaml ===
=== Ocaml ===

Revision as of 14:37, 17 February 2012

Contents

UML et ses déclinaisons, dialectes, utilisations

GIT

Installation

Pas de problème particulier : suivre les indications du site. Installer aussi "Gitosis".

L'installation de git et gitosis achevées, il faut déclarer les utilisateurs et les projets. Un utilisateur ne peut utiliser git que si sa clef publique est installée dans gitosis.

La création de la paire (clé privée, clef publique) s'effectue avec la commande suivante : 

ssh-keygen -t rsa -C "username@usermachine"

Cette commande crée un fichier nommé "id_rsa.pub" qui contient la clef publique de l'utilisateur? C'est ce fichier qu'il faudra copier sur le serveur, dans le répertoire "gitosis_admin" (voir plus loin). 

 sudo -H -u git gitosis-init < .ssh/id_rsa.pub
 sudo chmod 755 /home/git/repositories/gitosis-admin.git/hooks/post-update

On clone le repository 

 git clone git@192.168.0.4:gitosis-admin.git
 cd gitosis-admin/

On place l'ensemble des clefs publiques des utilisateurs : 

 mv ~clef_publique_eric.pub keydir
 sudo mv  /srv/samba/share/_Electronic/id_rsa.pub eric.pub

On rajoute les projets et les utilisateurs. Voici un exemple de fichier : 

 emacs gitosis.conf

Ce fichier contient la déclaration des utilisateurs et des projets (entre autres...) : 

[gitosis]

[group gitosis-admin]
members = eric@file-server
writable = gitosis-admin

[group home]
members = eric@file-server username@usermachine
writable = Dvpmt
writable = Propeller

On valide les modifications : 

 git commit -a -m "Created project and groups" 
 git push

Authentification d'un utilisateur

Pour pouvoir accéder aux repository, un utilisateur doit avoir sa clef publique installée dans le reposiroty de GITOSIS.

Création et publication d'un projet

Les commande suivantes créées le projet "Propeller" et y ajoute le fichier "README". Ces commandes supose que l'utilisateur a installé sa clef privées sur le serveur ('ici, la machine 192.168.0.4). 

mkdir Propeller
cd Propeller/
git init
git remote add origin git@192.168.0.4:Propeller.git
touch README
git add README
git commit -a -m 'Creation'
git push origin master:refs/heads/master


Ocaml

  • Un parseur XML simple et efficace en ocaml :xml-light.

UML et les langages d'action

  • Concernant une définition de la sémantique d'exécution d'UML, voir fUML. Le langage d'action correspondant (c'est-à-dire s'appuyant sur fUml) s'appelle Alf, il est en cours de standardisation par l'OMG (voir le draft). Plusieurs présentations d'Ed Seidewitz décrivent l'objectif d'Alf et ses relations avec fUMl.
Retrieved from "http://ejenn.free.fr/index.php?title=Technologies_du_logiciel"
Personal tools