Spécification Formelle des Systèmes d'information

Abstract

Les données prennent une grande importance au sein des entreprises, et leur vo- lume ne cesse de s’accroı̂tre d’une façon exponentielle. De plus les données sont devenues le capital des entreprises et en même temps une ressource précieuse qu’il faut maintenir et protéger. Les système d’information sont construit au tour des données, en proposant une architecture adéquate composée d’un ensemble de ressources matérielles et immatérielles, avec des objectifs précis et permettent de collecter, stocker , traiter et publier les données sous forme compréhensible et facile à interpréter. Le présent polycopié est le support de cours : ”Spécification Formelle des Systèmes d’Information (SFSI)” destiné pour la première année Master de la spécialité Système d’Information et Données (SID) au département informatique à l’Université des Sciences et de la Technologie d’Oran Mohamed-Boudiaf USTOMB . Ce manuscrit se focalise sur les différentes méthodes de conception des SI qualifiées de formelles telles que : NIAM, Express-G et Z utilisant un formalisme mathématique et parfois logique. D’autre part d’autres méthodes sont explorées utilisant une notation visuelle (graphique) basée sur des diagrammes. En effet ces méthode sont qualifiées d’être Semi-Formelle, les méthodes utilisant le concept Objet font partie de cette catégorie telles que : OMT, OOD, OOSE, et UML.