检索结果-内蒙古大学图书馆

Automating the construction of domain-specific modeling languages for object-oriented frameworks

JOURNAL OF SYSTEMS AND SOFTWARE 2010年第7期83卷 1078-1093页

作者： Santos, Andre L. Koskimies, Kai Lopes, Antonia Univ Lisbon Fac Sci Dept Informat P-1749016 Lisbon Portugal Tampere Univ Technol Dept Software Syst FIN-33101 Tampere Finland

The extension of frameworks with domain-specific modeling languages (DSML) has proved to be an effective way of improving the productivity in software product-line engineering. However, developing and evolving a DSML is typically a difficult and time-consuming task because it requires to develop and maintain a code generator, which transforms application models into framework-based code. In this paper, we propose a new approach for extending object-oriented frameworks that aims to alleviate this problem. The approach is based on developing an additional aspect-oriented layer that encodes a DSML for building framework-based applications, eliminating the need of implementing a code generator. We further show how a language workbench is capable of automating the construction of DSMLs using the proposed layer. (C) 2010 Elsevier Inc. All rights reserved.

关键词： Domain-specific modeling Object-oriented frameworks Software product-lines aspect-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Efficient and expressive bytecode-level instrumentation for Java programs

引用

INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER 2023年第4期25卷 453-479页

作者： Soueidi, Chukri Monnier, Marius Falcone, Ylies Univ Grenoble Alpes Inria CNRS Grenoble INPLIG F-38000 Grenoble France

We present an efficient and expressive tool for the instrumentation of Java programs at the bytecode level. BISM (Bytecode-Level Instrumentation for Software Monitoring) is a lightweight Java bytecode instrumentation tool that features an expressive high-level control-flow-aware instrumentation language. The instrumentation language is inspired by the aspect-oriented programming paradigm in modularizing instrumentation into separate transformers that encapsulate joinpoint selection and advice inlining, that is, the selection of points of interest in the execution and the execution of additional code at these points, respectively. BISM allows capturing joinpoints ranging from bytecode instructions to methods execution and provides comprehensive static and dynamic context information. It runs in two instrumentation modes: build-time and load-time. BISM also provides a mechanism to compose transformers and automatically detect when they interfere on the base program. Transformers in a composition can control the visibility of their advice and other instructions from the base program. We show several example applications for BISM and demonstrate its effectiveness using three experiments: a security scenario, a financial transaction system, and a general runtime verification case. The results show that (i) BISM instrumentation incurs low runtime and memory overheads, and (ii) the code produced by BISM performs better than the one produced by existing Java instrumentation tools.

关键词： Instrumentation Runtime verification Monitoring Java Bytecode aspect-oriented programming Control flow Static and dynamic contexts

来源：评论

学校读者我要写书评

暂无评论

An AOP-Based Security Verification Environment for KECCAK Hash Algorithm

引用

Computers, Materials & Continua 2022年第11期73卷 4051-4066页

作者： Hassen Mestiri Imen Barraj Mohsen Machhout Department of Computer Engineering College of Computer Engineering and SciencesPrince Sattam bin Abdulaziz UniversityAl-Kharj 11942Saudi Arabia Higher Institute of Applied Sciences and Technology of Sousse University of SousseTunisia Electronics and Micro-Electronics Laboratory Faculty of Sciences of MonastirUniversity of MonastirTunisia Electrical Engineering Department Systems Integration&Emerging Energies(SI2E)National Engineers School of SfaxUniversity of SfaxTunisia Higher Institute of Computer Science and Multimedia of Gabes University of GabesTunisia

Robustness of the electronic cryptographic devices against fault injection attacks is a great concern to ensure *** to significant resource constraints,these devices are limited in their *** increasing complexity of cryptographic devices necessitates the development of a fast simulation environment capable of performing security tests against fault injection *** is a good choice for Electronic System Level(ESL)modeling since it enables models to run at a faster *** enable fault injection and detection inside a SystemC cryptographic model,however,the model’s source code must be *** altering the source code,aspect-oriented programming(AOP)may be used to evaluate the robustness of cryptographic *** might replace conventional cryptanalysis methods in the real *** the ESL,we discuss a unique technique for simulating security fault attacks on cryptographic *** current study presents a fault injection/detection environment for assessing the KECCAK SystemC model’s resistance against fault injection *** approach of injecting faults into KECCAK SystemC model is accomplished via the use of weaving faults in aspectC++based on AOP programming *** confirm our technique by applying it to two scenarios using a SystemC KECCAK hash algorithm case study:The first concerns discuss the effect of the AOP on fault detection capabilities,while the second concerns discuss the effect of the AOP on simulation time and executable file *** simulation results demonstrate that this technique is fully capable of evaluating the fault injection resistance of a KECCAK *** demonstrate that AOP has a negligible effect on simulation time and executable file size.

关键词： aspect-oriented programming SystemC aspectC++ cryptographic circuits KECCAK fault detection fault attacks

来源：评论

学校读者我要写书评

暂无评论

Composing domain-specific physical models with general-purpose software modules in embedded control software

引用

SOFTWARE AND SYSTEMS MODELING 2014年第1期13卷 55-81页

作者： de Roo, Arjan Sozer, Hasan Aksit, Mehmet Univ Twente Software Engn Grp CS Dept NL-7500 AE Enschede Netherlands Ozyegin Univ Dept Comp Sci Istanbul Turkey

A considerable portion of software systems today are adopted in the embedded control domain. Embedded control software deals with controlling a physical system, and as such models of physical characteristics become part of the embedded control software. In current practices, usually general-purpose languages (GPL), such as C/C++ are used for embedded systems development. Although a GPL is suitable for expressing general-purpose computation, it falls short in expressing the models of physical characteristics as desired. This reduces not only the readability of the code but also hampers reuse due to the lack of dedicated abstractions and composition operators. Moreover, domain-specific static and dynamic checks may not be applied effectively. There exist domain-specific modeling languages (DSML) and tools to specify models of physical characteristics. Although they are commonly used for simulation and documentation of physical systems, they are often not used to implement embedded control software. This is due to the fact that these DSMLs are not suitable to express the general-purpose computation and they cannot be easily composed with other software modules that are implemented in GPL. This paper presents a novel approach to combine a DSML to model physical characteristics and a GPL to implement general-purpose computation. The composition filters model is used to compose models specified in the DSML with modules specified in the GPL at the abstraction level of both languages. As such, this approach combines the benefits of using a DSML to model physical characteristics with the freedom of a GPL to implement general-purpose computation. The approach is illustrated using two industrial case studies from the printing systems domain.

关键词： Domain specific languages Embedded systems Software composition Composition filters aspect-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Reusable specification templates for defining dynamic semantics of DSLs

引用

SOFTWARE AND SYSTEMS MODELING 2019年第1期18卷 691-720页

作者： Tikhonova, Ulyana Tech Univ Eindhoven POB 513 NL-5600 MB Eindhoven Netherlands

In the context of model-driven engineering, the dynamic (execution) semantics of domain-specific languages (DSLs) is usually not specified explicitly and stays (hard)coded in model transformations and code generation. This poses challenges such as learning, debugging, understanding, maintaining, and updating a DSL. Facing the lack of supporting tools for specifying the dynamic semantics of DSLs (or programming languages in general), we propose to specify the architecture and the detailed design of the software that implements the DSL, rather than requirements for the behavior expected from DSL programs. To compose such a specification, we use specification templates that capture software design solutions typical for the (application) domain of the DSL. As a result, on the one hand, our approach allows for an explicit and clear definition of the dynamic semantics of a DSL, supports separation of concerns and reuse of typical design solutions. On the other hand, we do not introduce (yet another) specification formalism, but we base our approach on an existing formalism and apply its extensive tool support for verification and validation to the dynamic semantics of a DSL.

关键词： Domain-specific language Dynamic semantics Specification template Generic programming aspect-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Software Engineering Paradigm Independent Design Problems, GoF 23 Design Patterns, and aspect Design

引用

INFORMATICA 2011年第2期22卷 289-317页

作者： Vaira, Zilvinas Caplinskas, Albertas Vilnius Univ Inst Math & Informat LT-08663 Vilnius Lithuania

The aim of the paper is to investigate applicability of object-oriented software design patterns in the context of aspect-oriented design. The paper analyses which of the GoF 23 patterns have a meaning in this context and how they are affected by it. The main assumption is that there exist design patterns that solve software engineering paradigm independent design problems and that such patterns, in the contrast to the patterns solving paradigm-specific design problems, can be expressed in terms of any software engineering paradigm. However, the paper deals only with two paradigms: aspect-oriented (AO) paradigm and object-oriented (OO) paradigm. It proposes a classification of design problems based on this assumption and a technique for redesigning object-oriented patterns into pure aspect-oriented ones. It presents a number of examples how to apply this technique and discusses the results obtained. The results show that 20 of the GoF 23 design patterns solve such design problems that are common at least for both mentioned paradigms and demonstrate in which way these patterns can be adapted for the needs of aspect-oriented design.

关键词： aspect-oriented programming object-oriented programming design patterns paradigm-independent and paradigm-specific design problems aspect-oriented patterns and idioms

来源：评论

学校读者我要写书评

暂无评论

A MATLAB subset to C compiler targeting embedded systems

引用

SOFTWARE-PRACTICE & EXPERIENCE 2017年第2期47卷 249-272页

作者： Bispo, Joao Cardoso, Joao M. P. Univ Porto Fac Engn Dept Engn Informat Oporto Portugal INESC TEC Oporto Portugal

This paper describes MATISSE, a compiler able to translate a MATLAB subset to C targeting embedded systems. MATISSE uses LARA, an aspect-oriented programming language, to specify additional information and transformations to the input MATLAB code, for example, insertion of code for initialization of variables, and specification of types and shapes of variables. The compiler is being developed bearing in mind flexibility, multitarget and multitoolchain support, allowing for the generation of several implementations in C from the same reference code in MATLAB. In this paper, we also present a number of techniques being employed in MATLAB to C compilation, such as element-wise mapping operations, matrix views, weak types, and intrinsics. We validate these techniques using MATISSE and a set of representative benchmarks. More specifically, we evaluate the compiler with a set of 31 benchmarks using an embedded system board and a desktop computer. The results show speedups up to 1.8x by employing information provided by LARA aspects, when compared with C code generated without additional user information. When compared with the execution time of the original code running on MATLAB, the execution time of the generated C code achieved a geometric mean speedup of 13x. Copyright (c) 2016 John Wiley & Sons, Ltd.

关键词： MATLAB C code generation source-to-source compilers aspect-oriented programming LARA embedded systems

来源：评论

学校读者我要写书评

暂无评论

A loosely coupled aspect language for SOA applications

引用

INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING 2008年第2期18卷 242-262页

作者： Mendonca, Nabor C. Silva, Clayton F. Maia, Ian G. Rodrigues, Maria Andreia F. Valente, Marco Tulio O. Univ Fortaleza Mestrado Informat Aplicada BR-60811905 Fortaleza Ceara Brazil Pontificia Univ Catolica Minas Gerais Inst Informat BR-30535610 Belo Horizonte MG Brazil

The aspect-oriented programming (AOP) paradigm offers software developers with powerful modularization abstractions to help them explicitly separate design concerns at the source code level. However, the impact of AOP in the service-oriented architecture (SOA) paradigm has been dwarfed by the fact that existing AOP solutions are tightly coupled to a particular programming language, middleware system or execution platform. Clearly, this not only restricts the implementation choices available to application developers, but it also clashes with the heterogeneous and loosely coupled nature of SOA. This paper presents the Web Service aspect Language (WSAL) that seamlessly integrates AOP and SOA concepts, thus avoiding the drawbacks of existing solutions. In WSAL, aspects themselves are freely specified, implemented and executed as loosely coupled web services. This characteristic allows WSAL aspects to be easily woven into the message flow exchanged between service consumers and service providers, in a way that is completely independent from any particular implementation technology. This paper also reports on the implementation and preliminary evaluation of a prototype aspect weaver for WSAL, which is based on an existing web intermediary technology.

关键词： aspect-oriented programming service-oriented architectures separation of concerns

来源：评论

学校读者我要写书评

暂无评论

A test driven approach for aspectualizing legacy software using mock systems

引用

INFORMATION AND SOFTWARE TECHNOLOGY 2008年第7-8期50卷 621-640页

作者： Mortensen, Michael Ghosh, Sudipto Bieman, James M. Hewlett Packard Corp Ft Collins CO 80528 USA Colorado State Univ Dept Comp Sci Ft Collins CO 80523 USA

aspect-based refactoring, called aspectualization, involves moving program code that implements cross-cutting concerns into aspects. Such refactoring can improve the maintainability of legacy systems. Long compilation and weave times, and the lack of an appropriate testing methodology are two challenges to the aspectualization of large legacy systems. We propose an iterative test driven approach for creating and introducing aspects. The approach uses mock systems that enable aspect developers to quickly experiment with different pointcuts and advice, and reduce the compile and weave times. The approach also uses weave analysis, regression testing, and code coverage analysis to test the aspects. We developed several tools for unit and integration testing. We demonstrate the test driven approach in the context of large industrial C++ systems, and we provide guidelines for mock system creation. (C) 2007 Elsevier B.V. All rights reserved.

关键词： mock systems aspect-oriented programming legacy systems refactoring testing

来源：评论

学校读者我要写书评

暂无评论

aspect-oriented Refactoring of Legacy Applications: An Evaluation

引用

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 2012年第1期38卷 118-140页

作者： Mortensen, Michael Ghosh, Sudipto Bieman, James M. Google Boulder CO 80302 USA Colorado State Univ Dept Comp Sci Ft Collins CO 80523 USA

The primary claimed benefits of aspect-oriented programming (AOP) are that it improves the understandability and maintainability of software applications by modularizing crosscutting concerns. Before there is widespread adoption of AOP, developers need further evidence of the actual benefits as well as costs. Applying AOP techniques to refactor legacy applications is one way to evaluate costs and benefits. We replace crosscutting concerns with aspects in three industrial applications to examine the effects on qualities that affect the maintainability of the applications. We study several revisions of each application, identifying crosscutting concerns in the initial revision and also crosscutting concerns that are added in later revisions. aspect-oriented refactoring reduced code size and improved both change locality and concern diffusion. Costs include the effort required for application refactoring and aspect creation, as well as a decrease in performance.

关键词： aspect-oriented programming crosscutting concerns legacy systems refactoring maintainability

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：