Change detection in hierarchically structured information
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Communications of the ACM
Handling crosscutting constraints in domain-specific modeling
Communications of the ACM
Differences between versions of UML diagrams
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
An end-to-end domain-driven software development framework
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Instant and Incremental Transformation of Models
Proceedings of the 19th IEEE international conference on Automated software engineering
Mapping EDOC to Web Services using YATL
EDOC '04 Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International
Replicators: transformations to address model scalability
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Automated model transformations based on STRIPS planning
Proceedings of the 6th International Workshop on Enterprise & Organizational Modeling and Simulation
| Hi-index | 0.00 |
As models are elevated to first-class artifacts within the software development lifecycle, the task of construction and evolution of large-scale system models becomes a manually intensive effort that can be very time consuming and error prone. To address these problems, this dissertation abstract presents a model transformation approach. There are three main features of this research. First, tasks of model construction and evolution are specified in a model transformation language (called the Embedded Constraint Language). Second, a core transformation engine (called C-SAW) is used to perform model transformation in an automated manner by executing the ECL transformation specification. Finally, testing and debugging tools at the modeling level are provided to assist in detecting errors in the model transformation.