Skip to main content

Software Model Engineering and Reuse with the Evolution and Validation Environment

  • Conference paper
Scientific Engineering of Distributed Java Applications (FIDJI 2003)

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

Abstract

Reuse in software construction has been a core aspect of software engineering since the term was coined in late 70’s [2]. Strategies for reuse like high level languages, structuring and encapsulation have made valuable contributions. Today, the software industry produces components as reusable parts, which deliver advantages like faster time-to-market, cost reduction, better maintainability, configurability etc. While the reuse of code and components improves, one important contributing factor of the engineering process remains out of scope: Although design reuse is more effective and beneficial than code reuse [1] models of software systems still are not assets of the software process. As a result design reuse does not impact the actual software engineering process. The impediments and successes of bringing models to the heart of the software process are reflected in the history of the Unified Modeling Language (UML). We will retell this story below to pick up the motivation for our own project, the Evolution and Validation Environment (EVE), which has the potential to globally reuse and share know-how expressed in models and model services, independent of and complementary to existing modeling tools. We give an overview of EVE’s architecture and present an example of its application. Finally, we delve into the details of an EVE core component, the OCL profile validator service (MOCL), which is used to check UML models for compliance with profiles.

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. Biggerstaff, T.J., Richter, C.: Reusability Framework, Assessment, and Directions. In: Biggerstaff, T.J., Richter, C. (eds.) Software Reusability. Concepts and Models, vol. I, ch. 1, pp. 1–17. ACM Press, New York (1989)

    Google Scholar 

  2. Brooks Jr., F.P.: The Mythical Man Month, anniversary edn. Addison-Wesley, Reading (1995) ISBN: 0-201-83595-9

    Google Scholar 

  3. Chiorean, D.: Using OCL beyond specifications. In: Evans, A., France, R., Moreira, A., Rumpe, B. (eds.) Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists. Workshop of the pUML-Group held together with the UML 2001, Toronto, Canada, October 1. LNI, vol. P-7, pp. 57–68. German Informatics Society (2001)

    Google Scholar 

  4. Clark, T., Evans, A., Kent, S.: The specification of a reference implementation for the unified modeling language. L’OBJET 7(1) (2001)

    Google Scholar 

  5. Finger, F.: Design and implementation of a modular OCL compiler. Diplomarbeit, Technische Universität Dresden, Fakultät für Informatik (March 2000)

    Google Scholar 

  6. Gagnon, E., Hendren, L.: Sablecc – an object-oriented compiler framework (1998)

    Google Scholar 

  7. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)

    Google Scholar 

  8. Ho, W.M., Jquel, J.-M.: Alain Le Guennec, and Francois Pennaneac’h. UMLAUT: An extendible UML transformation framework. In: Automated Software Engineering, pp. 275–278 (1999)

    Google Scholar 

  9. Hussmann, H., Demuth, B., Finger, F.: Modular architecture for a toolset supporting OCL. Science of Computer Programming 44(1), 51–69 (2002)

    Article  MATH  Google Scholar 

  10. Jansson, P.: Use Case Analysis with Rational Rose. Rational Software Corp., Santa Clara (1995)

    Google Scholar 

  11. Koskinen, J., Peltonen, J., Selonen, P., Systä, T., Koskimies, K.: Model processing tools in UML. In: Proceedings of the 23rd International Conference on Software Engeneering (ICSE-2001), Los Alamitos, California, May12–19, pp. 819–820. IEEE Computer Society, Los Alamitos (2001)

    Chapter  Google Scholar 

  12. Lilius, J., Paltor, I.P.: vUML: a tool for verifying UML models. Technical Report TUCS-TR-272, 18 (1999)

    Google Scholar 

  13. Palsberg, J., Jay, C.B.: The essence of the visitor pattern. In: Proc. 22nd IEEE Int. Computer Software and Applications Conf., COMPSAC, pp. 9–15, pp. 19–21 (1998)

    Google Scholar 

  14. Visser, J.: Visitor combination and traversal control. In: Conference on Object- Oriented Programming, Systems, Languages & Applications (OOPSLA 2001), pp. 270–282 (2001)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Süß, J.G., Leicher, A., Chabarek, F. (2004). Software Model Engineering and Reuse with the Evolution and Validation Environment. In: Guelfi, N., Astesiano, E., Reggio, G. (eds) Scientific Engineering of Distributed Java Applications. FIDJI 2003. Lecture Notes in Computer Science, vol 2952. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24639-8_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-24639-8_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-21091-7

  • Online ISBN: 978-3-540-24639-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics