220
views
0
recommends
+1 Recommend
1 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Checking the Consistency of UML Class Diagrams Using Larch Prover

      , , ,

      Rigorous Object-Oriented Methods 2000 (ROOM)

      Rigorous Object-Oriented Methods

      17 January 2000

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          The Unified Modeling Language (UML) has been designed to be a full standard notation for Object-Oriented Modelling. UML is a rather complete set of notations, but it lacks of formal semantics. This article introduces formal semantics for UML based on algebraic abstract data types. We currently consider only class and object diagrams. These diagrams include class structures, associations, multiplicities, constraints, instances as well as specialization relationships. We give a formal semantics for each of these elements by interpreting the structure of a class as an abstract data type, associations as values of type Association, and specialization as structural projection. We show that a tool like Larch Prover is able to support proofs over UML diagrams. We use the critical pair computation to find out inconsistencies. Several different inconsistencies of class diagrams are shown on a library example.

          Related collections

          Most cited references 5

          • Record: found
          • Abstract: not found
          • Book Chapter: not found

          An overview of LP, the Larch Prover

            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Unifying Class-Based Representation Formalisms

              Bookmark
              • Record: found
              • Abstract: not found
              • Conference Proceedings: not found

              A simple technique for handling multiple polymorphism

                Bookmark

                Author and article information

                Conference
                January 2000
                January 2000
                : 1-16
                Affiliations
                IRIN - Université de Nantes

                Nantes, France
                Ecole des Mines de Nantes

                Nantes, France
                Article
                10.14236/ewic/ROOM2000.1
                © Pascal André et al. Published by BCS Learning and Development Ltd. Rigorous Object-Oriented Methods 2000

                This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

                Rigorous Object-Oriented Methods 2000
                ROOM
                York, UK
                17 January 2000
                Electronic Workshops in Computing (eWiC)
                Rigorous Object-Oriented Methods
                Product
                Product Information: 1477-9358BCS Learning & Development
                Self URI (journal page): https://ewic.bcs.org/
                Categories
                Electronic Workshops in Computing

                Comments

                Comment on this article