Abstract
In this paper we present an Object-Oriented (OO) methodology for software production, and we focus on the analysis to design transition. OO-METHOD provides software tools covering the classical development phases of analysis, design and implementation, all this within a graphical, user-friendly working environment. Starting from a graphical system specification as the product of the OO analysis step, we produce the corresponding system specification in OASIS (a formal and OO specification language used as design tool). Finally, depending on the chosen working environment (logic or OO), we can obtain a final software product automatically by using the corresponding translator.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
R. Balzer et al.:Software Technology in the 1990s: Using a New Paradigm. IEEE Computer Science Press,Nov.1983.
J. A. Bubenko, A.Oliv é: Dynamic or Temporal Modelling? an illustrative comparison. SYSLAB Working Paper 117,Nov.1986.
C.Gane, T.Sarson: Structured System Analysis. Englewood Cliffs,NJ:Prentice Hall, 1979
O.Pastor,I.Ramos,J,Canós: Object Oriented and Relational Specification of Information Systems. Second International Workshop on the Deductive Approach to Information Systems and Databases. Aiguablava,Sept.1991.
O.Pastor,F.Hayes,S.Bear: OASIS: An Object-Oriented Specification Language. In the Proceedings of the CAiSE-92, Manchester,UK.
O.Pastor,A.Gonz ález: OO-METHOD: An OO Methodology for S oftware Production. Proceedings of DEXA-92, Valencia
O.Pastor. Diseno y Desarrollo de un Entorno de Producción Autom ática de Software basado en el Modelo OO. PhD Thesis, U.P.V., Valencia 1992.
I.Ramos: Logics and OO-Data Bases: a declarative approach. Proceedings of DEXA-90, Springer-Verlag, 1990 pag. 348–363.
I.Ramos,O.Pastor: OO and Active Formal Information System Specification. Proceedings of DEXA-91, Berlin (1991)
E.Yourdon: Modern Structured Analysis. Englewood Cliffs,NJ:Prentice Hall, 1989
R.J. Wieringa, A formalization of objects using equational dynamic logic, Proc. of the 2nd DOOD Conference, Springer-Verlag, 1991.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
López, O.P., Ramos, I., Canós, J.H. (1993). From analysis to design in a deductive and object-oriented environment. In: Mařík, V., Lažanský, J., Wagner, R.R. (eds) Database and Expert Systems Applications. DEXA 1993. Lecture Notes in Computer Science, vol 720. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57234-1_68
Download citation
DOI: https://doi.org/10.1007/3-540-57234-1_68
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57234-3
Online ISBN: 978-3-540-47982-6
eBook Packages: Springer Book Archive