Although a feature model can represent commonalities and variabilities in a very concise taxonomic form, features in a feature model are merely symbols. Mapping features to other models, such as behavioral or data spe...
详细信息
ISBN:
(纸本)3540291385
Although a feature model can represent commonalities and variabilities in a very concise taxonomic form, features in a feature model are merely symbols. Mapping features to other models, such as behavioral or data specifications, gives them semantics. In this paper, we propose a general template-based approach for mapping feature models to concise representations of variability in different kinds of other models. We show how the approach can be applied to, UML 2.0 activity and class models and describe a prototype implementation.
We present a domain-specific-language (DSL) for writing instances of a class of filter programs. The values in the language are symbolic and independent of a concrete precision. Efficient code generation is required t...
详细信息
ISBN:
(纸本)3540291385
We present a domain-specific-language (DSL) for writing instances of a class of filter programs. The values in the language are symbolic and independent of a concrete precision. Efficient code generation is required to fit the program onto a target device limited in both memory and processing power. We construct an interpreter for the DSL in a language specific to the device which contains the semantics of the target instruction set embedded within a declarative meta-language. The compiler is automatically generated from the interpreter through specialisation. This extension of the instruction set allows the construction of an interpreter for the DSL that is both simple and clear. In particular it allows us to declare static representations of the symbolic values, and have the specialisation of the code produce operate upon these values in the instruction set of the target device.
component-oriented programming yields a tension between higher-order features (deployment, reconfiguration, passivation), encapsulation, and component sharing. We propose a discipline for component-oriented programmin...
详细信息
With Gaussian Elimination as a representative family of numerical and symbolic algorithms, we use multi-stage programming, monads and Ocaml's advanced module system to demonstrate the complete elimination of the a...
详细信息
ISBN:
(纸本)3540291385
With Gaussian Elimination as a representative family of numerical and symbolic algorithms, we use multi-stage programming, monads and Ocaml's advanced module system to demonstrate the complete elimination of the abstraction overhead while avoiding any inspection of the generated code. We parameterize our Gaussian Elimination code to a great extent (over domain, matrix representations, determinant tracking, pivoting policies, result types, etc). at no run-time cost. Because the resulting code is generated just right and not changed afterwards, we enjoy MetaOCaml's guaranty that the generated code is well-typed. We further demonstrate that various abstraction parameters (aspects) can be made orthogonal and compositional, even in the presence of name-generation for temporaries and other bindings and "interleaving" of aspects. We also show how to encode some domain-specific knowledge so that "clearly wrong" compositions can be statically rejected by the compiler when processing the generator rather than the generated code.
The goal of the presented research is to face the topic of reconfigurable control software development in a concrete fashion, i.e., by presenting a control software system development approach which has been used for ...
详细信息
ISBN:
(纸本)078039402X
The goal of the presented research is to face the topic of reconfigurable control software development in a concrete fashion, i.e., by presenting a control software system development approach which has been used for a specific, although easy to be generalized, robotized manufacturing cell component. In particular, a methodology for the control software development of a planar robot (2-degrees of freedom) is presented, from the conceptual design to the actual implementation. The methodology suggests UAL and object-oriented modeling and programming techniques for the design phase, while AWL programming language run by a PLC for the implementation phase. The analysis has been conducted considering the internal and external requirements of the manufacturing system which comprises the. robot, mostly driven by the contemporary industrial need of reconfigurable control systems, critical key to succeed in the new era of mass customization.
This work provides a comparative report on intrinsic parallel programming (IPP) methodologies: structured, Descriptive, and component-based. Its main objective is to develop an aid for programmers that will allow them...
详细信息
ISBN:
(纸本)0780385314
This work provides a comparative report on intrinsic parallel programming (IPP) methodologies: structured, Descriptive, and component-based. Its main objective is to develop an aid for programmers that will allow them to select suitable tools which will enable them to construct hardware-independent application programs. It is true that every problem addressed using parallel methods does not necessarily employ IPP methodologies. Notwithstanding, however the hardware-independence of IPP methods makes them particularly suitable for software development in heterogeneous parallel and distributed systems. This comparison ranks the three programming paradigms using a pairwise method. The rating criteria is thus :maturity, adoption, implicitness, and standardization;all having equal weights. It is concluded that structured parallelism is the highest ranked methodology.
We identify a special category of applications that manage delivery of services by reporting and configuring services based on data collected in the delivery of services. Managed delivery has typically been an aspect ...
详细信息
ISBN:
(纸本)3540235809
We identify a special category of applications that manage delivery of services by reporting and configuring services based on data collected in the delivery of services. Managed delivery has typically been an aspect of software systems entangled in domain specific application logic. generative approaches, and in particular domain specific languages, have attempted to release application logic from such aspects. We demonstrate that such aspects can be considered applications in their own right. For managed delivery of services, key elements of a generative approach are the domain specialist, reports, metrics, data model, configuration parameters, rules, and template-based generation.
We present two case studies demonstrating the use of type-equality constraints in a meta-language to enforce semantic invariants of object-language programs such as scoping and typing rules. We apply this technique to...
详细信息
ISBN:
(纸本)3540235809
We present two case studies demonstrating the use of type-equality constraints in a meta-language to enforce semantic invariants of object-language programs such as scoping and typing rules. We apply this technique to several interesting problems, including (1) the construction of tagless interpreters;(2) statically checking de Bruijn indices involving pattern-based binding constructs;and (3) evolving embedded DSL implementations to include domain-specific types and optimizations that respect those types.
We present engineering methods how to systematically introduce control states into communication based specifications of interactive components. We introduce control states as abstractions of the input history and tra...
详细信息
ISBN:
(纸本)1932415300
We present engineering methods how to systematically introduce control states into communication based specifications of interactive components. We introduce control states as abstractions of the input history and transform the component's input/output behaviour into a state based description. We illustrate the methods with five case studies, viz. a single pulser, a merge component, a distribution component, a selection component, and an interactive stack.
Object database management systems (ODBMSs) typically offer fixed approaches to evolve the schema of the database and adapt existing instances accordingly. Applications, however, have very specialised evolution requir...
详细信息
ISBN:
(纸本)3540235809
Object database management systems (ODBMSs) typically offer fixed approaches to evolve the schema of the database and adapt existing instances accordingly. Applications, however, have very specialised evolution requirements that can often not be met by the fixed approach offered by the ODBMS. In this paper, we discuss how aspect-oriented programming (AOP) has been employed in the AspOEv evolution framework, which supports flexible adaptation and introduction of evolution mechanisms - for dynamic evolution of the schema and adaptation of existing instances - governing an object database. We argue that aspects support flexibility in the framework by capturing crosscutting hot spots (customisation points in the framework) and establishing their causality relationships with the custom evolution approaches. Furthermore, aspects help in information hiding by screening the database programmer from the complexity of the hot spots manipulated by custom evolution mechanisms. They also make it possible to preserve architectural constraints and specify custom version polymorphism policies.
暂无评论