Requirements traceability and transformation conformance in model-driven development

Proceedings - IEEE International Enterprise Distributed Object Computing Workshop, EDOC

Volumn , Issue , 2006, Pages 355-366

  Almeida, João Paulo ^a   Van Eck, Pascal ^b   Iacob, Maria Eugenia ^a  

^a TELEMATICA INSTITUUT   (Netherlands)

^b UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

Assessment; Conformance; Model transformation; Model driven design; Requirements traceability

Indexed keywords

COMPUTER AIDED DESIGN; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; PRODUCT DEVELOPMENT;

DESIGN ARTEFACTS; MODEL TRANSFORMATION; MODEL-DRIVEN DESIGN; REQUIREMENTS TRACEABILITY; TRANSFORMATION CONFORMANCE;

REQUIREMENTS ENGINEERING;

EID: 36148958513     PISSN: 15417719     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EDOC.2006.45     Document Type: Conference Paper

References (27)

1. D. Akehurst, S. Kent, and O. Patrascoiu, "A relational approach to defining and implementing transformations between metamodels", Software and Systems Modeling, vol. 2. no. 4, Springer-Verlag, 2003, pp. 215-239.
2. J.P.A. Almeida, Model-Driven Design of Distributed Applications, CTIT Ph.D.-Thesis Series, No. 06-85, Telematica Instituut Fundamental Research Series, No. 018, 2006.
3. J.P.A. Almeida, H. Jonkers, M.E. Iacob, and D. Quartel, Platform-Independent Modelling of Service Infrastructure Components: Towards the A-MUSE Abstract Platform, Freeband A-MUSE/D1.6, Telematica Instituut, The Netherlands, 2005; https://doc.telin.nl/dscgi/ds.py/Get/ File-59319
4. J.P.A. Almeida, R. Dijkman, L. Ferreira Pires, D. Quartel, and M. van Sinderen, "Model Driven Design, Refinement and Transformation of Abstract Interactions", Int'l J. Cooperative Information Systems (IJCIS), World Scientific, to appear.
5. J.P.A. Almeida, R. Dijkman, M. van Sinderen and L. Ferreira Pires, "On the Notion of Abstract Platform in MDA Development," Proc. 8th IEEE Int'l Conf. on Enterprise Distributed Object Computing (EDOC 2004), IEEE CS Press, Sept. 2004, pp. 253-263.
6. J.P.A. Almeida, M. van Sinderen, L. Ferreira Pires and D. Quartel, "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, Sept. 2003, pp. 112-134.
7. J.P.A. Almeida, M.-E. Iacob, H. Jonkers, and D. Quartel, "Model-Driven Development of Context-Aware Services", Distributed Applications and Interoperable Systems (DAIS 2006), 6th IFIP International Conference, LNCS, vol. 4025, Springer, 2006, pp 213-227.
8. G. Arango, "Domain Analysis: from Art Form to Engineering Discipline," ACM SIGSOFT Software Engineering Notes, vol. 14, no. 3, ACM Press, May 1989, pp. 152-159.
9. T. Bolognesi, J. van de Lagemaat, and C. Vissers, eds., LOTOSphere: Software Development with LOTOS, Kluwer Academic Publishers, 1995.
10. R.M. Dijkman, Consistency in Multi-Viewpoint Architectural Design, CTIT Ph.D.-Thesis Series, No. 06-80, Telematica Instituut Fundamental Research Series, No. 017, 2006.
11. A.F. Egyed, "A Scenario-Driven Approach to Trace Dependency Analysis", IEEE Transactions on Software Engineering, 2003. vol. 29, no. 2, pp. 116-132.
12. D. Firesmith, "Specifying Good Requirements", in Journal of Object Technology, vol. 2, no. 4, July-August 2003, pp. 77-87; http://www.jot.fm/issues/issue_2003_07/column7
13. A. Gavras, M. Belaunde, L. Ferreira Pires, J.P.A. Almeida, "Towards an MDA-based Development Methodology for Distributed Applications", Software Architecture: First European Workshop (EWSA2004), LNCS, vol. 3047, Springer, 2004, pp. 230-240.
14. J.P. Gibson, T.F. Dowling, and B.A. Malloy, "The Application of Correctness Preserving Transformations to Software Maintenance", Proc. 16th IEEE International Conference on Software Maintenance (ICSM'00), IEEE CS Press, 2000, pp. 108-119.
15. O. Gotel and A. Finkelstein, "An Analysis of the Requirements Traceability Problem," Proc. First Int'l Conf. Requirements Eng., 1994, pp. 94-101.
16. O. Gotel, Contribution Structures for Requirements Traceability. Ph.D. Thesis, London, England: Imperial College, Department of Computing, 1995.
17. IEEE, IEEE Recommended Practice for Software Requirements Specifications, IEEE Std 830-1998, 1998.
18. ISO / ITU-T, Open Distributed Processing - Reference Model - Part 2: Foundations, International Standard ISO/IEC 10746-2, ITU-T Recommendation X.902, 1995.
19. H. Kremer, Protocol Implementation: Bridging the gap between Architecture and Realization, Ph.D. thesis, University of Twente, Enschede, The Netherlands, Oct. 1995.
20. M. Moriconi, X. Qian, and R.A. Riemenschneider, "Correct Architecture Refinement", IEEE Transactions on Software Engineering, 21(4), IEEE CS Press, April 2005.
21. D. Quartel, L. Ferreira Pires, and M. van Sinderen, "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, 2002.
22. Object Management Group, MDA-Guide, V1.0.1, omg/03-06-01, June 2003.
23. Object Management Group, MOF QVT Final Adopted Specification, ptc/05-11-01, Nov. 2005.
24. B. Ramesh, M. Jarke, "Toward reference models for requirements traceability", IEEE Transactions on Software Engineering, vol. 27, no. 1, Jan. 2001, pp. 58-93.
25. J. Schot, The role of Architectural Semantics in the formal approach of Distributed Systems design, Ph.D. thesis, University of Twente, Enschede, The Netherlands, Feb. 1992.
26. The Interaction Systems Design Language (ISDL); http://isdl.ctit.utwente.nl/
27. S. Wright, "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, December 2, 1991, pp. 1/1-1/2.