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

      A Validation System for Object-Oriented Specifications of Information Systems

      ,

      Proceedings of the First East-European Symposium on Advances in Databases and Information Systems (ADBIS)

      Advances in Databases and Information Systems

      2-5 September 1997

      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

          In this paper, we present a set of software tools for developing and validating object oriented conceptual models specified in TROLL. TROLL is a formal object-oriented language for modelling information systems on a high level of abstraction. The tools include editors, syntax and consistency checkers as well as an animator which generates executable prototypes from the models on the same level of abstraction. In this way, the model behaviour can be observed and checked against the informal user requirements. After a short introduction in some validation techniques and research questions, we describe briefly the TROLL language as well as its graphical version OMTROLL. We then explain the system architecture and show its functionalities by a simplified example of an industrial application which is called CATC (ComputerAided Testing and Certifying).

          Related collections

          Most cited references 12

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

          On visual formalisms

           David Harel (1988)
            Bookmark
            • Record: found
            • Abstract: not found
            • Book Chapter: not found

            A method for validating a conceptual model by natural language discourse generation

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

              A general explanation component for conceptual modeling in CASE environments

                Bookmark

                Author and article information

                Conference
                September 1997
                September 1997
                : 1-14
                Affiliations
                Inst. for Prog. Languages and Information Systems, Database Group, Technical University Braunschweig

                Braunschweig, Germany
                Article
                10.14236/ewic/ADBIS1997.21
                © Antonio Grau et al. Published by BCS Learning and Development Ltd. Proceedings of the First East-European Symposium on Advances in Databases and Information Systems, (ADBIS'97), St Petersburg

                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/

                Proceedings of the First East-European Symposium on Advances in Databases and Information Systems
                ADBIS
                1
                St Petersburg
                2-5 September 1997
                Electronic Workshops in Computing (eWiC)
                Advances in Databases and Information Systems
                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