Abstract
This paper presents the interim results of a research project aimed at the prototyping of an automatic tool, Rubis, to aid in the development of, validate and correct the conceptual specification of information systems.
The Rubis systems allows a designer to specify an information system using the Proquel language and to subsequently execute the specification in order to prototype the design.
We present the control rules which enable the diagnosis of the final specification, called an R-Schema, and describe the help available to assist the designer in correcting mistakes and anomalies detected during the diagnosis.
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
BARNES J.: "Programmer en ADA", InterEditions (ed), 1988.
BERTHOMIEU B. " Analyse structurelle des réseaux de PETRI: méthodes et outils", Thèse de Docteur Ingénieur, Toulouse, 1979.
BOOCH G.: "Ingéniérie du logiciel avec ADA, InterEditions (ed), 1988.
BOUFARES F., ELKABBAT J., JOMIER G., OUNALLY H.: " Le système de Bases de Données Relationnelles PEPIN3", Rapport de Recherche ISEM No34, Univ. PARIS SUD, Mai 1986.
BRAHMS: " Théorie et pratique des réseaux de PETRI", Masson (ed) 1983.
BRODIE M.L., SILVA E.: "Active and Passive Component Modelling: ACM/PCM", in [CRI.82].
BRODIE M.L.: "On the development of Data Models", in On Conceptual Modelling, Perspectives from Artificial Intelligence, Databases, and Programming Languages, Edited by Brodie M.L., Mylopoulos J., Smidt J.W., Springer-verlag, 1983.
CAUVET C.: " Un modèle et un outil d'aide à la conception des systèmes d'information ", Thèse de doctorat de l'université Paris VI, 1988.
" Information Systems Design Methodologies: a comparative Review", Olle T.W., Sol H.G., Verrijn-Stuart A.A. (eds), North-Holland (pub), 1982.
LEFEVRE J.M.: " Guide pratique de l'E.A.O.", Cedric Nathan, 1984.
LINGAT J-Y., COLIGNON P., ROLLAND C.: "Rapid Prototyping: the PROQUEL Language", Proc. of the 14 th VLDB Conference, Los Angeles, 1988.
LINGAT J-Y: " RUBIS: un système pour la spécification et le prototypage d'applications Bases de Données ", Thèse de doctorat de l'université Paris VI, 1988.
MEYER: " Objected-Oriented Software Construction ", Interactive Software Engineering, 1988.
NICAUD J.F., VIVET M.: "Les tuteurs intelligents: réalisation et tendances de recherche", TSI Vol 7, 1988.
NOBECOURT P., ROLLAND C., LINGAT J-Y.: " Temporal Management in an Extended Relational system", BNCOD6. Conference, England, July 1988.
ROLLAND C., RICHARD C.: " The REMORA Methodology for Informatiion systems Design and Management " in [CRI.82].
ROLLAND C., FOUCAUT O., BENCI G.: " Conception des systèmes d'information: la méthode REMORA ", Eyrolles (ed), 1987.
ROLLAND C., CAUVET C., NOBECOURT P., PROIX C., COLIGNON P., LINGAT J-Y., SOUVEYET C.: " The RUBIS system ", CRIS88, Computerized Assistance during the Information System Life Transition, September 1988.
SMITH J.M., SMITH D.C.P.: " Database Abstractions: Aggregation", Comm. of ACM, Vol 10, no6, 1977.
SMITH J.M., SMITH D.C.P.: " Database Abstractions: Aggregation and generalization", ACM Trans. on Database Systems, Vol 2, no2, 1977.
WOHED R.: "Diagnosis of conceptual schemas", IFIP WG2.6/WG8.1 Working Conference on "the role of Artificial Intelligence in Databases and Information Systems", Canton, July 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Souveyet, C., Rolland, C. (1990). Correction of conceptual schemas. In: Steinholtz, B., Sølvberg, A., Bergman, L. (eds) Advanced Information Systems Engineering. CAiSE 1990. Lecture Notes in Computer Science, vol 436. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0000591
Download citation
DOI: https://doi.org/10.1007/BFb0000591
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52625-4
Online ISBN: 978-3-540-47078-6
eBook Packages: Springer Book Archive