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

Toward a Tool-Based Development Methodology for Pervasive Computing Applications

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 2012年第6期38卷 1445-1463页

作者： Cassou, Damien Bruneau, Julien Consel, Charles Balland, Emilie Univ Bordeaux Bordeaux France Yale Univ New Haven CT 06520 USA Univ Rennes Rennes France Univ Bordeaux 1 Inria Phoenix Res Grp F-33405 Talence France

Despite much progress, developing a pervasive computing application remains a challenge because of a lack of conceptual frameworks and supporting tools. This challenge involves coping with heterogeneous devices, overcoming the intricacies of distributed systems technologies, working out an architecture for the application, encoding it in a program, writing specific code to test the application, and finally deploying it. This paper presents a design language and a tool suite covering the development life-cycle of a pervasive computing application. The design language allows us to define a taxonomy of area-specific building-blocks, abstracting over their heterogeneity. This language also includes a layer to define the architecture of an application, following an architectural pattern commonly used in the pervasive computing domain. Our underlying methodology assigns roles to the stakeholders, providing separation of concerns. Our tool suite includes a compiler that takes design artifacts written in our language as input and generates a programming framework that supports the subsequent development stages, namely, implementation, testing, and deployment. Our methodology has been applied on a wide spectrum of areas. Based on these experiments, we assess our approach through three criteria: expressiveness, usability, and productivity.

关键词： Methodology domain-specific language generative programming pervasive computing toolkit programming support simulation

来源：评论

学校读者我要写书评

暂无评论

Experience of building an architecture-based generator using GenVoca for distributed systems

引用

SCIENCE OF COMPUTER programming 2010年第8期75卷 672-688页

作者： Lung, Chung-Horng Rajeswaran, Pragash Sivadas, Sathyanarayanan Sivabalasingam, Theleepan Carleton Univ Dept Syst & Comp Engn Ottawa ON K1S 5B6 Canada

Selecting the architecture that meets the requirements, both functional and nonfunctional, is a challenging task, especially at the early stage when more uncertainties exist. Architectural prototyping is a useful approach in supporting the evaluation of alternative architectures and balancing different architectural qualities. generative programming has gained increasing attention, but it mostly deals with lower-level artifacts;hence, it usually supports lower degrees of software automation. This paper proposes an architecture-centric generative approach in facilitating architectural prototyping and evaluation. We also present our empirical experience in raising the level of abstraction to the architecture layer for distributed and concurrent systems using GenVoca. GenVoca is a generative programming approach that is used here to support the generation or instantiation of a particular architectural pattern in distributed computing based on user's selection. As a result, it can support rapid architectural prototyping and evaluation of both functional and non-functional requirements and encourage greater degrees of software automation and reuse. Lessons learned from the empirical study are also reported and could be applied to other areas. (C) 2009 Elsevier B.V. All rights reserved.

关键词： generative programming GenVoca Software architecture Prototyping Distributed systems Software patterns

来源：评论

学校读者我要写书评

暂无评论

Raising the level of abstraction for developing message passing applications

引用

JOURNAL OF SUPERCOMPUTING 2012年第2期59卷 1079-1100页

作者： Arora, Ritu Bangalore, Purushotham Mernik, Marjan Univ Alabama Birmingham Dept Comp & Informat Sci Birmingham AL 35294 USA Univ Maribor Fac Elect Engn & Comp Sci SLO-2000 Maribor Slovenia

Message Passing Interface (MPI) is the most popular standard for writing portable and scalable parallel applications for distributed memory architectures. Writing efficient parallel applications using MPI is a complex task, mainly due to the extra burden on programmers to explicitly handle all the complexities of message-passing (viz., inter-process communication, data distribution, load-balancing, and synchronization). The main goal of our research is to raise the level of abstraction of explicit parallelization using MPI such that the effort involved in developing parallel applications is significantly reduced in terms of the reduction in the amount of code written manually while avoiding intrusive changes to existing sequential programs. In this research, generative programming tools and techniques are combined with a domain-specific language, Hi-PaL (High-Level Parallelization Language), for automating the process of generating and inserting the required code for parallelization into the existing sequential applications. The results show that the performance of the generated applications is comparable to the manually written versions of the applications, while requiring no explicit changes to the existing sequential code.

关键词： Parallel programming Explicit parallelization MPI Abstraction generative programming Domain-specific language

来源：评论

学校读者我要写书评

暂无评论

FISIM: an integrated model for simulation of industrial fibre and film processes

引用

PLASTICS RUBBER AND COMPOSITES 2004年第9-10期33卷 426-437页

作者： Cox, CL Duffy, E von Oehsen, JB Clemson Univ Dept Math Sci Clemson SC 29634 USA Clemson Univ Ctr Adv Engn Fibers & Films Clemson SC 29634 USA Clemson Univ Dept Comp Sci Clemson SC 29634 USA

The present study covers the structure and some applications of FISIM (Flber and film SIMulation), a versatile polymer process modelling package which is being developed by the Center for Advanced Engineering Fibers and Films. generative programming techniques are used to overcome degradation in performance and storage which is often associated with the C+ + language. The process stages are integrated using a component-based design so that configurations representing all or part of a process stage can be easily swapped in and out. The prototype code incorporates filtration, forming, external flow under quench conditions, and drawing, applied to fibre melt-spinning. Visualisation is playing a prominent role, providing a user-friendly means for initialising, monitoring, and post-processing simulation output. Process models, solution strategies, and software tools which are implemented in FISIM are presented, along with comparisons between simulation results and experimental measurements. These ingredients comprise a unique modelling environment which will substantially reduce the need for trial-and-error experiments in the development of new fibre and film processes.

关键词： polymer process simulation finite element method viscoelastic generative programming

来源：评论

学校读者我要写书评

暂无评论

Flan: An Expressive and Efficient Datalog Compiler for Program Analysis

引用

PROCEEDINGS OF THE ACM ON programming LANGUAGES-PACMPL 2024年第POPL期8卷 2577-2609页

作者： Abeysinghe, Supun Xhebraj, Anxhelo Rompf, Tiark Purdue Univ Dept Comp Sci 610 Purdue Mall W Lafayette IN 47907 USA

Datalog has gained prominence in program analysis due to its expressiveness and ease of use. Its generic fixpoint resolution algorithm over relational domains simplifies the expression of many complex analyses. The performance and scalability issues of early Datalog approaches have been addressed by tools such as Souffle through specialized code generation. Still, while pure Datalog is expressive enough to support a wide range of analyses, there is a growing need for extensions to accommodate increasingly complex analyses. This has led to the development of various extensions, such as Flix, Datafun, and Formulog, which enhance Datalog with features like arbitrary lattices and SMT constraints. Most of these extensions recognize the need for full interoperability between Datalog and a full-fledged programming language, a functionality that high-performance systems like Souffle lack. Speciflcally, in most cases, they construct languages from scratch with first-class Datalog support, allowing greater flexibility. However, this flexibility often comes at the cost of performance due to the conflicting requirements of prioritizing modularity and abstraction over efficiency. Consequently, achieving both flexibility and compilation to highly-performant specialized code poses a significant challenge. In this work, we reconcile the competing demands of expressiveness and performance with Flan, a Datalog compiler fully embedded in Scala that leverages multi-stage programming to generate specialized code for enhanced performance. Our approach combines the flexibility of Flix with Souffle's performance, offering seamless integration with the host language that enables the addition of powerful extensions while generating specialized code for the entire computation. Flan's simple operator interface allows the addition of an extensive set of features, including arbitrary aggregates, user-defined functions, and lattices, with multiple execution strategies such as binary and multi-way

关键词： Datalog Logic programming generative programming Program Analysis

来源：评论

学校读者我要写书评

暂无评论

Building Efficient Query Engines in a High-Level Language

引用

PROCEEDINGS OF THE VLDB ENDOWMENT 2014年第10期7卷 853-864页

作者： Klonatos, Yannis Koch, Christoph Rompf, Tiark Chafi, Hassan Ecole Polytech Fed Lausanne Lausanne Switzerland Oracle Labs Redwood Shores CA USA

In this paper we advocate that it is time for a radical rethinking of database systems design. Developers should be able to leverage high-level programming languages without having to pay a price in efficiency. To realize our vision of abstraction without regret, we present LegoBase, a query engine written in the high-level programming language Scala. The key technique to regain efficiency is to apply generative programming: the Scala code that constitutes the query engine, despite its high-level appearance, is actually a program generator that emits specialized, low-level C code. We show how the combination of high-level and generative programming allows to easily implement a wide spectrum of optimizations that are difficult to achieve with existing low-level query compilers, and how it can continuously optimize the query engine. We evaluate our approach with the TPC-H benchmark and show that: (a) with all optimizations enabled, our architecture significantly outperforms a commercial in-memory database system as well as an existing query compiler, (b) these performance improvements require programming just a few hundred lines of high-level code instead of complicated low-level code that is required by existing query compilers and, finally, that (c) the compilation overhead is low compared to the overall execution time, thus making our approach usable in practice for efficiently compiling query engines.

关键词： C (programming language) Automatic programming Benchmarking Codes (symbols) Database systems Efficiency Engines Program compilers Query processing generative programming High level programming language In memory database systems Overall execution Performance improvements Query engines Tpc h benchmarks Wide spectrum

来源：评论

学校读者我要写书评

暂无评论

A Component Assembly Approach Based On Aspect-Oriented generative Domain Modeling

引用

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2005年第SPEC. ISS.期114卷 119-136页

作者： Cao, Fei Bryant, Barrett R. Burt, Carol C. Raje, Rajeev R. Olson, Andrew M. Auguston, Mikhail Univ Alabama Birmingham Dept Comp & Informat Sci Birmingham AL USA Indiana Univ Purdue Univ Dept Comp & Informat Sci Indianapolis IN USA Naval Postgrad Sch Dept Comp Sci Monterey CA USA

We present an approach towards automatic component assembly based on aspect-oriented generative domain modeling. It involves the lifecycle covering the component specification generation, and subsequent assembly of implementation components to produce the final software system. Aspect-oriented techniques are applied to capture the crosscutting concerns that emerge during the assembly process. Subsequently, those concerns are woven to generate glue/wrapper code for assembling heterogeneous components to construct a single integrated system.

关键词： Component Assembly generative programming generative Domain Model Component Specification Aspect Orientation UniFrame Two-Level Grammar

来源：评论

学校读者我要写书评

暂无评论

Staging with Control: Type-Safe Multi-stage programming with Control Operators 2017

Staging with Control: Type-Safe Multi-stage Programming with...

引用

16th ACM SIGPLAN International Conference on generative programming - Concepts and Experiences (GPCE) co-located with SPLASH Conference

作者： Oishi, Junpei Kameyama, Yukiyoshi Univ Tsukuba Comp Sci Dept1 Tsukuba Ibaraki Japan Univ Tsukuba Dept Comp Sci Tsukuba Ibaraki Japan Yahoo Japan Corp Tokyo Japan

ISBN: (纸本)9781450355247

Staging allows a programmer to write domain-specific, custom code generators. Ideally, a programming language for staging provides all necessary features for staging, and at the same time, gives static guarantee for the safety properties of generated code including well typedness and well scopedness. We address this classic problem for the language with control operators, which allow code optimizations in a modular and compact way. Specifically, we design a staged programming language with the expressive control operators shift0 and reset0, which let us express, for instance, multi-layer let-insertion, while keeping the static guarantee of well typedness and well scopedness. For this purpose, we extend our earlier work on refined environment classifiers which were introduced for the staging language with state. We show that our language is expressive enough to write interesting code generation techniques, and that it enjoys type soundness. We also mention a type inference algorithm for our language under reasonable restriction.

关键词： code generation language design program transformation generative programming staging type system

来源：评论

学校读者我要写书评

暂无评论

Towards Developer-friendly Annotation-based Code Generation 13

Towards Developer-friendly Annotation-based Code Generation

引用

13th International Conference on Engineering of Modern Electric Systems (EMES)

作者： Sepesi, Radovan Nosal, Milan Tech Univ Kosice Fac Elect Engn & Informat Dept Comp & Informat Kosice 04200 Slovakia

ISBN: (纸本)9781479976508

This paper discusses a generative programming technique based on attribute-oriented programming (source code annotations) and aspect-oriented programming. We propose an annotation-based generator framework that combines these two techniques to provide a rapid and easy-to-use implementation options for annotation-based generators. The framework is inspired by internals of the industrial rapid application development tool Spring Roo. We discuss how the technique used in Spring Roo can be enhanced using Convention over Configuration principle. The paper briefly presents the generator framework prototype - AnBaG. We conclude with a discussion that compares the Spring Roo generation with AnBaG.

关键词： attribute-oriented programming aspect-oriented programming generative programming

来源：评论

学校读者我要写书评

暂无评论

Model-driven specification of component-based distributed real-time and embedded systems for verification of systemic QoS properties

Model-driven specification of component-based distributed re...

引用

10th Workshop on Advances in Parallel and Distributed Computational Models/22nd IEEE International Parallel and Distributed Processing Symposium

作者： Hill, James H. Gokhale, Aniruddha Vanderbilt Univ Nashville TN USA

ISBN: (纸本)9781424416936

The adage "the whole is not equal to the sum of its parts" is very appropriate in the context of verifying a range of systemic properties, such as deadlocks, correctness, and conformance to quality of service (QoS) requirements, for component-based distributed real-time and embedded (DRE) systems. For example, end-to-end worst case response time (WCRT) in component-based DRE systems is not as simple as accumulating WCRT for each individual component in the system because of inherent complexities introduced by the large solution space of possible deployment and configurations. This paper describes a novel process and tool-based artifacts that simplify the formal specification of component-based DRE systems for verification of systemic QoS properties. Our approach is based on the mathematical formalism of Timed Input/Output Automata and uses generative programming techniques for automating the verification of systemic QoS properties for component-based DRE systems.

关键词： component-based distributed real-time and embedded systems formal specification generative programming model-driven engineering Timed I/O Automata system verification

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：