Date : 1994
Type : Livre / Book
Type : Thèse / ThesisLangue / Language : français / French
Systèmes d'exploitation (ordinateurs)
Modélisation des données (informatique)
Résumé / Abstract : CETTE THESE DECRIT LA METHODE GRAICO QUI PERMET DE MODELISER ET DE CONCEVOIR DES SYSTEMES D'EXPLOITATION (SE) DE SYSTEMES DE PRODUCTION. LE SE EST RESPONSABLE DES PRISES DE DECISION COURT ET TRES COURT TERME DONT LA MAJORITE SONT DECLENCHEES SUR EVENEMENT. COMPOSE DE CENTRES D'EXPLOITATION, IL EST DEFINI ET MODELISE SELON TROIS AXES: COORDINATION, SYNCHRONISATION ET COOPERATION. LES OUTILS DE MODELISATIONS DU SYSTEME PHYSIQUE DE PRODUCTION CONDUIT ET DU SYSTEME D'EXPLOITATION ASSURENT, PAR L'INTERMEDIAIRE D'UNE GRAMMAIRE DE SPECIFICATION, LA STRUCTURATION DES CHOIX DE CONCEPTION INFORMATIQUES ET ORGANISATIONNELS. ENFIN, LA DEMARCHE STRUCTURE L'UTILISATION DES OUTILS POUR L'ANALYSE ET LA CONCEPTION DES SYSTEMES D'EXPLOITATION