物件導向軟體之架構(Object-Oriented Software Construction)探討

Model transformations are touted to play a key role in Model Driven DevelopmentTM. Although well-established standards for creating metamodels such as the Meta-Object Facility exist, there is currently no mature foundation for specifying transformations among models. We propose a framework for the classification of several existing and proposed model transformation approaches. The classification framework is given as a feature model that makes explicit the different design choices for model transformations. Based on our analysis of model transformation approaches, we propose a few major categories in which most approaches fit.

/pdf/feature-based-survey-of-model-transformation-approaches-2hq9yv60ag.pdf

Feature-based survey of model transformation approaches

Traceability--the ability to follow the life of software artifacts--is a topic of great interest to software developers in general, and to requirements engineers and model-driven developers in particular. This article aims to bring those stakeholders together by providing an overview of the current state of traceability research and practice in both areas. As part of an extensive literature survey, we identify commonalities and differences in these areas and uncover several unresolved challenges which affect both domains. A good common foundation for further advances regarding these challenges appears to be a combination of the formal basis and the automated recording opportunities of MDD on the one hand, and the more holistic view of traceability in the requirements engineering domain on the other hand.

https://link.springer.com/content/pdf/10.1007%2Fs10270-009-0145-0.pdf

A survey of traceability in requirements engineering and model-driven development

We consider the OMG’s queries, views and transformations standard as applied to the specification of bidirectional transformations between models. We discuss what is meant by bidirectional transformations, and the model-driven development scenarios in which they are needed. We analyse the fundamental requirements on tools which support such transformations, and discuss some semantic issues which arise. In particular, we show that any transformation language sufficient to the needs of model-driven development would have to be able to express non-bijective transformations. We argue that a considerable amount of basic research is needed before suitable tools will be fully realisable, and suggest directions for this future research.

/pdf/bidirectional-model-transformations-in-qvt-semantic-issues-3x65k1xh7t.pdf

Bidirectional model transformations in QVT: semantic issues and open questions

Software traceability is a sought-after, yet often elusive quality in software-intensive systems. Required in safety-critical systems by many certifying bodies, such as the USA Federal Aviation Authority, software traceability is an essential element of the software development process. In practice, traceability is often conducted in an ad-hoc, after-the-fact manner and, therefore, its benefits are not always fully realized. Over the past decade, researchers have focused on specific areas of the traceability problem, developing more sophisticated tooling, promoting strategic planning, applying information retrieval techniques capable of semi-automating the trace creation and maintenance process, developing new trace query languages and visualization techniques that use trace links, and applying traceability in specific domains such as Model Driven Development, product line systems, and agile project environments. In this paper, we build upon a prior body of work to highlight the state-of-the-art in software traceability, and to present compelling areas of research that need to be addressed.

/pdf/software-traceability-trends-and-future-directions-39ndkmlc9z.pdf

Software traceability: trends and future directions

Tool Integration with Triple Graph Grammars - A Survey

The crucial point in Model Driven Architecture (MDA) is that software and system development are based on abstract models that are successively transformed into more specific models, ideally resulting in the desired system To this end, developers must be enabled to model different aspects like structure, behavior, consistency constraints of the system This results in a variety of related models, which in turn need tool support on the metalevel However, there is a lack of tools offering uniform support for metamodel definition, analysis, transformation, and integration In this paper we present the metamodeling framework MOFLON that addresses these issues by bringing together the latest OMG standards with graph transformations and their formal semantics MOFLON provides a combination of visual and textual notations and offers powerful modularization concepts Using MOFLON, developers can generate code for specific tools needed to perform the desired modeling tasks

MOFLON: a standard-compliant metamodeling framework with graph transformations

Model Driven Application Development (MDA) is OMG’s vision of model-based software system development. MDA is based on the idea of automatically transforming abstract models into more specific models. In this paper we explain our model integration approach tackling a common case study. Our approach implements triple graph grammars which are declarative and brings them together with OMG’s MOF standard. From a set of declarative triple graph grammar rules we (semi−)automatically derive operational graph grammar rules that can be used for consistency checking, consistency recovery, and model transformation using rule application mechanisms. Thus, triple graph grammar are suitable for model integration in general and model transformation in particular.

Model transformation with triple graph grammars

Nowadays, a typical software development process involves many developers which participate in the development process by using a wide variety of development tools. As a consequence, the data representing the project as a whole is distributed over different development tools. For the purpose of consistency, maintainability, and traceability it is an essential task to be aware of the relationships between semantic equivalent data in different tool repositories. The real-time systems Lab at the Technische Universitat Darmstadt performs research in the area of tool and metamodel integration to provide solutions to overcome this gap. In this demonstration we present the metamodeling framework MOFLON that addresses these issues by bringing together the latest OMG standards with graph transformations and triple graph grammars. Using MOFLON, developers can generate code for specific tools needed to perform analysis and transformation on one development tool or to incrementally integrate data of different modeling tools.

Metamodel-based tool integration with moflon

Current rule-based model transformation approaches as the Query / View / Transformation (QVT) standard or Triple Graph Grammars (TGGs) disregard means for structuring model transformation specifications. As a result large scale model transformation specifications are hard to understand and to maintain. Furthermore, these specifications cannot utilize reusing mechanisms which would reduce the size of the specifications and improve their readability. In this paper we discuss how to transfer means for structuring huge metamodels and models as provided by common modeling languages to the world of model transformation languages. We focus on generalization issues as well as on package dependencies. As a result we come up with an extension to our TGG approach that enables the user to specify structured bidirectional model transformations in a declarative way.

Alexander Königs

Papers

Tool Integration with Triple Graph Grammars - A Survey

MOFLON: a standard-compliant metamodeling framework with graph transformations

Model transformation with triple graph grammars

Metamodel-based tool integration with moflon

Model transformation in the large