Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Improving the accuracy of UML metamodel extensions by introducing induced associations

  • Regular Paper
  • Published:
Software & Systems Modeling Aims and scope Submit manuscript

Abstract

In the process of extending the UML metamodel for a specific domain, the metamodel specifier introduces frequently some metaassociations at MOF level M2 with the aim that they induce some specific associations at MOF level M1. For instance, if a metamodel for software process modelling states that a “Role” is responsible for an “Artifact”, we can interpret that its specifier intended to model two aspects: (1) the implications of this metaassociation at level M1 (e.g., the specific instance of Role “TestEngineer” is responsible for the specific instance of Artifact “TestPlans”); and (2) the implications of this metaassociation at level M0 (e.g., “John Doe” is the responsible test engineer for elaborating the test plans for the package “Foo”). Unfortunately, the second aspect is often not enforced by the metamodel and, as a result, the models which are defined as its instances may not incorporate it. This problem, consequence of the so-called “shallow instantiation” in Atkinson and Kühne (Procs. UML’01, LNCS 2185, Springer, 2001), prevents these models from being accurate enough in the sense that they do not express all the information intended by the metamodel specifier and consequently do not distinguish metaassociations that induce associations at M1 from those that do not. In this article we introduce the concept of induced association that may come up when an extension of the UML metamodel is developed. The implications that this concept has both in the extended metamodel and in its instances are discussed. We also present a methodology to enforce that M1 models incorporate the associations induced by the metamodel which they are instances from. Next, as an example of application we present a quality metamodel for software artifacts which makes intensive use of induced associations. Finally, we introduce a software tool to assist the development of quality models as correct instantiations of the metamodel, assuring the proper application of the induced associations as required by the metamodel.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.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

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. UML 2.0 Infrastructure, document formal/07-05-05 and UML 2.0 Superstructure, document formal/07-05-04, available at http://www.omg.org/, last accessed July 2006

  2. MOF 2.0 Core Final Adopted Specification. Document ptc/03-10-04, available at http://www.uml.org/, last accessed July 2006

  3. Gonzalez-Perez, C., Henderson-Sellers, B.: A powertype-based metamodelling framework. Softw. Syst. Model. 5(1) (2006)

  4. Kühne T. (2006). Matters of (meta-)modelling. Softw. Syst. Model. 5(4): 369–385

    Article  Google Scholar 

  5. Atkinson, C., Kühne, T.: Rearchitecting the UML infrastructure. ACM Tans. Model. Comp. Simulat. 12(4) (2002)

  6. Common Warehouse Metamodel Specification. OMG document formal/2003-03-02. Available at http://www.omg.org

  7. Software Process Engineering Metamodel Specification (SPEM). OMG document formal/2005-01-06. Available at http://www.omg.org. Last accessed: July 2006

  8. UML profile for CORBA. OMG document formal/02-04-01. Available at http://www.omg.org, last accessed: April 2005

  9. UML 2.0 testing profile. OMG document formal/05-07-07. Available at http://www.omg.org. Last accessed: July 2006

  10. Knapp, A., Koch, N., Moser, F., Zhang, G.: ArgoUWE: a case tool for web applications. First International Workshop on Engineering Methods to Support Information Systems Evolution, Geneva (Switzerland), September 2003. Available at http://www.cui.unige.ch/db-research/EMSISE03

  11. Ribó, J.M.: PROMENADE: a UML-based approach to software process modelling. PhD Thesis. Software Dept. Politechnical University of Catalonia (2002)

  12. Kruchten, P.: The rational unified process. An introduction. Addison-Wesley, Reading. ISBN: 0201707101 (2000)

  13. Robillard, P.N., Kruchten, P.: Software processes with the unified process for education (UP/EDU). Addison Wesley/Longman, Reading/London. ISBN: 0-201-75454-1 (chap. 13)

  14. Álvarez, J., Evans, A., Sammut, P.: MML and the metamodel architecture. In: Workshop on Transformations in UML (WTUML’01) Associated with ETAPS’01, Genova, January 2001

  15. Atkinson, C., Kühne, T.: The essence of multivelel Metamodeling. Procs. UML’01, LNCS 2185, Springer (2001)

  16. Henderson-Sellers, B., Gonzalez-Perez, C.: The rationale of powertype-based metamodelling to underpin software development methodologies. In: Second Asia-Pacific Conference on Conceptual Modelling, January–February 2005

  17. Odell, J.: Powertypes. J. Object Oriented Programm. 7(2) (1994)

  18. Costal D. and Gómez C. (2006). On the use of association redefinition in UML class diagrams. In: Embley, W.D.W., Olivé, A. and Ram, S. (eds) ER 2006. LNCS 4215, pp 513–527. Springer, Heidelberg

    Chapter  Google Scholar 

  19. Burgués, X., Franch, X., Ribó, J.M.: A MOF-compliant approach to software quality modeling. In: Proceedings of 24th International Conference on Conceptual Modeling (ER’05). LNCS 3716, Springer (2005)

  20. IEEE Standard 1061–1992. Standard for a software quality metrics methodology (1992)

  21. ISO/IEC Standard 9126-1. Software engineering—product quality—part 1 (2001)

  22. Firesmith, D.G.: Using quality models to engineer quality requirements. J. Object Technol. 2(5) (2003)

  23. Keller, S., Kahn, L., Panara, R.: Specifying software quality requirements with metrics. Syst. Softw. Requirements Eng. IEEE Comput. Soc. (1990)

  24. Fenton, N., Pfleeger, S.L.: Software Metrics: A Rigorous and Practical Approach. PWS (1998)

  25. Zuse H. (1998). Framework of Software Measurement. De Gruyter, Berlin

    Google Scholar 

  26. Glass, R., Vessey, I.: Contemporary application domain taxonomies. IEEE Softw. 12(4) (1995)

  27. Carvallo, J.P., Franch, X., Quer, C., Torchiano, M.: Characterization of a taxonomy for business applications and the relationships among them. In: Proceedings 3rd International Conference on COTS-based Software Systems (ICCBSS’04), LNCS 2959, Redondo Beach (CA, USA), February 2004

  28. Chung L., Nixon B., Yu E. and Mylopoulos J. (2000). Non-functional Requirements in Software Engineering. Kluwer Academic, Dordrecht

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Universitat Politècnica de Catalunya (UPC), c/ Jordi Girona 1-3 (Campus Nord, Omega), 08034, Barcelona, Catalunya, Spain

    Xavier Burgués & Xavier Franch

  2. Universitat de Lleida (UdL), C. Jaume II, 69, 25001, Lleida, Catalunya, Spain

    Josep M. Ribó

Authors
  1. Xavier Burgués
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Xavier Franch
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Josep M. Ribó
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Xavier Burgués.

Additional information

Communicated by Prof. Pierre-Alain Muller.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Burgués, X., Franch, X. & Ribó, J.M. Improving the accuracy of UML metamodel extensions by introducing induced associations. Softw Syst Model 7, 361–379 (2008). https://doi.org/10.1007/s10270-007-0062-z

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10270-007-0062-z

Keywords

Search

Navigation