Toward Reference Models for Requirements Traceability
IEEE Transactions on Software Engineering
xlinkit: a consistency checking and smart link generation service
ACM Transactions on Internet Technology (TOIT)
Recovering Traceability Links between Code and Documentation
IEEE Transactions on Software Engineering
Supporting Event Based Traceability through High-Level Recognition of Change Events
COMPSAC '02 Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment
Change Analysis: A Step towards Meeting the Challenge of Changing Requirements
ECBS '96 Proceedings of the IEEE Symposium and Workshop on Engineering of Computer Based Systems
Contribution structures [Requirements artifacts]
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
IBM Systems Journal - Model-driven software development
ATL: a QVT-like transformation language
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Analyzing and Systematizing Current Traceability Schemas
SEW '06 Proceedings of the 30th Annual IEEE/NASA Software Engineering Workshop
An end-to-end industrial software traceability tool
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Detecting and Repairing Inconsistencies across Heterogeneous Models
ICST '08 Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation
The Epsilon Transformation Language
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
The Epsilon Generation Language
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
On the Use of Higher-Order Model Transformations
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Enabling Automated Traceability Maintenance through the Upkeep of Traceability Relations
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Scenarios of traceability in model to text transformations
ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
Distinguishing between instances and classes in the wikipedia taxonomy
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Incremental model synchronization with triple graph grammars
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Domain-specific metamodelling languages for software language engineering
SLE'09 Proceedings of the Second international conference on Software Language Engineering
Designing a domain-specific contract language: a metamodelling approach
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Toward standardised model to text transformations
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
TexMo: a multi-language development environment
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Information and Software Technology
Cross-language support mechanisms significantly aid software development
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Systems analysis of life cycle of large-scale information-control systems
Automation and Remote Control
Journal of Systems and Software
Hi-index | 0.00 |
Model-driven engineering (MDE) involves the construction and manipulation of many models of different kinds in an engineering process. In principle, models can be used in the product engineering lifecycle in an end-to-end manner for representing requirements, designs and implementations, and assisting in deployment and maintenance. The manipulations applied to models may be manual, but they can also be automated--for example, using model transformations, code generation, and validation. To enhance automated analysis, consistency and coherence of models used in an MDE process, it is useful to identify, establish and maintain trace-links between models. However, the breadth and scope of trace-links that can be used in MDE is substantial, and managing trace-link information can be very complex. In this paper, we contribute to managing the complexity of traceability information in MDE in two ways: firstly, we demonstrate how to identify the different kinds of trace-links that may appear in an end-to-end MDE process; secondly, we describe a rigorous approach to defining semantically rich trace-links between models, where the models themselves may be constructed using diverse modelling languages. The definition of rich trace-links allows us to use tools to maintain and analyse traceability relationships.