Skip to main content
Erschienen in: Automated Software Engineering 2/2013

01.06.2013

A tool environment for quality assurance based on the Eclipse Modeling Framework

verfasst von: Thorsten Arendt, Gabriele Taentzer

Erschienen in: Automated Software Engineering | Ausgabe 2/2013

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

The paradigm of model-based software development has become more and more popular since it promises an increase in the efficiency and quality of software development. Following this paradigm, models become primary artifacts in the software development process. Therefore, software quality and quality assurance frequently leads back to the quality and quality assurance of the involved models. In our approach, we propose a model quality assurance process that can be adapted to project-specific and domain-specific needs. This process is based on static model analysis using model metrics and model smells. Based on the outcome of the model analysis, appropriate model refactoring steps can be performed. In this paper, we present a tool environment conveniently supporting the proposed model quality assurance process. In particular, the presented tools support metrics reporting, smell detection, and refactoring for models being based on the Eclipse Modeling Framework, a widely used open source technology in model-based software development.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
In this article, we refer to UML2 being the standard EMF-based representation of UML2, i.e. org.eclipse.emf.uml2.uml.
 
Literatur
Zurück zum Zitat Arendt, T., Taentzer, G.: Integration of smells and refactorings within the Eclipse Modeling Framework. In: Proceedings of the 5th Workshop on Refactoring Tools Co-Located with ICSE 2012 (2012a). To appear in ACM Digital Library 2012 Arendt, T., Taentzer, G.: Integration of smells and refactorings within the Eclipse Modeling Framework. In: Proceedings of the 5th Workshop on Refactoring Tools Co-Located with ICSE 2012 (2012a). To appear in ACM Digital Library 2012
Zurück zum Zitat Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: advanced concepts and tools for in-place EMF model transformation. In: Proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2010. LNCS, pp. 121–135. Springer, Berlin (2010b) CrossRef Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: advanced concepts and tools for in-place EMF model transformation. In: Proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2010. LNCS, pp. 121–135. Springer, Berlin (2010b) CrossRef
Zurück zum Zitat Arendt, T., Kranz, S., Mantz, F., Regnat, N., Taentzer, G.: Towards syntactical model quality assurance in industrial software development: process definition and tool support. In: Software Engineering. LNI, vol. 183, pp. 63–74 (2011). GI Arendt, T., Kranz, S., Mantz, F., Regnat, N., Taentzer, G.: Towards syntactical model quality assurance in industrial software development: process definition and tool support. In: Software Engineering. LNI, vol. 183, pp. 63–74 (2011). GI
Zurück zum Zitat Barbier, G., Brunelière, H., Jouault, F., Lennon, Y., Madiot, F.: MoDisco, a model-driven platform to support real legacy modernization use cases. In: Information Systems Transformation: Architecture-Driven Modernization Case Studies, pp. 365–400. Morgan Kaufmann, San Mateo (2010) CrossRef Barbier, G., Brunelière, H., Jouault, F., Lennon, Y., Madiot, F.: MoDisco, a model-driven platform to support real legacy modernization use cases. In: Information Systems Transformation: Architecture-Driven Modernization Case Studies, pp. 365–400. Morgan Kaufmann, San Mateo (2010) CrossRef
Zurück zum Zitat Basili, V., Caldiera, G., Rombach, D.H.: The goal question metric approach. In: Marciniak, J. (ed.) Encyclopedia of Software Engineering. Wiley, New York (1994) Basili, V., Caldiera, G., Rombach, D.H.: The goal question metric approach. In: Marciniak, J. (ed.) Encyclopedia of Software Engineering. Wiley, New York (1994)
Zurück zum Zitat Boger, M., Sturm, T., Fragemann, P.: Refactoring browser for UML. In: Aksit, M., Mezini, M., Unland, R. (eds.) Objects, Components, Architectures, Services, and Applications for a Networked World. LNCS, vol. 2591, pp. 366–377. Springer, Berlin (2003) CrossRef Boger, M., Sturm, T., Fragemann, P.: Refactoring browser for UML. In: Aksit, M., Mezini, M., Unland, R. (eds.) Objects, Components, Architectures, Services, and Applications for a Networked World. LNCS, vol. 2591, pp. 366–377. Springer, Berlin (2003) CrossRef
Zurück zum Zitat Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science. Springer, Berlin (2006) MATH Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science. Springer, Berlin (2006) MATH
Zurück zum Zitat Fowler, M.: Refactoring—Improving the Design of Existing Code. Addison-Wesley, Reading (1999) Fowler, M.: Refactoring—Improving the Design of Existing Code. Addison-Wesley, Reading (1999)
Zurück zum Zitat Frenzel, L.: The Language Toolkit: an API for automated refactorings in Eclipse-based IDEs. Eclipse-Mag. 5 (2006) Frenzel, L.: The Language Toolkit: an API for automated refactorings in Eclipse-based IDEs. Eclipse-Mag. 5 (2006)
Zurück zum Zitat Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns. Addison-Wesley, Reading (1995) Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns. Addison-Wesley, Reading (1995)
Zurück zum Zitat Genero, M., Piattini, M., Calero, C.: A survey of metrics for UML class diagrams. J. Object Technol. 4(9), 59–92 (2005) CrossRef Genero, M., Piattini, M., Calero, C.: A survey of metrics for UML class diagrams. J. Object Technol. 4(9), 59–92 (2005) CrossRef
Zurück zum Zitat Kolovos, D.S., Paige, R.F., Polack, F., Rose, L.M.: Update transformations in the Small with the Epsilon Wizard Language. J. Object Technol. 6(9), 53–69 (2007) CrossRef Kolovos, D.S., Paige, R.F., Polack, F., Rose, L.M.: Update transformations in the Small with the Epsilon Wizard Language. J. Object Technol. 6(9), 53–69 (2007) CrossRef
Zurück zum Zitat Lange, C.F.J.: Assessing and improving the quality of modeling: a series of empirical studies about the UML. Ph.D. thesis, Department of Mathematics and Computing Science, Technical University Eindhoven, The Netherlands (2007). Accessed 29 Aug 2012 Lange, C.F.J.: Assessing and improving the quality of modeling: a series of empirical studies about the UML. Ph.D. thesis, Department of Mathematics and Computing Science, Technical University Eindhoven, The Netherlands (2007). Accessed 29 Aug 2012
Zurück zum Zitat Markovic, S., Baar, T.: Refactoring OCL annotated UML class diagrams. Softw. Syst. Model. 7, 25–47 (2008) CrossRef Markovic, S., Baar, T.: Refactoring OCL annotated UML class diagrams. Softw. Syst. Model. 7, 25–47 (2008) CrossRef
Zurück zum Zitat Mohagheghi, P., Dehlen, V., Neple, T.: Definitions and approaches to model quality in model-based software development—a review of literature. Inf. Softw. Technol. 51(12), 1646–1669 (2009) CrossRef Mohagheghi, P., Dehlen, V., Neple, T.: Definitions and approaches to model quality in model-based software development—a review of literature. Inf. Softw. Technol. 51(12), 1646–1669 (2009) CrossRef
Zurück zum Zitat Porres, I.: Model refactorings as rule-based update transformations. In: Stevens, P., Whittle, J., Booch, G. (eds.) Proc. UML 2003: 6th Intern. Conference on the Unified Modeling Language. LNCS, pp. 159–174. Springer, Berlin (2003) CrossRef Porres, I.: Model refactorings as rule-based update transformations. In: Stevens, P., Whittle, J., Booch, G. (eds.) Proc. UML 2003: 6th Intern. Conference on the Unified Modeling Language. LNCS, pp. 159–174. Springer, Berlin (2003) CrossRef
Zurück zum Zitat Reimann, J., Seifert, M., Aßmann, U.: Role-based generic model refactoring. In: Proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2010. LNCS, pp. 78–92. Springer, Berlin (2010) CrossRef Reimann, J., Seifert, M., Aßmann, U.: Role-based generic model refactoring. In: Proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2010. LNCS, pp. 78–92. Springer, Berlin (2010) CrossRef
Zurück zum Zitat Riel, A.J.: Object-Oriented Design Heuristics. Addison-Wesley, Boston (1996) Riel, A.J.: Object-Oriented Design Heuristics. Addison-Wesley, Boston (1996)
Zurück zum Zitat Sakkinen, M.: Disciplined inheritance. In: Cook, S. (ed.) Proceedings of ECOOP’89, pp. 39–56. Cambridge University Press, Nottingham (1989) Sakkinen, M.: Disciplined inheritance. In: Cook, S. (ed.) Proceedings of ECOOP’89, pp. 39–56. Cambridge University Press, Nottingham (1989)
Zurück zum Zitat Steinberg, D., Budinsky, F., Patenostro, M., Merks, E.: EMF: Eclipse Modeling Framework, 2nd edn. Addison-Wesley, Reading (2008) Steinberg, D., Budinsky, F., Patenostro, M., Merks, E.: EMF: Eclipse Modeling Framework, 2nd edn. Addison-Wesley, Reading (2008)
Zurück zum Zitat Sunyé, G., Pollet, D., Le Traon, Y., Jézéquel, J.-M.: Refactoring UML models. In: Gogolla, M., Kobryn, C. (eds.) Proc. UML 2001—the Unified Modeling Language. Modeling Languages, Concepts, and Tools. LNCS, vol. 2185, pp. 134–148. Springer, Berlin (2001) CrossRef Sunyé, G., Pollet, D., Le Traon, Y., Jézéquel, J.-M.: Refactoring UML models. In: Gogolla, M., Kobryn, C. (eds.) Proc. UML 2001—the Unified Modeling Language. Modeling Languages, Concepts, and Tools. LNCS, vol. 2185, pp. 134–148. Springer, Berlin (2001) CrossRef
Zurück zum Zitat Thongmak, M., Muenchaisri, P.: Using UML metamodel to specify patterns of design refactorings. In: Proceedings of the 8th National Computer Science and Engineering Conference (NCSEC 2004) (2004) Thongmak, M., Muenchaisri, P.: Using UML metamodel to specify patterns of design refactorings. In: Proceedings of the 8th National Computer Science and Engineering Conference (NCSEC 2004) (2004)
Zurück zum Zitat Zhang, J., Lin, Y., Gray, J.: Generic and domain-specific model refactoring using a model transformation engine. In: Model-Driven Software Development, pp. 199–217. Springer, Berlin (2005) CrossRef Zhang, J., Lin, Y., Gray, J.: Generic and domain-specific model refactoring using a model transformation engine. In: Model-Driven Software Development, pp. 199–217. Springer, Berlin (2005) CrossRef
Zurück zum Zitat Zhang, M., Baddoo, N., Wernick, P., Hall, T.: Improving the precision of Fowler’s definitions of bad smells. In: Software Engineering Workshop, Annual IEEE/NASA Goddard, pp. 161–166 (2008) Zhang, M., Baddoo, N., Wernick, P., Hall, T.: Improving the precision of Fowler’s definitions of bad smells. In: Software Engineering Workshop, Annual IEEE/NASA Goddard, pp. 161–166 (2008)
Metadaten
Titel
A tool environment for quality assurance based on the Eclipse Modeling Framework
verfasst von
Thorsten Arendt
Gabriele Taentzer
Publikationsdatum
01.06.2013
Verlag
Springer US
Erschienen in
Automated Software Engineering / Ausgabe 2/2013
Print ISSN: 0928-8910
Elektronische ISSN: 1573-7535
DOI
https://doi.org/10.1007/s10515-012-0114-7

Weitere Artikel der Ausgabe 2/2013

Automated Software Engineering 2/2013 Zur Ausgabe

Premium Partner