dblp.uni-trier.de www.dagstuhl.de www.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}
}

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

References

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

Last update Thu Sep 13 03:00:53 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page