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

@incollection{Gery.etal02, 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.}, author = {Gery, Eran and Harel, David and Palachi, Eldad}, citeulike-article-id = {5974622}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/3-540-47884-1_1}, citeulike-linkout-1 = {http://www.springerlink.com/content/c39hnr4a4m7cxyt0}, doi = {10.1007/3-540-47884-1_1}, journal = {Integrated Formal Methods}, keywords = {modelling, simulation}, pages = {1--10}, posted-at = {2009-10-20 15:49:08}, priority = {2}, title = {Rhapsody: A Complete Life-Cycle Model-Based Development System}, url = {http://dx.doi.org/10.1007/3-540-47884-1_1}, year = {2002} }

TY - CHAP ID - Gery.etal02 L3 - citeulike-article-id:5974622 N2 - 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. JF - Integrated Formal Methods EP - 10 TI - Rhapsody: A Complete Life-Cycle Model-Based Development System SP - 1 KW - modelling KW - simulation AU - Gery, Eran AU - Harel, David AU - Palachi, Eldad PY - 2002/// UR - http://dx.doi.org/10.1007/3-540-47884-1_1 ER -