Abstract
Nowadays, if we want to obtain a sound and correct final software product it is very important to be able to properly join modern OO programming environments, which are built for the new Internet architectures, with the OO methodologies roduced over the last few years in order to deal properly with the Conceptual Modeling process.
Our contribution to this objective is the OO-Method [Pas96, Pas97-1] proposal. OO-Method is an OO Methodology that allows analysts to introduce the relevant system information by means of a set of graphical models to obtain the conceptual model through a requirement collection phase, so that an OO formal specification in OASIS [Pas95] can be generated at any given moment. This formal specification acts as a high-level system repository. Furthermore, a Java software prototype, which is functionally equivalent to the OASIS specification, is also generated in an automated way. This is achieved by defining an execution model that gives the pattern to obtain a concrete implementation in the selected target software development environment. A CASE workbench [Pas97-1] supports the methodology.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Arnold K., Gosling J. The Java Programming Language. Sun MicroSystems. Addison-Wesley, 1996.
Balzer R. et al. Software Technology in the 1990s: Using a New Paradigm. IEEE Computer, Nov. 1983.
Booch G., Rumbaugh J., Jacobson I. UML. vl. Rational Software Co., 1997.
Dubois E., Du Bois Ph., Petit M., Wu S. ALBERT: A Formal Agent-Oriented Requirements Language for Distributed Composite Systems. Proc. CAiSE'94, Workshop on Formal Methods for Information System Dynamics, pags: 25–39, University of Twente, Technical Report 1994.
Jungclaus R., Saake G., Sernadas C. Formal Specification of Object Systems. Eds. S. Abramsky and T. Mibaum Proceedings of the TapSoft's 91, Brighton. Lnes. 494, pags. 60–82, Springer-Verlag, 1991.
Kifer M. Deductive and Object Data Languages: A Quest for Integration. DOOD96. pags: 187–212. 1996.
Kramer D. The Java Platform. Sun MicroSystems. Addison-Wesley. 1995.
Pastor O., Ramos I., Canós J. Oasis v2: A Class Definition Language. Proc. DEXA95, Springer-Verlag. 1995.
Pastor O., Pelechano V., Bonet B., Ramos I. An OO Methodological Approach for Making Automated Prototyping Feasible. Proc. DEXA96. Springer-Verlag. September 1996.
Pastor O., Insfrán E., Pelechano V., Romero J., Merseguer J. OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods. CAiSE97. June 1997.
Pastor O., Insfrán E., Quiles G., Barberá J. Object-Oriented Conceptual Modeling Techniques to Design and Implement a Sound and Robust Oracle Environment. European Oracle Users Group EOUG'97. 1997.
Rumbaugh J., Blaha M., Permerlani W., Eddy F., Lorensen W. Object Oriented Modeling and Design. Englewood Cliffs, Nj. Prentice-Hall. 1991.
Titte E., Gaither M. 60 Minute Guide to Java. IDG Books WorldWide, Inc. 1995.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pastor, O., Insfrán, E., Pelechano, V., Ramírez, S. (1997). Linking object-oriented conceptual modeling with object-oriented implementation in Java. In: Hameurlain, A., Tjoa, A.M. (eds) Database and Expert Systems Applications. DEXA 1997. Lecture Notes in Computer Science, vol 1308. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0022025
Download citation
DOI: https://doi.org/10.1007/BFb0022025
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63478-2
Online ISBN: 978-3-540-69580-6
eBook Packages: Springer Book Archive