{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T05:10:05Z","timestamp":1737349805385,"version":"3.33.0"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2007,8,3]],"date-time":"2007-08-03T00:00:00Z","timestamp":1186099200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Inf Syst Front"],"published-print":{"date-parts":[[2007,9]]},"DOI":"10.1007\/s10796-007-9038-3","type":"journal-article","created":{"date-parts":[[2007,8,2]],"date-time":"2007-08-02T02:42:57Z","timestamp":1186022577000},"page":"327-342","source":"Crossref","is-referenced-by-count":12,"title":["Requirements traceability in model-driven development: Applying model and transformation conformance"],"prefix":"10.1007","volume":"9","author":[{"given":"Jo\u00e3o Paulo A.","family":"Almeida","sequence":"first","affiliation":[]},{"given":"Maria-Eugenia","family":"Iacob","sequence":"additional","affiliation":[]},{"given":"Pascal","family":"van Eck","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,8,3]]},"reference":[{"issue":"4","key":"9038_CR1","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/s10270-003-0032-z","volume":"2","author":"D. Akehurst","year":"2003","unstructured":"Akehurst, D., Kent, S., & Patrascoiu, O. (2003). A relational approach to defining and implementing transformations between metamodels. Software and Systems Modeling, 2(4), 215\u2013239, Springer.","journal-title":"Software and Systems Modeling"},{"key":"9038_CR2","unstructured":"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."},{"key":"9038_CR3","unstructured":"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."},{"key":"9038_CR4","doi-asserted-by":"crossref","unstructured":"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\u2019l J. Cooperative Information Systems (IJCIS), World Scientific, 599\u2013632.","DOI":"10.1142\/S0218843006001505"},{"key":"9038_CR5","doi-asserted-by":"crossref","unstructured":"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\u2019l Conference, LNCS, vol. 4025, Springer, 213\u2013227.","DOI":"10.1007\/11773887_17"},{"key":"9038_CR6","doi-asserted-by":"crossref","unstructured":"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\u201906), IEEE Computer Society Press, 355\u2013366.","DOI":"10.1109\/EDOC.2006.45"},{"key":"9038_CR7","doi-asserted-by":"crossref","unstructured":"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\u2019l Conf. on Enterprise Distributed Object Computing (EDOC 2003). IEEE CS Press, 112\u2013134.","DOI":"10.1109\/EDOC.2003.1233842"},{"key":"9038_CR8","unstructured":"Bolognesi, T., van de Lagemaat, J., & Vissers, C. (Eds.) (1995). LOTOSphere: Software development with LOTOS. Norwell, MA: Kluwer."},{"key":"9038_CR9","doi-asserted-by":"crossref","unstructured":"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\u201394.","DOI":"10.1109\/ISSRE.2006.27"},{"key":"9038_CR10","volume-title":"Eclipse modeling framework","author":"F. Budinsky","year":"2003","unstructured":"Budinsky, F., et al. (2003). Eclipse modeling framework. Reading, MA: Addison-Wesley."},{"key":"9038_CR11","unstructured":"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."},{"key":"9038_CR12","unstructured":"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."},{"issue":"2","key":"9038_CR13","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1109\/TSE.2003.1178051","volume":"29","author":"A. F. Egyed","year":"2003","unstructured":"Egyed, A. F. (2003). A scenario-driven approach to trace dependency analysis. IEEE Transactions on Software Engineering, 29(2), 116\u2013132.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"9038_CR14","doi-asserted-by":"crossref","first-page":"77","DOI":"10.5381\/jot.2003.2.4.c7","volume":"2","author":"D. Firesmith","year":"2003","unstructured":"Firesmith, D. (2003). Specifying good requirements. Journal of Object Technology, 2(4), 77\u201387.","journal-title":"Journal of Object Technology"},{"key":"9038_CR15","unstructured":"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\u2014Model Design and Validation (SIVOES-Modeva), 2004."},{"key":"9038_CR16","doi-asserted-by":"crossref","unstructured":"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\u201904), LNCS, vol. 3047, Springer, 230\u2013240.","DOI":"10.1007\/978-3-540-24769-2_20"},{"key":"9038_CR17","doi-asserted-by":"crossref","unstructured":"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\u201900), IEEE CS Press, 108\u2013119.","DOI":"10.1109\/ICSM.2000.883025"},{"key":"9038_CR18","unstructured":"Gotel, O. (1995). Contribution structures for requirements traceability. Ph.D. Thesis. London, England: Department of Computing, Imperial College."},{"key":"9038_CR19","doi-asserted-by":"crossref","unstructured":"Gotel, O., & Finkelstein, A. (1994). An analysis of the requirements traceability problem. Proc. First Int\u2019l Conf. Requirements Engineering, 94\u2013101.","DOI":"10.1109\/ICRE.1994.292398"},{"key":"9038_CR20","unstructured":"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\u201318, 2004), http:\/\/heim.ifi.uio.no\/~janoa\/wmdd2004\/papers"},{"issue":"6","key":"9038_CR21","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S1571-0661(04)80620-0","volume":"82","author":"R. Heckel","year":"2003","unstructured":"Heckel, R., & Lohmann, M. (2003). Towards model-driven testing. Electronic Notes in Theoretical Computer Science, 82(6), 1\u201311.","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"9038_CR22","unstructured":"IEEE (1998). IEEE Recommended Practice for Software Requirements Specifications, IEEE Std 830-1998."},{"key":"9038_CR23","unstructured":"IEEE (2002). IEEE Standard Glossary of Software Engineering Terminology, IEEE Std. 610.12-1990 (R2002)."},{"key":"9038_CR24","unstructured":"ISO\/ITU-T (1995), Open Distributed Processing\u2014Reference Model\u2014Part 2: Foundations, International Standard ISO\/IEC 10746-2, ITU-T Recommendation X.902."},{"key":"9038_CR25","unstructured":"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\u201903, San Francisco, CA, USA."},{"key":"9038_CR26","unstructured":"K\u00fcster, 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."},{"key":"9038_CR27","unstructured":"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"},{"key":"9038_CR28","doi-asserted-by":"crossref","unstructured":"Lin, Y., Zhang, J., & Gray, J. (2005). A testing framework for model transformations. Model-driven Software Development\u2014Research and Practice in Software Engineering, 219\u2013236. New York: Springer.","DOI":"10.1007\/3-540-28554-7_10"},{"issue":"4","key":"9038_CR29","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1109\/32.385972","volume":"21","author":"M. Moriconi","year":"1995","unstructured":"Moriconi, M., Qian, X., & Riemenschneider, R. A. (1995). Correct architecture refinement. IEEE Transactions on Software Engineering, 21(4), 356\u2013372, IEEE Computer Society Press.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9038_CR30","unstructured":"Object Management Group (2003a), MDA-Guide, V1.0.1, omg\/03-06-01."},{"key":"9038_CR31","unstructured":"Object Management Group (2003b), Unified modelling language: Object constraint language version 2.0, ptc\/03-10-04."},{"key":"9038_CR32","unstructured":"Object Management Group (2005), MOF QVT final adopted specification, ptc\/05-11-01."},{"key":"9038_CR33","first-page":"15","volume-title":"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 \u201906)","author":"C. Pfaller","year":"2006","unstructured":"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 \u201906) (pp. 15\u201321). New York, NY: ACM."},{"key":"9038_CR34","doi-asserted-by":"crossref","unstructured":"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\u201330.","DOI":"10.3233\/JID-2002-6101"},{"issue":"1","key":"9038_CR35","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1109\/32.895989","volume":"27","author":"B. Ramesh","year":"2001","unstructured":"Ramesh, B., & Jarke, M. (2001). Toward reference models for requirements traceability. IEEE Transactions on Software Engineering, 27(1), 58\u201393.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9038_CR36","unstructured":"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."},{"key":"9038_CR37","unstructured":"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."},{"key":"9038_CR38","volume-title":"Analysis of crosscutting across software development phases based on traceability. Proceedings of the 2006 International Workshop on Early Aspects at ICSE","author":"K. Berg van den","year":"2006","unstructured":"van den Berg, K., Conejero, J. M., & Hern\u00e1ndez, 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\u201350). New York: ACM."},{"key":"9038_CR39","unstructured":"van den Berg, K., Tekinerdogan, B., & Nguyen, H. (2006b). Analysis of crosscutting in model transformations. ECMDA Traceability Workshop, SINTEF Report A219, 51\u201364."},{"key":"9038_CR40","unstructured":"Wright, S. (1991). Requirements Traceability\u2014What? 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."},{"key":"9038_CR41","first-page":"1028","volume-title":"The first international workshop on automation of software test. Proceeding of the 28th International Conference on Software Engineering (ICSE \u201906)","author":"H. Zhu","year":"2006","unstructured":"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 \u201906)(pp. 1028\u20131029), New York, NY: ACM."}],"container-title":["Information Systems Frontiers"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10796-007-9038-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10796-007-9038-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10796-007-9038-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T02:07:53Z","timestamp":1737338873000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10796-007-9038-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,8,3]]},"references-count":41,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2007,9]]}},"alternative-id":["9038"],"URL":"https:\/\/doi.org\/10.1007\/s10796-007-9038-3","relation":{},"ISSN":["1387-3326","1572-9419"],"issn-type":[{"type":"print","value":"1387-3326"},{"type":"electronic","value":"1572-9419"}],"subject":[],"published":{"date-parts":[[2007,8,3]]}}}