Skip to main content

From CASE to CARE (Computer-Aided Requirements Engineering)

  • Conference paper
  • First Online:
Conceptual Modeling — ER ’99 (ER 1999)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1728))

Included in the following conference series:

  • 484 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Wirfs-Brock R., Wilkerson B., Wiener L. Designing Object Oriented Software. Englewood Cliffs, Nj. Prentice-Hall. 1990

    MATH  Google Scholar 

  2. Rumbaugh J. et al. W. Object Oriented Modeling and Design. Englewood Cliffs, Nj. Prentice-Hall. 1991

    Google Scholar 

  3. Jacobson I. et al. G. OO Software Engineering, a Use Case Driven Approach. Reading, Massachusetts. Addison-Wesley

    Google Scholar 

  4. Booch, G. OO Analysis and Design with Applications. Addison-Wesley, 1994

    Google Scholar 

  5. Coleman D., Arnold P., Bodoff S., Dollin S. Gilchrist H., Hayes F., Jeremes P. Object-Oriented Development; The Fusion Method. Prentice-Hall 1994.

    Google Scholar 

  6. Booch G., Rumbaugh J., Jacobson I. UML. v1. Rational Software Co., 1997.

    Google Scholar 

  7. 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

    Google Scholar 

  8. ESDI S.A., Lisboa. OBLOG CASE V1.0-User’s Guide

    Google Scholar 

  9. 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.

    Chapter  Google Scholar 

  10. 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

    Google Scholar 

  11. 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

    Google Scholar 

  12. 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).

    Google Scholar 

  13. 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).

    Google Scholar 

  14. 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.).

    Google Scholar 

  15. 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.

    Google Scholar 

  16. 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.

    Chapter  Google Scholar 

  17. Harel, D., First-Order Dynamic Logic, Springer-Verlag, 1979.

    Google Scholar 

  18. 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.

    Chapter  Google Scholar 

  19. Catell, R. G. G. (ed.), The Object Database Standard: ODMG-93, Release 1.1, Morgan Kaufmann Publishers, 1994.

    Google Scholar 

  20. 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

    Google Scholar 

  21. Ramos, I. Logic and OO Databases: a Declarative Approach Porceedings of the Dexa 90, Springer-Verlag, 1990

    Google Scholar 

  22. McCabe, F.G., Logic and Objects, Prentice-Hall, 1992

    Google Scholar 

  23. 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

    Google Scholar 

  24. Kifer M., Deductive and Object Data Languages: A Quest for Integration, Proceedings of the DOOD-96 Conference, Springer-Verlag, 1996

    Google Scholar 

  25. 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

    Google Scholar 

  26. 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

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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

Publish with us

Policies and ethics