A Validation System for Object Oriented Specifications of Information Systems.

Antonio Grau, Mojgan Kowsari: A Validation System for Object Oriented Specifications of Information Systems. ADBIS 1997: 249-256
  author    = {Antonio Grau and
               Mojgan Kowsari},
  title     = {A Validation System for Object Oriented Specifications of Information
  booktitle = {Proceedings of the First East-European Symposium on Advances
               in Databases and Information Systems (ADBIS'97), St.-Petersburg,
               September 2-5, 1997. Volume 1: Regular Papers},
  publisher = {Nevsky Dialect},
  year      = {1997},
  pages     = {249-256},
  ee        = {db/conf/adbis/GrauK97.html},
  crossref  = {DBLP:conf/adbis/97},
  bibsource = {DBLP,}


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. Troll is being used to model an industrial project which is called CATC (Computer Aided Testing and Certifying). We show the functionalities of the tools by a simplified example of CATC.

Copyright © 1997 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 2 Issue 5, SSDBM, DBPL, KRDB, ADBIS, COOPIS, SIGBDP" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX


Jonathan P. Bowen, Michael G. Hinchey: Ten Commandments of Formal Methods. IEEE Computer 28(4): 56-63(1995) BibTeX
Hercules Dalianis: A Method for Validating a Conceptual Model by Natural Language Discourse Generation. CAiSE 1992: 425-444 BibTeX
Eric Dubois, Philippe Du Bois, Frédéric DuBru: Animating Formal Requirements Specifications of Cooperative Information Systems. CoopIS 1994: 101-112 BibTeX
Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig, Nikolaos Vlachantonis: A Development Environment for an Object Specification Language. IEEE Trans. Knowl. Data Eng. 7(3): 505-508(1995) BibTeX
Jon Atle Gulla: A General Explanation Component for Conceptual Modeling in CASE Environments. ACM Trans. Inf. Syst. 14(3): 297-329(1996) BibTeX
David Harel: On Visual Formalisms. Commun. ACM 31(5): 514-530(1988) BibTeX
David Harel: Biting the Silver Bullet - Toward a Brighter Future for System Development. IEEE Computer 25(1): 8-20(1992) BibTeX
Peter Hartel: Konzeptionelle Modellierung von Informationssystemen als verteilte Objektsysteme. DISDBIS Vol. 22 Infix Verlag, St. Augustin, Germany 1997, ISBN 3-89601-422-6
Peter Hartel, Grit Denker, Mojgan Kowsari, Maren Krone, Hans-Dieter Ehrich: Information Systems Modelling with TROLL Formal Methods at Work. Inf. Syst. 22(2/3): 79-99(1997) BibTeX
Thorsten Hartmann, Ralf Jungclaus, Gunter Saake: Animation Support for a Conceptual Modelling Language. DEXA 1993: 56-67 BibTeX
Maren Krone, Mojgan Kowsari, Peter Hartel, Grit Denker, Hans-Dieter Ehrich: Developing an Information System Using TROLL: An Application Field Study. CAiSE 1996: 136-159 BibTeX
Vali Lalioti, Pericles Loucopoulos: Visualisation for Validation. CAiSE 1993: 143-164 BibTeX
Peter Gorm Larsen, Nico Plat: Standards for Non- Executable Specification Languages. Comput. J. 35(6): 567-573(1992) BibTeX
Odd Ivar Lindland, John Krogstie: Validating Conceptual Models by Transformational Prototyping. CAiSE 1993: 165-183 BibTeX
Antoni Olivé, Maria-Ribera Sancho: Validating Conceptual Specifications Through Model Execution. Inf. Syst. 21(2): 167-186(1996) BibTeX
Colette Rolland, C. Proix: A Natural Language Approach for Requirements Engineering. CAiSE 1992: 257-277 BibTeX
James E. Rumbaugh, Michael R. Blaha, William J. Premerlani, Frederick Eddy, William E. Lorensen: Object-Oriented Modeling and Design. Prentice-Hall 1991, ISBN 0-13-630054-5

Referenced by

  1. Antonio Grau, Juliana Küster Filipe, Mojgan Kowsari, Silke Eckstein, Ralf Pinger, Hans-Dieter Ehrich: The TROLL Approach to Conceptual Modeling: Syntax, Semantics and Tools. ER 1998: 277-290
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
ACM SIGMOD Anthology: Copyright © by ACM (, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sat May 16 22:56:33 2009