Learn More
Model differentiation techniques, which provide the capability to identify mappings and differences between models, are essential to many model development and management practices. There has been initial research toward model differentiation applied to UML diagrams, but differentiation of domain-specific models has not been explored deeply in the modeling(More)
As models and model transformations are elevated to first-class artifacts within the software development process, there is an increasing need to provide support for techniques and methodologies that are currently missing in modeling practice, but provided readily in other stages of the development lifecycle. Within a model transformation infrastructure, it(More)
Refactoring is an essential approach toward improving the internal structure of a software system while preserving its external behavior. Traditional refactoring techniques have focused on the implementation stage, with source code as the primary artifact of the refactoring process. However, a recent trend is to apply the concepts of refactoring to higher(More)
This paper presents three contributions to the challenges of applying the OMG Model Driven Architecture (MDA) to develop and deploy distributed real-time and embedded (DRE) applications. First, we motivate our MDA tool called CoSMIC, which is based on the Model Integrated Computing (MIC) paradigm that provides the intellectual foundation for MDA. Second, we(More)
The problem of tool integration often occurs in the design and implementation of large computer-based systems that rely on software-based engineering tools. Each specialized tool contributes to a crucial step in the engineering process. It would be beneficial to capture the information in the context of one tool and use it in a different tool. However,(More)
The development of Distributed Real-Time and Embedded (DRE) systems is often a challenging task due to conflicting Quality of Service (QoS) constraints that must be explored as trade-offs among a series of alternative design decisions. The ability to model a set of possible design alternatives, and to analyze and simulate the execution of the representative(More)
Model transformations (MTs) are central artifacts in modeldriven engineering (MDE) that define core operations on models. Like other software artifacts, MTs may possess defects (bugs). Some MDE tools provide support for debugging. In this paper, we describe an omniscient debugging technique. Our technique enhances stepwise execution support for MTs by(More)
Domain-specific modeling (DSM) assists in the creation of visual modeling environments that match the intentions and abstractions of a specific class of end-users. As stepwise refinement is applied, the models may undergo a series of structural and behavioral transformations. The Embedded Constraint Language (ECL) is a textual language for describing(More)
As models and model transformations are elevated to first-class artifacts within the software development process, there is an increasing need to introduce core software engineering principles into modeling activities. In this position paper, we identify model comparison algorithms as a key toward addressing best practices associated with model(More)