Abstract
We present the OO-Method, an Object-Oriented Methodology that complements the use of formal specification languages with the background of the classical informal OO Analysis and Design proposals. This methodology eliminates the ambiguity of such methods and puts into practice the appropiate properties of formal specification languages in a practical way. It uses a formal OO Specification Language called Oasis as a design tool. The most relevant contribution of the OO-Method is that it generates the specification in an automated way from the graphical models obtained in the Analysis step and the quoted specification is a robust documentation of the System. Finally, code generators make possible to obtain implementations of the specification in different Software Development Environments, including declarative (Prolog-based) and imperative environments.
This work has been supported by the Spanish Industry Ministry and the DGXIII of the EEC under the PASO PC-310 Project and also by the CICYT under OASIS TIC 94-0557 Project.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Booch,G. Object Oriented Design with Applications. The Benjamin/Cummings Publishing Company,Inc. 1994
Hartmann T.;Saake,G.;Jungclaus,R.;Hartel,P.;Kusch, J. Revised Version of the Modelling Language Troll (Troll version 2.0) Technische Universitat Braunschweig, Informatik-Berichte, 94-03 April 1994.
Jacobson I.,Christerson M.,Jonsson P.,Overgaard G., Object Oriented Software Engineering, a Use Case Driven Approach. Reading, Massachusetts. Addison-Wesley
Pastor,O.,Hayes,F.,Bear,S. OASIS: An Object Oriented Specification Language, Proceedings of the CAiSE92, LCNS 593, pp.: 348–363, Springer Verlag
Pastor, O. Diseño y Desarrollo de un Entorno de Producción Automática de Software basado en el Modelo Orientado a Objetos. Phd Thesis, managed by Isidro Ramos, 1992, DSIC-UPV (Valencia).
Pastor,O. OO-METHOD: An Object Oriented Methodology for Software Production. Proceedings of the DEXA 92, Springer-Verlag, pp. 121–127. ISBN: 3-211-82400-6
Pastor,O.,Ramos,I.,Canos J.H. From Analysis to Design in an Object Oriented and Deductive Environment. Proceedings of the DEXA 93, LCNS 720, pp.:667–673, Springer-Verlag
Pastor,O.: Ramos, I. Oasis 2.1.1: A Class-Definition Language to Model Information Systems Using an Object-Oriented Approach, February 94 (1st ed.), March 95 (2nd ed.), October 95 (3th ed.).
Pastor,O.;Pelechano,V.; Bonet,B.; Ramos, I. OO-Method 2.0: una metodología de Análisis y Diseño Orientada a Objetos. Technical Report, DSIC-UPV, 1996.
Pastor,O.;Merseguer,J.;Romero,J.; Barberá,J.M. Descripción del entorno gráfico de la herramienta CASE OO-METHOD. Technical Report, DSIC-UPV, 1996.
Pastor,O.;Pelechano,V.; Bonet,B.; Ramos, I. Using OO-Method: a practical guide to software modelling. Technical Report, DSIC-UPV, 1996.
Sernadas,A.;Sernadas,C.; Ehrich,H.D. Object-Oriented Specification of Databases: An Algebraic Approach In P.M.Stocker, W.Kent eds., Proceedings of VLDB 87, pp.-107–116. Morgan Kaufmann, 1987
Ramos, I. Logic and OO Databases: a Declarative Approach Porceedings of the Dexa 90, Springer-Verlag, 1990
Ramos,I.:Pastor,O.:Canos,J.H. On the use of Algebras as Semantic Domains of Object Societies In the Proceedings of the 3rd International Workshop of the deductive Approach for DB an IS, Roses (Costa Brava), 1992.
Rumbaugh J.,Blaha M., Permerlani W., Eddy F.,Lorensen W. Object Oriented Modeling and Design. Englewood Cliffs, Nj. Prentice-Hall
Wirfs-Brock R.,Wilkerson B.,Wiener L., Designing Object Oriented Software. Englewood Cliffs NJ. Prentice-Hall.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pastor, O., Pelechano, V., Bonet, B., Ramos, I. (1996). An object oriented methodological approach for making automated prototyping feasible. In: Wagner, R.R., Thoma, H. (eds) Database and Expert Systems Applications. DEXA 1996. Lecture Notes in Computer Science, vol 1134. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0034667
Download citation
DOI: https://doi.org/10.1007/BFb0034667
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61656-6
Online ISBN: 978-3-540-70651-9
eBook Packages: Springer Book Archive