A Validation System for Object-Oriented Specifications of Information Systems

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).

Conference

Publication date: September 1997

Publication date (Print): September 1997

Pages: 1-14

Affiliations

Inst. for Prog. Languages and Information Systems, Database Group, Technical University Braunschweig

Braunschweig, Germany

Article

DOI: 10.14236/ewic/ADBIS1997.21

Copyright statement: © 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

License:

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/

Conference name: Proceedings of the First East-European Symposium on Advances in Databases and Information Systems

Conference acronym: ADBIS

Conference number: 1

Conference location: St Petersburg

Conference date: 2-5 September 1997

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Advances in Databases and Information Systems

Product

Product Information: 1477-9358BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/ADBIS1997.21

Self URI (journal page): https://ewic.bcs.org/

Categories

Series title: Electronic Workshops in Computing