965 Hits in 5.6 sec

Model Superimposition in Software Product Lines [chapter]

Sven Apel, Florian Janda, Salvador Trujillo, Christian Kästner
2009 Lecture Notes in Computer Science  
We propose to use superimposition as a model composition technique in order to support variability.  ...  Superimposition is a technique to merge code pieces belonging to different features.  ...  Many model transformation and composition techniques aim at more powerful, fine-grained, and semantics-based composition models [23, 24, 25, 26, 3, 2, 27] .  ... 
doi:10.1007/978-3-642-02408-5_2 fatcat:kjcsvbueufccfe4mtnrty5kk7i

Superimposition: a component adaptation technique

J. Bosch
1999 Information and Software Technology  
Existing component object models provide only limited support for component adaptation, i.e. white-box techniques such as copy-paste and inheritance and black-box approaches such as aggregation and wrapping  ...  To address these problems, this paper proposes superimposition, a novel black-box adaptation technique that allows one to impose predefined, but configurable types of functionality on a reusable component  ...  Superimposition as a concept is a very suitable technique for adapting components in a component-based system.  ... 
doi:10.1016/s0950-5849(99)00007-5 fatcat:emak4kbpbzbl7jw3b5qxcu3fua

Temporal Superimposition of Aspects for Dynamic Software Architecture [chapter]

Carlos E. Cuesta, María del Pilar Romay, Pablo de la Fuente, Manuel Barrio-Solórzano
2006 Lecture Notes in Computer Science  
Moreover, as most ADLs have a formal foundation, this can be used to provide an adequate formalization for the aspectual composition relationship, which is still under discussion.  ...  In this paper, we propose to base this architecture-level definition in the concept of superimposition, integrating the resulting framework into the processalgebraic, dynamic ADL named PiLar.  ...  It is syntactically identical to a composite component, which unfolds as a Katzian superimposition. Superimposition. Relationship which is implicitly introduced in the new model.  ... 
doi:10.1007/11768869_9 fatcat:6pkrvxpok5a3rlpcaqmndjlhde

Model Refinement in the Model Driven Architecture Context

2012 Journal of Computer Science  
The main advantages achieved with the use of the Module Superimposition technique are maintainability and reusability improvement, obtained through module composition and rule superimposition.  ...  ATL is a widely adopted language for solving model transformation problems in the MDA approach.  ...  Module superimposition: Module Superimposition is an internal composition technique in which a transformation module is superimposed by another transformation module (Wagelaar et al., 2010) .  ... 
doi:10.3844/jcssp.2012.1205.1211 fatcat:iva23yzbgba5fcbcbobohoxy2i

Modules for Crosscutting Models [chapter]

Mira Mezini, Klaus Ostermann
2003 Lecture Notes in Computer Science  
The hierarchy which we choose to decompose our software system into modules is to a large degree arbitrary, although it has a big influence on the software engineering properties of the software.  ...  We identify this arbitrariness of the decomposition hierarchy as the main cause of 'code tangling' and present a new model called Caesar 1 , within which it is possible to have multiple different decompositions  ...  Motivated by these observations, we are working on a language model, called Caesar, with explicit module support for crosscutting models.  ... 
doi:10.1007/3-540-44947-7_2 fatcat:xanrvfhrvnajdoflzcrovaztpu

Modularization of Refinement Steps for Agile Formal Methods [chapter]

Fabian Benduhn, Thomas Thüm, Ina Schaefer, Gunter Saake
2017 Lecture Notes in Computer Science  
While traditionally, each model in a refinement hierarchy must be developed and maintained separately, our concept allows developers to specify the refinement steps that transform a model into a refined  ...  We have developed tool support for the language AsmetaL and evaluated our approach by means of a case study.  ...  We thank Paolo Arcaini and Angelo Gargantini for their valuable support with the Asmeta framework and providing the original AsmetaL refinement sequence for the Landing Gear System case study.  ... 
doi:10.1007/978-3-319-68690-5_2 fatcat:bw736aitmvh6rhenrewbvnvwry

Language-Independent and Automated Software Composition: The FeatureHouse Experience

Sven Apel, Christian Kastner, Christian Lengauer
2013 IEEE Transactions on Software Engineering  
Superimposition is a composition technique that has been applied successfully in many areas of software development.  ...  On the basis of the FST model, we propose a general approach to the composition of software artifacts written in different languages.  ...  Stefan Boxleitner for integrating quantification and weaving, Jens Dörre for adding XML-based languages, Marko Rosenmüller and Norbert Siegmund for their support in developing the C grammar, Wolfgang  ... 
doi:10.1109/tse.2011.120 fatcat:qknmw5o25zentlklv4x5vnyh4y

Aspect Interaction Analysis using Slicing and Graph based Semantics

Rishabh Shukla, Subrahmanyam Kuntamukkala
2014 International Journal of Computer Applications  
We will propose an approach to detect aspect interference, Aspect composition are modeled by using graph production system for modelling aspect-language semantics.  ...  This part is just a slice of the entire system and can be extracted by exploiting program slicing algorithms.  ...  These units of reuse provide execution context for the filters. Figure 4: Composition Filter Model Composition Filters concept can be mapped to those of regular AOP-language.  ... 
doi:10.5120/14943-3441 fatcat:46x23jcsmvgtbftlj5hgymeg2i

Guest editorial to the special section on model transformation

Jeff Gray, Alfonso Pierantonio, Antonio Vallecillo
2009 Journal of Software and Systems Modeling  
for helping to co-locate both events in a seamless and natural manner.  ...  Our gratitude also goes to the reviewers for the timely manner in which they assisted in choosing and making suggestions to improve the selected papers.  ...  Deridder, in their paper entitled "Module superimposition: A Composition Technique for Rule-based Model Transformation Languages," investigate the importance of superimposition, which is a model composition  ... 
doi:10.1007/s10270-009-0139-y fatcat:7irawimknjawtolwdvg6gwsela

MT-AMP: A Model Transformation for Embedded Software

Luciane Telinski Wiedermann Agner, Inali Wisniewski Soares, Paulo Cézar Stadzisz, Jean Marcelo Simão
2016 Journal of Software  
The MT-AMP is based on the PIM-MT Method [11] and expressed in the Atlas Transformation Language (ATL), one of the most popular and widely used model transformation languages [5], [6].  ...  As the aspects associated with the platform are not separated from the transformation rules, for each selected platform there must be a corresponding model transformation.  ...  Superimposition allows the composition of two or more transformation modules in one single transformation execution by extending and overriding rules in transformation modules.  ... 
doi:10.17706/jsw.11.3.326-337 fatcat:hthm3ojy25dhrgqy2nbigr5g4i

Detecting and resolving ambiguities caused by inter-dependent introductions

Wilke Havinga, Istvan Nagy, Lodewijk Bergmans, Mehmet Aksit
2006 Proceedings of the 5th international conference on Aspect-oriented software development - AOSD '06  
AOP languages are continuously evolving, for example (1) pointcut languages are becoming increasingly powerful with respect to the expressiveness of the pointcut language itself, (2) new program properties  ...  can be used as a selection criterion in pointcut designators, or (3) new types of program elements can be introduced by means of a crosscut specification.  ...  JTransformer [12] is a transformation tool that uses a language named Conditional Transformations to specify source code transformations.  ... 
doi:10.1145/1119655.1119684 dblp:conf/aosd/HavingaNBA06 fatcat:3tbmk44ecjezpafgrgbitncmnq

Leveraging Software Product Lines Engineering in the development of external DSLs: A systematic literature review

David Méndez-Acuña, José A. Galindo, Thomas Degueule, Benoît Combemale, Benoît Baudry
2016 Computer languages, systems & structures  
The use of domain-specific languages (DSLs) has become a successful technique in the development of complex systems. Consequently, nowadays we can find a large variety of DSLs for diverse purposes.  ...  More precisely, we propose a definition for the life-cycle of language product lines, and we use it to analyze the capabilities of current approaches.  ...  We thank the anonymous reviewers for their insightful comments, which helped us to improve the manuscript.  ... 
doi:10.1016/ fatcat:w2kopt3xcnaetpkqjfv7erwchu

Using Meta-code Generation to Realize Higher-order Model Transformations

Thomas Buchmann, Felix Schwägerl
2013 Proceedings of the 8th International Joint Conference on Software Technologies  
While most of the existing model-to-model tools and languages are tailored towards batch transformations for specific model instances, they lack support for generic transformation problems, where the metamodel  ...  During the last couple of years, many tools and languages have been developed, which are especially designed for model transformations -a discipline which is needed in many model-driven engineering approaches  ...  Acknowledgements The authors want to thank Bernhard Westfechtel for his valuable comments on the draft of this paper.  ... 
doi:10.5220/0004522305360541 dblp:conf/icsoft/BuchmannS13 fatcat:e3w5yd2djrhurimftoyfigomqm

An algebraic foundation for automatic feature-based program synthesis

Sven Apel, Christian Lengauer, Bernhard Möller, Christian Kästner
2010 Science of Computer Programming  
Feature-Oriented Software Development provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software.  ...  Furthermore, our algebraic framework is meant to serve as a basis for the development of the technology of automatic feature-based program synthesis and architectural metaprogramming.  ...  Acknowledgments We thank Don Batory, Tony Hoare, Peter Höfner and the anonymous AMAST'08 and SCP reviewers for helpful comments.  ... 
doi:10.1016/j.scico.2010.02.001 fatcat:h6oosbwcgvakvcmn5xtvcbazce

Improving Higher-Order Transformations Support in ATL [chapter]

Massimo Tisi, Jordi Cabot, Frédéric Jouault
2010 Lecture Notes in Computer Science  
In Model-Driven Engineering (MDE), Higher-Order Transformations (HOTs) are model transformations that analyze, produce or manipulate other model transformations.  ...  In a previous survey we classified them, and showed their usefulness in different MDE scenarios.  ...  A Module A can be superimposed to a Module B, obtaining a Module C, by a simple kind of internal composition such that: 1) C contains the union of the sets of transformation rules and helpers of A and  ... 
doi:10.1007/978-3-642-13688-7_15 fatcat:mcid3nqby5dorflupw4zs4nrki
« Previous Showing results 1 — 15 out of 965 results