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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
Brooks Jr., F.P.: The Mythical Man Month, anniversary edn. Addison-Wesley, Reading (1995) ISBN: 0-201-83595-9
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)
Clark, T., Evans, A., Kent, S.: The specification of a reference implementation for the unified modeling language. L’OBJET 7(1) (2001)
Finger, F.: Design and implementation of a modular OCL compiler. Diplomarbeit, Technische Universität Dresden, Fakultät für Informatik (March 2000)
Gagnon, E., Hendren, L.: Sablecc – an object-oriented compiler framework (1998)
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)
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)
Hussmann, H., Demuth, B., Finger, F.: Modular architecture for a toolset supporting OCL. Science of Computer Programming 44(1), 51–69 (2002)
Jansson, P.: Use Case Analysis with Rational Rose. Rational Software Corp., Santa Clara (1995)
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)
Lilius, J., Paltor, I.P.: vUML: a tool for verifying UML models. Technical Report TUCS-TR-272, 18 (1999)
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)
Visser, J.: Visitor combination and traversal control. In: Conference on Object- Oriented Programming, Systems, Languages & Applications (OOPSLA 2001), pp. 270–282 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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