Voir unité "Quelques exemples d'élaboration de modèles conceptuels".
Utilisateur d'un système d'information, mais qui peut aussi être modélisé comme un objet dans un modèle conceptuel
Auteur de méthodes de spécification formelle, qui a donné son nom à cette méthode. Co-auteur de la méthode UML
Voir l'unité "Le concept d'objets dans les logiciels de DAO, CAO et de calcul".
Dans un modèle conceptuel, c'est une classe (unique) d'objets pertinente pour décrire le système d'information et son organisation sémantique.
Voir unité "Se comprendre autour d'un système d'information".
En spécification formelle, une contrainte s'applique pour filtrer la mise en relation entre les objets des deux concepts en présence.
Voir l'unité "Quelques exemples d'élaboration de modèles conceptuels".
Pour un développement d'un logiciel, ensemble des étapes de transformation, de traitement et d'exploitation du système
Voir l'unité "Quelques exemples d'élaboration de modèles conceptuels".
Action brusque qui n'a pas de durée, déclenchée par toute cause intérieure ou extérieure au système d'information.
Langage formel normalisé, pour décrire la structure de bases de données orientées objets. EXPRESS est un outil de STEP.
Le C.S.T.B. a développé un traducteur de schémas NIAM, qui produit des instructions EXPRESS.
Formalisme graphique pour décrire une structure de base de données, comme pour NIAM. L'avantage d'EXPRESS-G sur NIAM est qu'il constitue un outil de STEP, qui permet immédiatement d'obtenir une traduction de la base de données, en langage EXPRESS.
Inconvénient : il est moins pédagogique que NIAM. EXPRESS-G est donc réservé aux informaticiens
Professeur à l'université de Nantes, auteur de nombreux ouvrages sur la spécification formelle et la méthode NIAM.
Voir l'unité "Comprendre et échanger les vues métiers du bâtiment".
Dans un modèle, propriété d'une paroi : en tout point de sa surface, les propriétés géométriques, fonctionnelles et physiques sont constantes.
Voir l'unité "Le concept d'objet dans les logiciels de DAO, CAO et de calcul".
Dans un LOO, et dans les IFC, mécanisme qui permet à des objets d'une sous-classe de bénéficier des propriétés des classes "parents"
Voir l'unité "L'IAI et les IFC : introduction".
Terme utilisé dans la méthode de spécification NIAM : information mettant en jeu une seule relation (ensembliste) entre deux concepts.
Industry Foundation Classes : Classes d'objets fondamentaux dans le domaine de l'AEC, utilisés dans le modèle conceptuel et le modèle physique des données pour les échanges EDI proposés par IAI.
Elément intermédiaire entre deux logiciels pour permettre le transfert de données. Pose des problèmes de sémantique et de formats
Auteur de méthodes de spécification formelle, inventeur des « Case-Use », co-auteur de la méthode UML.
Voir unité "Comprendre et échanger les vues métiers du Bâtiment".
Espace mesurable délimité par des murs, planchers, plafonds ou toitures qui peuvent être matériels ou virtuels. Pièce et ses regroupements.
Voir unité "Se comprendre autour d'un système d'information".
Dans NIAM, abréviation de Lexical Object Type, c'est à dire désigne les occurrences, ou ensemble d'objets identifiés chacun par leur nom
Ce terme est développé dans l'unité "Le concept d'objet dans les logiciels de DAO, CAO et de calcul".
Description formelle des concepts véhiculés dans un modèle de base de données, focalisée sur l'aspect sémantique (statique) du système d'information.
"Nijssen Information Analysis Method". Méthode de spécification formelle de données, utilisable dans n'importe quel domaine pour décrire sans ambiguïté une organisation de concepts, d'objets, y compris les relations et attributs associés. Cette méthode est normalisée (STEP et ISO en 1983)
Voir unité "Se comprendre autour d'un système d'information".
Dans NIAM, abréviation de Non Lexical Object Type, c'est à dir désigne un Concept, ou une classe d'objets sans préciser ses occurrences.
Voir unité "Se comprendre autour d'un système d'information".
Objet abstrait servant à modéliser l'enveloppe d'un local. Les nus de locaux s'appuient sur les composants séparatifs.
Voir l'unité "Le concept d'objet dans les logiciels de DAO, CAO et de calcul".
Nomme indifféremment un type d'objet, ou une occurrence de la classe.
Voir "Orienté Objet" et "Occurence (ou instance)".
Voir unité "Se comprendre autour d'un système d'information"
Dans NIAM, traduction en langue naturelle d'une idée. Une idée se décompose en deux phrases élémentaires, chacune pour un sens de la relation.
Voir l'unité "L'IAI et les IFC : introduction".
Dans un LOO, et dans les IFC, une propriété qualifie un objet d'une classe : propriété propre, ou propriété contextuelle.
Voir l'unité "L'IA et les IFC : introduction".
Dans un LOO, et dans les IFC, une relation est un lien formel entre deux objets de même classe ou de classe différentes, ou avec une autre relation.
En spécification formelle, et surtout dans NIAM, un rôle formalise l'expression d'une relation orientée entre deux concepts.
Voir l'unité "Se comprendre autour d'un système d'information".
Autre nom pour désigner la décomposition des concepts en une arborescence de relations d'héritage. Encore appelée "Spécialisation".
La définition de "Spécialisation" dans le dictionnaire est :
Voir unité "L'IAI et les IFC : introduction".
Définir dessous-classes d'objets à partir d'une classe (dite Parent). Des exemples sont fréquents dans une arborescence d'héritage.
Voir l'unité "Se comprendre autour d'un système d'information".
Décrire sans ambiguïté un modèle conceptuel, en général au moyen d'une méthode ou d'un langage, comme NIAM, UML, EXPRESS-G, ...
Voir unité "Pourquoi inventer des modèles pour la construction ?".
Ensemble des logiciels et des acteurs qui exploitent la connaissance modélisée d'un objet complexe, réduit à différents points de vue.
Voir unité "Se comprendre autour d'un système d'information".
Indique que dans une relation orientée tous les objets de l'ensemble de départ sont concernés. Se traduit par "Tout objet" ou "Chaque objet".
Voir unité "Quelques exemples d'élaboration de modèles conceptuels".
Conserver la continuité du cheminement de la transformation d'une information dans le développement d'un modèle, à toutes ses étapes
Unified Modeling Language, méthode de spécification formelle résultat d'une synthèse entre les trois méthodes OMT, Booch et OOSE
Indique que dans une relation orientée les objets de l'ensemble de départ ne sont liés qu'à un seul objet de l'ensemble d'arrivée.
