Citation Context

... cover) all aspects of a program. AHEAD allows any number of related specifications to be composed. In this regard, AHEAD is less like algebraic specification and more like model-driven architectures =-=[37]-=-, where a system is defined using multiple distinct and overlapping specifications. 10.1.3 Functional Programming The idea that the architectural designs of programs can be given a functional form is ...

Citation Context

... applications 3.1 Definitions Model-driven engineering has received a lot of attention recently, especially with the raise of the MDA initiative of theOMG.Meanwhile,therehasbeenablossomingofnew terms =-=[8]-=- and TLAs (Three Letter Acronyms), like PIM or PSM. However, basic notions like the platform concept itself are still loosely defined, and therefore for the sake of precision (and in the context of th...

Citation Context

... code but ignores the other dimensions [57]. Current work in this area attempts to build the program directly from the design using model-driven development and model-driven architectures [12], [32], =-=[38]-=-, [58]. Here, the various UML views of the system are augmented with enough details to have code generate directly from the UML model. The system evolves by evolving the model. While there are potenti...

Citation Context

...per code to adapt the component to the actual environment. This often brings some disadvantages such as performance penalties etc. Unfortunately, we cannot simple extract the design from existing code and build an adapted component from it, because code is the result of the amalgamation of both design and technology. It is difficult to recognize design in large projects, because it tends to get lost in the brittle structure of libraries and code. As a consequence, design reuse is hard to achieve, as it is not supported in current software development. For that reason, Model-Driven Development [12] proposes to model systems on a higher level of abstraction - independent of a particular technology - and to automatically transform a design into code. This kind of development promises faster time-to-marked and cost reduction because specifications on a more abstract level simplify development. If we for example have the design specification of the CORBA component mentioned above, we can automatically generate a .Net version of this component based on the abstract design. More precisely, the exact extent of the generation depends on the degree of modeled information in the design model. If ...

Citation Context

...terization and reconfiguration support for the features. Compared to our approach, framed aspects are applied at the implementation level only. Model-Driven Engineering MDD (Model-Driven Development) =-=[20]-=- promotes an approach where models of the same system are usually derived from each other leading to better alignment between the models. MDA (Model-Driven Architecture) [21] is a recent initiative by...

Citation Context

... UML 1 Introduction In recent years, model-driven software development (MDD) emerged as a software engineering technique for the specification of tailored domain-specific software systems (see, e.g., =-=[1, 2]-=-). The modeling of complex domain artifacts helps to understand these problems and potential solutions through abstraction [3]. Inthissense,MDDraisesthelevelofabstractioninthe software engineering pro...

Citation Context

...and efficientssoftware production process shall adequately handle them.sA software production paradigm that is gainingsacceptance in the last years is Model-Driven Developments(MDD) [5]. According to =-=[6]-=-, “Model-driven development isssimply the notion that we can construct a model of a systemsthat we can then transform into the real thing”. In otherswords, MDD uses models as the primary artifact of t...