RÉSUMÉ

 Nous proposons un cadre générique qui permet de décrire un système
 par une collection de vues traitant chacune d'un aspect statique du
 système. Les vues sont décrites formellement par des graphes avec
 multiplicités sur les arcs (inspirés de la notation UML). Un
 algorithme simple permet de vérifier la cohérence des multiplicités.
 Afin d'exprimer des contraintes de cohérence (intra-vue et
 inter-vues) plus précises, nous proposons un langage de contraintes
 logiques sur les graphes et une procédure de décision complète pour
 ce langage. Les aspects dynamiques du système sont spécifiés par des
 \RRGs et la cohérence entre aspects statiques et dynamiques peut être
 contrôlée. Pour illustrer notre proposition, nous présentons trois
 vues utilisées pour spécifier un système de contrôle d'accès et nous
 donnons des exemples de vérifications de propriétés de cohérence
 intra et inter-vues.

 MOTS-CLÉS

   spécifications graphiques, vues multiples, diagrammes
   entités-relations avec multiplicités, vérification de cohérence de
   vues, UML.


 ABSTRACT

 In this paper, we propose a framework to describe a system as a
 collection of views; each view deals with one static aspect of the
 system. We provide a formal definition of views described as graphs
 with multiplicities (inspired from UML diagrams), and we propose a
 simple algorithm to check the multiplicity consistency. We also put
 forward a simple language of constraints to express more precise
 (intra-view and inter-view) consistency requirements. A complete
 decision procedure allows us to decide whether diagrams satisfy a
 given constraint expressed in this language. Dynamic aspects of the
 system are expressed using graph rewrite rules and consistency
 between static and dynamic aspects can be checked. Our framework is
 illustrated with excerpts of a case study: the specification of an
 access control system.

 KEYWORDS

   graphical specifications, multiple views, entity-relationship
   diagrams with multiplicities, view consistency checking, UML.