[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content
Springer Nature Link
Log in

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

Log in via an institution

Subscribe and save

Springer+ Basic
£29.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
GBP 19.95
Price includes VAT (United Kingdom)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
GBP 35.99
Price includes VAT (United Kingdom)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
GBP 44.99
Price includes VAT (United Kingdom)
  • 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.

Similar content being viewed by others

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

  1. I-Logix, Inc., Sweden

    Eran Gery, David Harel & Eldad Palachi

Authors
  1. Eran Gery
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. David Harel
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Eldad Palachi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Electronics and Computer Science Declarative Systems and Software Engineering, University of Southampton, Highfield, Southampton, SO17 1BJ, UK

    Michael Butler

  2. Turku Centre for Computer Science, Lemminkäisenkatu 14A, 20520, Turku, Finland

    Luigia Petre

  3. Department of Computer Science, Åbo Akademi University, Lemminkäisenkatu 14, 20520, Turku, Finland

    Kaisa Sere

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

Search

Navigation