Papers by Anantha Narayanan
This report summarizes the presentations, discussions, and recommendations of the National Instit... more This report summarizes the presentations, discussions, and recommendations of the National Institute of Standards and Technology (NIST) Workshop "Sustainable Manufacturing: Metrics, Standards, and Infrastructure" held at NIST, Gaithersburg, Maryland, USA, October 13 through October 15, 2009. The primary objective of this Workshop was to bring together experts and various stakeholders to identify and discuss measurement and standards enablers that positively affect the social, economic, environmental, and technological aspects of designing sustainable production processes and products. The Workshop was well attended and consisted of thirty presentations organized under five sessions: 1) Government Initiatives; 2) Industry Perspectives; 3) University Research; 4) Non-Government Organizations (NGOs) research; and 5) Solution Provider's Views. Two breakout sessions and an industry panel provided a set of recommendations for addressing critical issues in sustainable manufacturing.
Model based techniques have become very popular in the development of software for embedded syste... more Model based techniques have become very popular in the development of software for embedded systems, with a variety of tools for design, simulation and analysis of model based systems being available (such as Matlab’s Simulink [20], the model checking tool NuSMV [4] etc.). Model transformations usually play a critical role in such model based development approaches. While the available tools are geared to verify properties about individual models, the correctness of model transformations is generally not verified. However, errors in the transformation could present serious problems. Proving a property for a certain source model becomes irrelevant if an erroneous transformation produces an incorrect target model. One way to provide assurance about a transformation would be to prove that it preserves certain properties of the source model (such as reachability) in the target model. In this paper, we present some general approaches to providing such assurances about model transformations. We will present some case studies where these techniques can be applied.
ABSTRACT The correctness of a model transformation is central to the success of a model-driven so... more ABSTRACT The correctness of a model transformation is central to the success of a model-driven software development process. A transformation can be said to have executed correctly if it resulted in the desired output model, but this requires a specification of what constitutes a ...
In the industrial applications of Model-Based Development, the evolution of modeling languages is... more In the industrial applications of Model-Based Development, the evolution of modeling languages is an inevitable issue. The migration to the new language involves the reuse of the existing artifacts created for the original language, such as models and model transformations. This paper is devoted to an evolution method for model transformations as well as the related algorithms. The change description is assumed to be available in a modeling language specific to the evolution. Based on the change description, our method is able to automate certain parts of the evolution. When automation is not possible, our algorithms automatically alert the user about the missing semantic information, which can then be provided manually after the automatic part of the interpreter evolution. The algorithms have been implemented and tested in an industrial environment. The results indicate that the semi-automated evolution of model transformations decreases the time and effort required with a manual approach.
... (GraBaTs 2006) The Graph Rewriting and Transformation Language: GReAT ... 2.2 Transformation ... more ... (GraBaTs 2006) The Graph Rewriting and Transformation Language: GReAT ... 2.2 Transformation Rule The basic transformation entity in GReAT is a production rule. ...
Graph transformation provides an intuitive mechanism for capturing model transformations. In the ... more Graph transformation provides an intuitive mechanism for capturing model transformations. In the current paper, we investigate and compare various graph transformation tools using a compact practical model transformation case study carried out as part of the AGTIVE 2007 Tool Contest [22]. The aim of this case study is to generate formal CSP processes from high-level UML activity diagrams, which enables to carry out mathematical analysis of the system under design.
ECEASST A Subgraph Operator for Graph Transformation Languages Daniel Balasubramanian, Anantha Na... more ECEASST A Subgraph Operator for Graph Transformation Languages Daniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Feng Shi, Ryan Thibodeaux, and Gabor Karsai Institute for Software-Integrated Systems Vanderbilt University Nashville, TN ...
Abstract. The usability of model transformation languages depends on the level of abstractions on... more Abstract. The usability of model transformation languages depends on the level of abstractions one can work with in rules to perform complex operations on models. Recently, we have introduced a novel operator for our model transfor-mation language GReAT that allows the concise ...
Electronic Communication of The European Association of Software Science and Technology, 2008
Abstract: Model transformations play a significant role in model based software development, and ... more Abstract: Model transformations play a significant role in model based software development, and the correctness of the transformation is crucial to the success of the development effort. We have previously shown how we can use bisimulation to verify the preservation ...
Electronic Notes in Theoretical Computer Science, 2008
In model-based software development, a complete design and analysis process involves designing th... more In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and performing the verification and analysis on the analysis model. Graph transformation is increasingly being used to automate this conversion. In such a scenario, it is very important that the conversion preserves the semantics of the design model. This paper discusses an approach to verify this semantic equivalence for each transformation. We will show how to check whether a particular transformation resulted in an output model that preserves the semantics of the input model with respect to a particular property.
Abstract The essence of model based software development for domain specic,appli- cations is in t... more Abstract The essence of model based software development for domain specic,appli- cations is in the denition,of a meta-model that captures the key aspects of the domain. However, the meta-model rarely denes the domain completely, and must often be modied,to reect,our improved understanding of the domain dur- ing the course of development and subsequent use of domain specic,software. The modication of the meta-model creates a versioning problem, whereby ex- isting models may no longer conform to the modied,meta-model. This report describes the Universal Model Migrator, a tool that allows domain designers to declaratively specify incremental modications to their meta-models, in order to facilitate the automatic evolution of domain models to remain conformant to the latest version of the meta-model.
Metamodel evolution is a significant problem in domain specific software development for several ... more Metamodel evolution is a significant problem in domain specific software development for several reasons. Domain-specific modeling languages (DSMLs) are likely to evolve much more frequently than programming languages and commonly used software formalisms, often resulting in a large number of valuable instance models that are no longer compliant with the metamodel. In this paper, we present the Model Change Language (MCL), aimed at satisfying these requirements.
Electronic Notes in Theoretical Computer Science, 2004
Software engineering tools based on Graph Transformation techniques are becoming available, but t... more Software engineering tools based on Graph Transformation techniques are becoming available, but their practical applicability is somewhat reduced by the lack of idioms and design patterns. Idioms and design patterns provide prototypical solutions for recurring design problems in software engineering, but their use can be easily extended into software development using graph transformation systems. In this paper we briefly present a simple graph transformation language: GREAT, and show how typical design problems that arise in the context of model transformations can be solved using its constructs. These solutions are similar to software design patterns, and intend to serve as the starting point for a more complete collection.
Embedded software is widely used in automotive applications, often in critical situations where r... more Embedded software is widely used in automotive applications, often in critical situations where reliability of the system is extremely important. Such systems often use model based development approaches. Model transformation is an important step in such scenarios. This includes generating code from models, transforming design models into analysis models, or transforming a model between variants of a formalism (such as variants of Statecharts). It becomes important to verify that the transformation was correct, and the transformed model or code preserved the semantics of the design model. In this paper, we will look at a technique called “goal-directed certification” that provides a pragmatic solution to the verification problem. We will see how we can use concepts of bisimulation to verify whether a certain transformation instance preserved certain properties. We will then extend this idea using weak bisimulation and semantic anchoring, to a more general class of transformations.
Abstract Recent advances in software processes and artifacts for automating middleware configurat... more Abstract Recent advances in software processes and artifacts for automating middleware configurations in distributed real-time and embedded (DRE) systems are starting to address the complexities faced by system developers in dealing with the flexibility and configurability provided by ...
Uploads
Papers by Anantha Narayanan