Abstract
Software Engineering is still lacking methods which are capable of properly capturing the relevant System properties in the problem space and at the same time generating a correct representation (a final software product) in the solution space. This product must be functionally equivalent to the system specification and obtained in an automated way. The design of methods of this kind and the development of associated support tools is one of the current challenges in the field.
This leads us to real CARE Computer-Aided Requirements Engineering environments, where the replacement of the S (of CASE) by the R is very meaningful: we want to focus on the Requirements Engineering process to capture properly the relevant system properties. Our CARE advanced tools will convert these “patterns” of behavior into the most convenient representation in a given software development environment, by properly “compiling” the system specification following a set of mappings between conceptual patterns and software representations.
To do it, a formal basis and a model with the necessary expressiveness are needed in order to do this. The contribution of this paper is the object-oriented OASIS model as the basic model for such a CARE environment, together with a method for software production —the OO-Method- as an operational implementation of these ideas.
This work has been supported by the CICYT under MENHIR/ESPILL TIC 97-0593-C05-01 Project and by DGEUI under IRGAS GV97-TI-05-34 Project.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Wirfs-Brock R., Wilkerson B., Wiener L. Designing Object Oriented Software. Englewood Cliffs, Nj. Prentice-Hall. 1990
Rumbaugh J. et al. W. Object Oriented Modeling and Design. Englewood Cliffs, Nj. Prentice-Hall. 1991
Jacobson I. et al. G. OO Software Engineering, a Use Case Driven Approach. Reading, Massachusetts. Addison-Wesley
Booch, G. OO Analysis and Design with Applications. Addison-Wesley, 1994
Coleman D., Arnold P., Bodoff S., Dollin S. Gilchrist H., Hayes F., Jeremes P. Object-Oriented Development; The Fusion Method. Prentice-Hall 1994.
Booch G., Rumbaugh J., Jacobson I. UML. v1. Rational Software Co., 1997.
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
ESDI S.A., Lisboa. OBLOG CASE V1.0-User’s Guide
Jungclaus R., Saake G., Sernadas C. Formal specification of Object Systems. Eds. S. Abramsky and T. Mibaum Proceeding of the TapSoft’s 91, Brighton. Lncs. 494, Springer Verlag 1991, pgs: 60–82.
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, April 1994
Dubois E., 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 Systems Dynamics, pags: 25–39, University of Twente, Technical Report, 1994
Pastor O., Hayes F., Bear S. OASIS: An object-oriented specification language. In P. Loucopoulos, editor, Proceedings of the CAiSE’92 conference, pp. 348–363, Berlin, Springer, LNCS 593 (1992).
Pastor O., Ramos I. Oasis 2.1.1: A Class-Definition Language to Model Information Systems Using an Object-Oriented Approach, October 95 (3rd edition).
Wieringa, R.J., Jungclaus, R., Hartel, P., Hartmann, T., Saake, G., OMTROLL Object Modeling in TROLL. Proceedings of the International Workshop on Information Systems — Correctness and Reusability (IS-CORE’93). Hannover, September 1993. Udo W. Lipeck, G. Koschorrek (eds.).
Jackson R.B., Embley D.W., Woodfield S.N. Automated Support for the Development of Formal Object-Oriented Requirements Specification. In Proceedings of CAiSE-94 Conference. Utrecht, The Netherlands. Lecture Notes in Computer Science; v. 811; p.135–148. 1994.
Liddle S.W., Embley D.W., Woodfield S.N. Unifying Modeling and Programming Through an Active, Object-Oriented, Model-Equivalent Programming Language. In Proceedings of 14th International Conference on Object-Oriented and Entity-Relationship Modeling (OOER’95). 13–15 Dec 1995. Gold Coast, Australia. Lecture Notes in Computer Science v. 1021; p. 55–64. 1995.
Harel, D., First-Order Dynamic Logic, Springer-Verlag, 1979.
Wieringa R.J. {\em A Formalization of Objects using Equational Dynamic Logic}, 2nd Conference on Deductive and OO Databases, pags 431–452, Springer 1991, Lecture Notes in Computer Science 566.
Catell, R. G. G. (ed.), The Object Database Standard: ODMG-93, Release 1.1, Morgan Kaufmann Publishers, 1994.
Canós, J.H.: Ramos, I.; Lozano, M.D. KAOS: an Object-oriented software tool for the objects definition, updating, querying and programming in an object-oriented environment. Proc of the IEEE 1998 Canadian Conference on Electrical and Computer Engineering, IEEE Press, 1998
Ramos, I. Logic and OO Databases: a Declarative Approach Porceedings of the Dexa 90, Springer-Verlag, 1990
McCabe, F.G., Logic and Objects, Prentice-Hall, 1992
Pastor O. et al. OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods. In Antoni Olivé and Joan Antoni Pastor editors, Proceedings of CAiSE97 conference, pp. 145–158, Berlin, Springer-Verlag, LNCS 1250. June 1997
Kifer M., Deductive and Object Data Languages: A Quest for Integration, Proceedings of the DOOD-96 Conference, Springer-Verlag, 1996
Carsí J.A.; A DOOD System for Treating the Schema Evolution Problem, EDBT’98 Demo Session, VI Intl.Conference on Extending Database Technology, Valencia, March 1998
Pastor, O.; Insfran, E.; Pelechano, V.; García, J. From Object Oriented Conceptual Modeling to Automated Programming in Java. Conceptual Modeling — ER’98. Lecture Notes in Computer Science (1507), págs: 183–197, Springer-Verlag, 1998, ISBN: 3-540-65189-6; ISSN: 0302-9743, Singapore
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pastor, O., Canós, J.H., Ramos, I. (1999). From CASE to CARE (Computer-Aided Requirements Engineering). In: Akoka, J., Bouzeghoub, M., Comyn-Wattiau, I., Métais, E. (eds) Conceptual Modeling — ER ’99. ER 1999. Lecture Notes in Computer Science, vol 1728. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-47866-3_19
Download citation
DOI: https://doi.org/10.1007/3-540-47866-3_19
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66686-8
Online ISBN: 978-3-540-47866-9
eBook Packages: Springer Book Archive