Abstract
00-Method is an 00 Methodology that blends the use of formal specification systems with conventional 00 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 00 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
Similar content being viewed by others
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
[Boo94] Booch,G. 00 Analysis and Design with Applications. Addison-Wesley, 1994.
[BRJ96] Booch,G.,Rumbaugh,J.,Jacobson,I. Unified Modeling Language. Version 0.91. Rational Software Corporation.
[Can95] Can6s,J.H.;Penades,M.C.Ramos,l. A Knowledge-Based Arquitecture for Object Societies. Proc. of DEXA-95 (Workshop), pags: 18–25, London, 1995
[Co194] Coleman,D. ;Arnold,P. ;Bodoff,S. ;Dollin,S. ;Gilchrist,H. ;Hayes,F. ;Jeremes,P. Object-Oriented Development; The Fusion Method. Prentice-Hall1994
[Dub94] 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 ofTwente, Technical Report 1994.
[Esd93] ESDI S.A., Lisboa. OBLOG CASE Vl.O- User's Guide
[Har94] 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.
[Jac92] Jacobson I.,Christerson M.,Jonsson P.,Overgaard G. 00 Software Engineering , a Use Case Driven Approach. Reading, Massachusetts. Addison -Wesley.
[Jun91] Jungclaus, R., Saake, G., Semadas, 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.
[Kus95] 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
[Pas92] Pastor, O.;Hayes,F.;Bear,S. OASIS.-An 00 Specification Language. Proc. of CAiSE-92 Conference, Lncs (593), Springer-Verlag 1992, pags: 348–363.
[Pas95-1] 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).
[Pas95-2] Pastor,O.;Garcia,R.;Cuevas,J. Implementation of an 00 Design in an Oracle7 Development Environment. Proc. of the European Oracle Users Group Conference, EOUG-95. Vol.4 pags: 35–47, Firenze (Italy).
[Pas96-1] Pastor,O., Barbera, J.M., Merseguer, J., Romero, J., Ins:fran, E.: The CASE 00-METHOD graphic environment description. Tech. Report, ITI-DT −96.
[Pas96-2] Pastor,O., Pelechano V., Bonet B., Ramos I. : An 00 Methodological Approach for Making Automated Prototyping Feasible. Proceedings of DEXA96, Springer-Verlag, September 1996.
[Ser87] Semadas,A.;Semadas,C.;Ehrich,H.D. 00 Specification of Databases: An Algebraic Approach. In P.M.Stocker, W.Kent eds., Proc. ofVLDB87, pags: 107–116, Morgan Kauffmann, 1987.
[Rum91] Rumbaugh J.,Blaha M., Permerlani W., Eddy F.,Lorensen W. Object Oriented Modeling and Design. Englewood Cliffs, Nj. Prentice-Hall.
[Wir90] Wirfs-Brock R., Wilkerson B., Wiener L., Designing Object Oriented Software. Englewood Cliffs, Nj. Prentice-Hall.
[Wie93] Wieringa, R.I., Jungclaus, R., Hartel, P., Hartmann, T., Saake, G., OMTROLL Object Modeling in TROLL. Proc. of the International Workshop on Information Systems - Correctness and Reusability (ISCORE' 93). Hannover, September 1993. Udo W. Lipeck, G.Koschorrek (eds.).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Pastor, O., Insfrán, E., Pelechano, V., Romero, J., Merseguer, J. (2013). 00-METHOD: An 00 Software Production Environment Combining Conventional and Formal Methods. In: Bubenko, J., Krogstie, J., Pastor, O., Pernici, B., Rolland, C., Sølvberg, A. (eds) Seminal Contributions to Information Systems Engineering. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36926-1_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-36926-1_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-36925-4
Online ISBN: 978-3-642-36926-1
eBook Packages: Computer ScienceComputer Science (R0)