Skip to main content
SpringerLink
Log in

Requirements traceability in model-driven development: Applying model and transformation conformance

  • Published:
Information Systems Frontiers Aims and scope Submit manuscript

Abstract

The variety of design artifacts (models) produced in a model-driven design process results in an intricate relationship between requirements and the various models. This paper proposes a methodological framework that simplifies management of this relationship, which helps in assessing the quality of models, realizations and transformation specifications. Our framework is a basis for understanding requirements traceability in model-driven development, as well as for the design of tools that support requirements traceability in model-driven development processes. We propose a notion of conformance between application models which reduces the effort needed for assessment activities. We discuss how this notion of conformance can be integrated with model transformations.

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

Access this article

Log in via an institution

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

  • Akehurst, D., Kent, S., & Patrascoiu, O. (2003). A relational approach to defining and implementing transformations between metamodels. Software and Systems Modeling, 2(4), 215–239, Springer.

    Article  Google Scholar 

  • Almeida, J. P. A., Jonkers, H., Iacob, M. E., & Quartel, D. (2005). Platform-independent modelling of service infrastructure components: Towards the A-MUSE abstract platform, Freeband A-MUSE/D1.6, Telematica Instituut, The Netherlands.

  • Almeida, J. P. A. (2006a). Model-driven design of distributed applications. CTIT Ph.D.-Thesis Series, No. 06-85, Telematica Instituut Fundamental Research Series, no. 018.

  • Almeida, J. P. A., Dijkman, R., Ferreira Pires, L., Quartel, D., & van Sinderen, M. (2006b). Model driven design, refinement and transformation of abstract interactions. Int’l J. Cooperative Information Systems (IJCIS), World Scientific, 599–632.

  • Almeida, J. P. A., Iacob, M. E., Jonkers, H., & Quartel, D. (2006c). Model-driven development of context-aware services. Distributed Applications and Interoperable Systems (DAIS 2006), 6th IFIP Int’l Conference, LNCS, vol. 4025, Springer, 213–227.

  • Almeida, J. P. A., van Eck, P., & Iacob, M. E. (2006d). Requirements traceability and transformation conformance in model-driven development. Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC’06), IEEE Computer Society Press, 355–366.

  • Almeida, J. P. A., van Sinderen, M., Ferreira Pires, L., & Quartel, D. (2003). A systematic approach to platform-independent design based on the service concept. Proc. 7th IEEE Int’l Conf. on Enterprise Distributed Object Computing (EDOC 2003). IEEE CS Press, 112–134.

  • Bolognesi, T., van de Lagemaat, J., & Vissers, C. (Eds.) (1995). LOTOSphere: Software development with LOTOS. Norwell, MA: Kluwer.

  • Brottier, E., Fleurey, F., Steel, J., Baudry, B., & Le Traon, Y. (2006). Metamodel-based test generation for model transformations: An algorithm and a tool. Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 85–94.

  • Budinsky, F., et al. (2003). Eclipse modeling framework. Reading, MA: Addison-Wesley.

    Google Scholar 

  • Dai, Z. R. (2004). Model-Driven Testing with UML 2.0. Proceedings of the Second European Workshop on Model Driven Architecture (MDA) with an Emphasis on Methodologies and Transformations (EWMDA-2). Technical Report No. 17-04. Canterbury: Computing Laboratory, University of Kent.

  • Dijkman, R. M. (2006). Consistency in multi-viewpoint architectural design, CTIT Ph.D.-Thesis Series, No. 06-80, Telematica Instituut Fundamental Research Series, No. 017.

  • Egyed, A. F. (2003). A scenario-driven approach to trace dependency analysis. IEEE Transactions on Software Engineering, 29(2), 116–132.

    Article  Google Scholar 

  • Firesmith, D. (2003). Specifying good requirements. Journal of Object Technology, 2(4), 77–87.

    Google Scholar 

  • Fleurey, F., Steel, J., & Baudry, B. (2004). MDE and validation: Testing model transformation. Proc. of the Workshop on Specification Implementation and Validation Of Embedded Systems—Model Design and Validation (SIVOES-Modeva), 2004.

  • Gavras, A., Belaunde, M., Ferreira Pires, L., & Almeida, J. P. A. (2004). Towards an MDA-based development methodology for distributed applications. Software Architecture: First European Workshop (EWSA’04), LNCS, vol. 3047, Springer, 230–240.

  • Gibson, J. P., Dowling, T. F., & Malloy, B. A. (2000). The application of correctness preserving transformations to software maintenance. Proc. 16th IEEE International Conference on Software Maintenance (ICSM’00), IEEE CS Press, 108–119.

  • Gotel, O. (1995). Contribution structures for requirements traceability. Ph.D. Thesis. London, England: Department of Computing, Imperial College.

  • Gotel, O., & Finkelstein, A. (1994). An analysis of the requirements traceability problem. Proc. First Int’l Conf. Requirements Engineering, 94–101.

  • Hartman, A., Nagin, K., & Olvovsky, S. (2004). Model driven testing and MDA, Workshop on Model Driven Development (WMDD 2004) at ECOOP 2004, Oslo, Norway (June 14–18, 2004), http://heim.ifi.uio.no/~janoa/wmdd2004/papers

  • Heckel, R., & Lohmann, M. (2003). Towards model-driven testing. Electronic Notes in Theoretical Computer Science, 82(6), 1–11.

    Article  Google Scholar 

  • IEEE (1998). IEEE Recommended Practice for Software Requirements Specifications, IEEE Std 830-1998.

  • IEEE (2002). IEEE Standard Glossary of Software Engineering Terminology, IEEE Std. 610.12-1990 (R2002).

  • ISO/ITU-T (1995), Open Distributed Processing—Reference Model—Part 2: Foundations, International Standard ISO/IEC 10746-2, ITU-T Recommendation X.902.

  • Judson, S. R., France, R., & Carver, D. L. (2003). Specifying model transformations at the metamodel level. Proceedings of Workshop in Software Model Engineering associated to UML’03, San Francisco, CA, USA.

  • Küster, J. M. (2004). Systematic validation of model transformations. 3rd Workshop in Software Model Engineering (WiSME 2004), 7th International Conference on the UML (UML 2004), Lisbon, Portugal http://www.metamodel.com/wisme-2004/papers.html.

  • Lin, Y., Zhang, J., & Gray, J. (2004). Model comparison: A key challenge for transformation testing and version control in model driven software development. Proceedings OOPSLA Workshop on Best Practices for Model-Driven Software Development, http://www.softmetaware.com/oopsla2004/mdsd-workshop.html

  • Lin, Y., Zhang, J., & Gray, J. (2005). A testing framework for model transformations. Model-driven Software Development—Research and Practice in Software Engineering, 219–236. New York: Springer.

  • Moriconi, M., Qian, X., & Riemenschneider, R. A. (1995). Correct architecture refinement. IEEE Transactions on Software Engineering, 21(4), 356–372, IEEE Computer Society Press.

    Article  Google Scholar 

  • Object Management Group (2003a), MDA-Guide, V1.0.1, omg/03-06-01.

  • Object Management Group (2003b), Unified modelling language: Object constraint language version 2.0, ptc/03-10-04.

  • Object Management Group (2005), MOF QVT final adopted specification, ptc/05-11-01.

  • Pfaller, C., Fleischmann, A., Hartmann, J., Rappl, M., Rittmann, S., & Wild, D. (2006). On the integration of design and test: A model-based approach for embedded systems. Proceedings of the 2006 International Workshop on Automation of Software Test (AST ’06) (pp. 15–21). New York, NY: ACM.

    Google Scholar 

  • Quartel, D., Ferreira Pires, L., & van Sinderen, M. (2002). On architectural support for behaviour refinement in distributed systems design. Journal of Integrated Design and Process Science, vol. 6, no. 1, Society for Design and Process Science, 1–30.

  • Ramesh, B., & Jarke, M. (2001). Toward reference models for requirements traceability. IEEE Transactions on Software Engineering, 27(1), 58–93.

    Article  Google Scholar 

  • Schot, J. (1992). The role of architectural semantics in the formal approach of distributed systems design. Ph.D. thesis. The Netherlands: University of Twente, Enschede.

  • Software Engineering Institute (SEI) (2000). CMMI for Systems Engineering/Software Engineering, Version 1.02 (CMMI-SE/SW, V1.02), Tech. Report CMU/SEI-2000-TR-018.

  • van den Berg, K., Conejero, J. M., & Hernández, J. (2006a). Analysis of crosscutting across software development phases based on traceability. Proceedings of the 2006 International Workshop on Early Aspects at ICSE (pp. 43–50). New York: ACM.

    Google Scholar 

  • van den Berg, K., Tekinerdogan, B., & Nguyen, H. (2006b). Analysis of crosscutting in model transformations. ECMDA Traceability Workshop, SINTEF Report A219, 51–64.

  • Wright, S. (1991). Requirements Traceability—What? Why? and How?. Tools and Techniques for Maintaining Traceability During Design, IEE Colloquium, Computing and Control Division, Professional Group C1 (Software Engineering), U.K., Digest Number: 1991/180, 1/1-1/2.

  • Zhu, H., Horgan, J. R., Cheung, S. C., & Li, J. J. (2006). The first international workshop on automation of software test. Proceeding of the 28th International Conference on Software Engineering (ICSE ’06)(pp. 1028–1029), New York, NY: ACM.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, Federal University of Espírito Santo, Vitória, Brazil

    João Paulo A. Almeida

  2. Department of Information Systems and Change Management, University of Twente, Enschede, The Netherlands

    Maria-Eugenia Iacob

  3. Centre for Telematics and Information Technology, University of Twente, Enschede, The Netherlands

    João Paulo A. Almeida & Pascal van Eck

Authors
  1. João Paulo A. Almeida
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Maria-Eugenia Iacob
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Pascal van Eck
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to João Paulo A. Almeida.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Almeida, J.P.A., Iacob, ME. & van Eck, P. Requirements traceability in model-driven development: Applying model and transformation conformance. Inf Syst Front 9, 327–342 (2007). https://doi.org/10.1007/s10796-007-9038-3

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10796-007-9038-3

Keywords

Search

Navigation