Skip to main content

Rhapsody: A Complete Life-Cycle Model-Based Development System

  • Conference paper
  • First Online:
Integrated Formal Methods (IFM 2002)

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

Included in the following conference series:

Abstract

We discuss Rhapsody, a UML based software development tool, designed to support complete model-based iterative life-cycle. First, we identify several key inhibiting factors that prevent model-based approaches from being adopted as a mainstream practice. We then examine the requirements for allowing complete life-cycle model-based development and discuss how they are met by Rhapsody through its key enabling technologies, which include:

  • model-code associativity

  • automated implementation generation

  • implementation framework

  • model execution

  • model-based testing

We explain why each of these features is instrumental to an effective development of production systems, based on a key observation that the modeling language does not replace the implementation platform, but should be integrated with it in a synergistic manner. This allows the use of modeling for expressing requirements and design abstractions, along with the use of the full power of an implementation language and its supporting platform to specify implementation details. While allowing this flexibility, Rhapsody facilitates full consistency of the modeling and implementation artifacts throughout the life-cycle, and it also supports a high level of automation in the implementation and validation of the developed system.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

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.

References

  1. B.P. Douglass Doing Hard Time. Addison-Wesley Object Technology Series, 1999.

    Google Scholar 

  2. W. Damm and D. Harel. LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design, 19(1), 2001. (Preliminary version in Proc. 3rd IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS’99), (P. Ciancarini, A. Fantechi and R. Gorrieri, eds.), Kluwer Academic Publishers, 1999, pages 293–312.)

    Google Scholar 

  3. D. Harel and E. Gery. Executable Object Modeling with Statecharts. IEEE Computer, pages 31–42, July 1997. Also, Proc. 18th Int. Conf. on Software Engineering, Berlin, IEEE Press, March, 1996, pp. 246–257.)

    Google Scholar 

  4. Rhapsody’s user guide. http://www.ilogix.com

  5. I. Jacobson, G. Booch, J. Rumbaugh. The Unified Software Development Process. Addison-Wesley Object Technology Series, 1998.

    Google Scholar 

  6. E. Gery, R. Rinat, J. Ziegler. Octopus Concurrency Design with Rhapsody. http://www.ilogix.com

  7. OMG Unified Modeling Language Specification, Version 1.4. OMG Document formal/01-09-67

    Google Scholar 

  8. OMG Architecture Board MDA Drafting Team. ”Model Driven Architecture-A Technical Perspective”. OMG Document ormsc/01-07-01

    Google Scholar 

  9. UML 1.4 with Action Semantics. OMG Document ptc/02-01-09, p. 2-209–2-349

    Google Scholar 

  10. http://www.projtech.com/prods/bp/info.html

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gery, E., Harel, D., Palachi, E. (2002). Rhapsody: A Complete Life-Cycle Model-Based Development System. In: Butler, M., Petre, L., Sere, K. (eds) Integrated Formal Methods. IFM 2002. Lecture Notes in Computer Science, vol 2335. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-47884-1_1

Download citation

  • DOI: https://doi.org/10.1007/3-540-47884-1_1

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43703-1

  • Online ISBN: 978-3-540-47884-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics