ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

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
@inproceedings{DBLP:conf/adbis/GrauK97,
  author    = {Antonio Grau and
               Mojgan Kowsari},
  title     = {A Validation System for Object Oriented Specifications of Information
               Systems},
  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, http://dblp.uni-trier.de}
}
BibTeX

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

References

[1]
Jonathan P. Bowen, Michael G. Hinchey: Ten Commandments of Formal Methods. IEEE Computer 28(4): 56-63(1995) BibTeX
[2]
...
[3]
Hercules Dalianis: A Method for Validating a Conceptual Model by Natural Language Discourse Generation. CAiSE 1992: 425-444 BibTeX
[4]
...
[5]
...
[6]
...
[7]
...
[8]
Eric Dubois, Philippe Du Bois, Frédéric DuBru: Animating Formal Requirements Specifications of Cooperative Information Systems. CoopIS 1994: 101-112 BibTeX
[9]
...
[10]
...
[11]
...
[12]
...
[13]
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
[14]
...
[15]
Jon Atle Gulla: A General Explanation Component for Conceptual Modeling in CASE Environments. ACM Trans. Inf. Syst. 14(3): 297-329(1996) BibTeX
[16]
David Harel: On Visual Formalisms. Commun. ACM 31(5): 514-530(1988) BibTeX
[17]
David Harel: Biting the Silver Bullet - Toward a Brighter Future for System Development. IEEE Computer 25(1): 8-20(1992) BibTeX
[18]
Peter Hartel: Konzeptionelle Modellierung von Informationssystemen als verteilte Objektsysteme. DISDBIS Vol. 22 Infix Verlag, St. Augustin, Germany 1997, ISBN 3-89601-422-6
BibTeX
[19]
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
[20]
Thorsten Hartmann, Ralf Jungclaus, Gunter Saake: Animation Support for a Conceptual Modelling Language. DEXA 1993: 56-67 BibTeX
[21]
...
[22]
...
[23]
...
[24]
...
[25]
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
[26]
Vali Lalioti, Pericles Loucopoulos: Visualisation for Validation. CAiSE 1993: 143-164 BibTeX
[27]
Peter Gorm Larsen, Nico Plat: Standards for Non- Executable Specification Languages. Comput. J. 35(6): 567-573(1992) BibTeX
[28]
Odd Ivar Lindland, John Krogstie: Validating Conceptual Models by Transformational Prototyping. CAiSE 1993: 165-183 BibTeX
[29]
...
[30]
Antoni Olivé, Maria-Ribera Sancho: Validating Conceptual Specifications Through Model Execution. Inf. Syst. 21(2): 167-186(1996) BibTeX
[31]
Colette Rolland, C. Proix: A Natural Language Approach for Requirements Engineering. CAiSE 1992: 257-277 BibTeX
[32]
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
BibTeX
[33]
...
[34]
...

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
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 22:56:33 2009