Abstract
OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice. In contrast to other approaches in this field ([Jun95, Esd93]), a set of graphical models provided by the methodology allows analysts to introduce the relevant system information to obtain the conceptual model through a requirements collection phase, so that an OO formal specification in Oasis ([Pas92, Pas95-1]), can be generated at any time. This formal specification acts as a high-level system repository. Furthermore, a 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 which gives the pattern for obtaining a concrete implementation in a declarative or an imperative software development environment (depending on the user choice). The methodology is supported by a CASE workbench.
Chapter PDF
References
Booch, G. OO Analysis and Design with Applications. Addison-Wesley, 1994.
Booch, G., Rumbaugh, J., Jacobson, I. Unified Modeling Language. Version 0.91. Rational Software Corporation.
Canós, J.H.; Penadés, M.C. Ramos, I. A Knowledge-Based Arquitecture for Object Societies. Proc. of DEXA-95 (Workshop), pags: 18–25, London, 1995
Coleman, D.; Arnold, P.; Bodoff, S.; Dollin, S.; Gilchrist, H.; Hayes, F.; Jeremes, P. Object-Oriented Development; The Fusion Method. Prentice-Hall 1994
Dubois, E.; Du Bois, Ph.; Petit, M.; Wu, S. ALBERT:A Formal Agent-Oriented Requirements Language for Distributed Composite Systems. In Proc. CAiSE'94 Workshop on Formal Methods for Information System Dynamics, pags: 25–39, University of Twente, Technical Report 1994.
ESDI S.A., Lisboa. OBLOG CASE V1.O-User's Guide
Hartmann T., Saake, G., Jungclaus, R., Hartel, P., Kusch, J. Revised Version of the Modeling Language Troll (Troll version 2.0). Technische Universitat Braunschweig, Informatik-Berichte, 94-03 April 1994.
Jacobson I., Christerson M., Jonsson P., Overgaard G. OO Software Engineering, a Use Case Driven Approach. Reading, Massachusetts. Addison-Wesley.
Jungclaus, R., Saake, G., Sernadas, C. Formal Specification of Object Systems. Eds. S. Abramsky and T. Mibaum Proceedings of the TapSoft's 91, Brighton. Lncs. 494, Springer Verlag 1991, pags. 60–82.
Kusch, J.; Hartel, P.; Hartmann, T.; Saake, G. Gaining a Uniform View of Different Integration Aspects in a Prototyping Environment. Proc of DEXA-95, pags. 35–42, LNCS 978, Springer-Verlag, 1995
Pastor, O.; Hayes, F.; Bear, S. OASIS:An OO Specification Language. Proc. of CAiSE-92 Conference, Lncs (593), Springer-Verlag 1992, pags: 348–363.
Pastor, O., Ramos, I. Oasis 2.1.1: A Class-Definition Language to Model Information Systems Using an Object-Oriented Approach, October 95 (3 ed).
Pastor, O.; Garcia, R.; Cuevas, J. Implementation of an OO Design in an Oracle7 Development Environment. Proc. of the European Oracle Users Group Conference, EOUG-95. Vol.4 pags: 35–47, Firenze (Italy).
Pastor, O., Barberá, J.M., Merseguer, J., Romero, J., Insfrán, E.: The CASE OO-METHOD graphic environment description. Tech. Report, ITI-DT-96.
Pastor, O., Pelechano V., Bonet B., Ramos I.: An OO Methodological Approach for Making Automated Prototyping Feasible. Proceedings of DEXA96, Springer-Verlag, September 1996.
Sernadas, A.; Sernadas, C.; Ehrich, H.D. OO Specification of Databases: An Algebraic Approach. In P.M. Stocker, W. Kent eds., Proc. of VLDB87, pags: 107–116, Morgan Kauffmann, 1987.
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.
Wieringa, R.J., Jungclaus, R., Hartel, P., Hartmann, T., Saake, G., OMTROLL Object Modeling in TROLL. Proc. of the International Workshop on Information Systems — Correctness and Reusability (IS-CORE'93). Hannover, September 1993. Udo W. Lipeck, G. Koschorrek (eds.).
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., Romero, J., Merseguer, J. (1997). OO-Method: An OO software production environment combining conventional and formal methods. In: Olivé, A., Pastor, J.A. (eds) Advanced Information Systems Engineering. CAiSE 1997. Lecture Notes in Computer Science, vol 1250. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63107-0_11
Download citation
DOI: https://doi.org/10.1007/3-540-63107-0_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63107-1
Online ISBN: 978-3-540-69148-8
eBook Packages: Springer Book Archive