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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

10 篇 会议

馆藏范围

10 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

9 篇 工学
- 9 篇 软件工程
- 7 篇 计算机科学与技术...
- 1 篇 电气工程

主题

10 篇 view-update prob...
3 篇 languages
3 篇 program transfor...
3 篇 model-driven eng...
3 篇 design
3 篇 aadl
2 篇 embedded systems
2 篇 cyber-physical s...
1 篇 causality
1 篇 bidirectional pr...
1 篇 quantum entangle...
1 篇 causation
1 篇 free theorem
1 篇 view-based model...
1 篇 projectional edi...
1 篇 bidirectional tr...
1 篇 generic programm...
1 篇 theory
1 篇 bidirectional tr...
1 篇 incremental mode...

机构

1 篇 bits pilani goa ...
1 篇 univ marburg d-3...
1 篇 univ oxford oxfo...
1 篇 queensland unive...
1 篇 univ edinburgh s...
1 篇 univ bonn d-5311...
1 篇 tohoku univ aoba...
1 篇 natl inst inform...
1 篇 inst polytech pa...
1 篇 inst polytech pa...
1 篇 ltci lab telecom...
1 篇 chalmers univ te...
1 篇 telecom paris in...
1 篇 chalmers univ te...
1 篇 tech univ dresde...
1 篇 karlsruhe inst t...

作者

3 篇 wang meng
3 篇 mittal rakshit
2 篇 blouin dominique
2 篇 voigtlaender jan...
1 篇 bhobe anish
1 篇 bandyopadhyay so...
1 篇 walkingshaw eric
1 篇 christian flende...
1 篇 hu zhenjiang
1 篇 matsuda kazutaka
1 篇 najd shayan
1 篇 wu nicolas
1 篇 schneider oliver
1 篇 burger erik
1 篇 gibbons jeremy
1 篇 ostermann klaus

语言

10 篇 英文

检索条件"主题词=View-update Problem"

共 10 条记录，以下是1-10 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

A quantum interpretation of the view-update problem 10

A quantum interpretation of the view-update problem

引用

Proceedings of the Twenty-First Australasian Conference on Database Technologies - Volume 104

作者： Christian Flender Queensland University of Technology Brisbane QLD Australia

ISBN: (纸本)9781920682859

The ANSI-SPARC architecture was proposed as a hierarchical model for the implementation of Database Management Systems (DBMS). A separation of external user views and shared base relations (conceptual schema) constitutes their logical independence, i.e., external views are immune to changes of the conceptual schema. Moreover, users can customize their views independent of the conceptual schema. However, all updates to a base relation should be immediately reflected in all views that reference the base relation. Vice versa, if a view is updated, then the underlying base relation should reflect the change. Keeping views and base relations in sync came to be known as the view-update problem. This paper argues that view updates require the user to cause a change. Prior to a view update user and view are entangled. Entangled states cannot be reduced to factual states of user and base relation. It will be shown that the view-update problem arises due to a view update (causation) being irreducible to a functional mapping between base relation and view (causality).

关键词： quantum entanglement causation view-update problem ANSI-SPARC architecture causality

来源：评论

学校读者我要写书评

暂无评论

The Instance Model-view update problem in AADL 22

The Instance Model-View Update Problem in AADL

引用

ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems (MODELS)

作者： Mittal, Rakshit Inst Polytech Paris Telecom Paris LTCI Lab Palaiseau France

ISBN: (纸本)9781450394673

The Architecture Analysis and Design Language (AADL) is a rich language for modeling embedded systems through several constructs such as component extension and refinement to promote modularity of component declarations. To ease processing AADL models, OSATE, the reference tool for AADL, defines another model (namely 'instance' model) computed from a base 'declarative' model/s. An instance model is a simple object tree where all information from the declarative model is flattened so that tools can easily use this information to analyze the system. However for modifications, they have to make changes in the complex declarative model since there is no automated backward transformation (de-instantiation) from instance to declarative models. Since the instance model is a 'view' of the declarative model, this is a view-update problem. In this paper, we propose the OSATE Declarative-Instance Mapping Tool (OSATE-DIM), an Eclipse plugin for de-instantiation of AADL models implementing a solution of this view-update problem. We evaluate OSATE-DIM with a benchmark of existing AADL model processing tools and verify the correctness of our de-instantiation transformations.

关键词： Model-Driven Engineering AADL Embedded Systems Cyber-Physical Systems view-update problem

来源：评论

学校读者我要写书评

暂无评论

Solving the Instance Model-view update problem in AADL 22

Solving the Instance Model-View Update Problem in AADL

引用

ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems (MODELS)

作者： Mittal, Rakshit Blouin, Dominique Bhobe, Anish Bandyopadhyay, Soumyadip LTCI Lab Telecom Paris Palaiseau France Inst Polytech Paris Palaiseau France BITS Pilani Goa Campus Sancoale Goa India

ISBN: (纸本)9781450394666

The Architecture Analysis and Design Language (AADL) is a rich language for modeling embedded systems through several constructs such as component extension and refinement to promote modularity of component declarations. To ease processing AADL models, OSATE, the reference tool for AADL, defines another model (namely 'instance' model) computed from a base 'declarative' model/s. An instance model is a simple object tree where all information from the declarative model is flattened so that tools can easily use this information to analyze the system. However for modifications, they have to make changes in the complex declarative model since there is no automated backward transformation (deinstantiation) from instance to declarative models. Since the instance model is a 'view' of the declarative model, this is a view-update problem. In this paper, we propose the OSATE Declarative-Instance Mapping Tool (OSATE-DIM1), an Eclipse plugin for deinstantiation of AADL models implementing a solution of this view-update problem. We evaluate OSATE-DIM with a benchmark of existing AADL model processing tools and verify the correctness of our deinstantiation transformations. We also discuss how our approach could be useful for decompilation of Object-Oriented languages' intermediate representations.

关键词： Model-Driven Engineering Cyber-Physical Systems Embedded Systems view-update problem AADL

来源：评论

学校读者我要写书评

暂无评论

OSATE-DIM Solves the Instance Model-view update problem in AADL 22

OSATE-DIM Solves the Instance Model-View Update Problem in A...

引用

ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems (MODELS)

作者： Mittal, Rakshit Blouin, Dominique Telecom Paris Inst Polytech Paris Palaiseau Ile de France France

ISBN: (纸本)9781450394673

AADL (Architecture Analysis and Design Language) is a rich modeling language for embedded systems through several constructs such as component extension and refinement to promote modularity of declarative specifications. To ease the processing of AADL models by tools, OSATE, the reference tool for AADL, defines another model computed from declarative models which results in a single tree system where all information is readily available. Tools can efficiently use this readily available information to analyze the system. An automated backward transformation (deinstantiation) from instance models to declarative models is missing to update the corresponding declarative specification given changes that have been performed on the instance model. Since the instance model is a 'view' of the declarative model, this is a view-update problem. We demonstrate the OSATE Declarative-Instance Mapping Tool (OSATE-DIM), to perform incremental deinstantiation in AADL. This tool significantly eases the development of AADL analysis and code generation tools.

关键词： model-driven engineering AADL view-update problem incremental model transformation

来源：评论

学校读者我要写书评

暂无评论

Translatability and Translation of updated views in ModelJoin 9th

Translatability and Translation of Updated Views in ModelJoi...

引用

9th International Conference on Model Transformation (ICMT) Held as Part of Software Technologies - Applications and Foundations (STAF)

作者： Burger, Erik Schneider, Oliver Karlsruhe Inst Technol Karlsruhe Germany

ISBN: (纸本)9783319420646;9783319420639

The ModelJoin language offers the definition of views that combine information from heterogeneous models. These views are currently realised by unidirectional transformations. Thus, updates to the views are not translated back to the models. In this paper, we study the view-update problem for ModelJoin view definitions. We propose translation strategies for view updates, and show that generated model constraints can be used to decide whether updated views can be translated. We provide a transformation for deriving a set of OCL constraints to check for translatability. For untranslatable cases that can be made translatable with minor fixes to the view, we provide algorithms for automatic fixes. The constraints are evaluated in two case study examples. The evaluation shows the applicability of the translation strategies, and the algorithms for automatically checking and restoring the translatability. Most of the consistent update sequences could be translated, and all inconsistent updates could be identified.

关键词： view-based modelling view-update problem Editability of views on models

来源：评论

学校读者我要写书评

暂无评论

Incremental updates for Efficient Bidirectional Transformations 11

Incremental Updates for Efficient Bidirectional Transformati...

引用

16th ACM SIGPLAN International Conference on Functional Programming (ICFP 11)

作者： Wang, Meng Gibbons, Jeremy Wu, Nicolas Chalmers Univ Technol S-41296 Gothenburg Sweden

ISBN: (纸本)9781450308656

A bidirectional transformation is a pair of mappings between source and view data objects, one in each direction. When the view is modified, the source is updated accordingly. The key to handling large data objects that are subject to relatively small modifications is to process the updates incrementally. Incrementality has been explored in the semi-structured settings of relational databases and graph transformations;this flexibility in structure makes it relatively easy to divide the data into separate parts that can be transformed and updated independently. The same is not true if the data is to be encoded with more general-purpose algebraic datatypes, with transformations defined as functions: dividing data into well-typed separate parts is tricky, and recursions typically create inter-dependencies. In this paper, we study transformations that support incremental updates, and devise a constructive process to achieve this incrementality.

关键词： Functional Programming Bidirectional Programming Incremental Computing Program Transformation view-update problem

来源：评论

学校读者我要写书评

暂无评论

Projectional Editing of Variational Software 2014

Projectional Editing of Variational Software

引用

13th Conference on Generative Programming - Concepts and Experiences (GPCE)

作者： Walkingshaw, Eric Ostermann, Klaus Univ Marburg D-35032 Marburg Germany

ISBN: (纸本)9781450331616

Editing the source code of variational software is complicated by the presence of variation annotations, such as #ifdef statements, and by code that is only included in some configurations. When editing some configurations and not others, it would be easier to edit a simplified version of the source code that includes only the configurations we currently care about. In this paper, we present a projectional editing model for variational software. Using our approach, a programmer can partially configure a variational program, edit this simplified view of the code, and then automatically update the original, fully variational source code. The model is based on an isolation principle where edits affect only the variants that are visible in the view. We show that this principle has several nice properties that are suggested by related work on bidirectional transformations.

关键词： variation projectional editing software product lines bidirectional transformations view-update problem Design Languages Theory

来源：评论

学校读者我要写书评

暂无评论

Combining Syntactic and Semantic Bidirectionalization 10

Combining Syntactic and Semantic Bidirectionalization

引用

15th ACM SIGPLAN International Conference on Functional Programming

作者： Voigtlaender, Janis Hu, Zhenjiang Matsuda, Kazutaka Wang, Meng Univ Bonn D-53117 Bonn Germany Natl Inst Informat Chiyoda Ku Tokyo 1018430 Japan Tohoku Univ Aoba Ku Sendai Miyagi 9808579 Japan Univ Oxford Oxford OX1 3QD England

ISBN: (纸本)9781605587943

Matsuda et al. [2007, ICFP] and Voigtlander [2009, POPL] introduced two techniques that given a source-to-view function provide an update propagation function mapping an original source and an updated view back to an updated source, subject to standard consistency conditions. Being fundamentally different in approach, both techniques have their respective strengths and weaknesses. Here we develop a synthesis of the two techniques to good effect. On the intersection of their applicability domains we achieve more than what a simple union of applying the techniques side by side delivers.

关键词： Design Languages program transformation view-update problem

来源：评论

学校读者我要写书评

暂无评论

Bidirectionalization for Free! (Pearl) 09

Bidirectionalization for Free! (<i>Pearl</i>)

引用

36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

作者： Voigtlaender, Janis Tech Univ Dresden D-01062 Dresden Germany

ISBN: (纸本)9781605583792

A bidirectional transformation consists of a function get that takes a source (document or value) to a view and a function put that takes an updated view and the original source back to an updated source, governed by certain consistency conditions relating the two functions. Both the database and programming language communities have studied techniques that essentially allow a user to specify only one of g et and put and have the other inferred automatically. All approaches so far to this bidirectionalization task have been syntactic in nature, either proposing a domain-specific language with limited expressiveness but built-in (and composable) backward components, or restricting get to a simple syntactic form from which some algorithm can synthesize an appropriate definition for p ut. Here we present a semantic approach instead. The idea is to take a general-purpose language, Haskell, and write a higher-order function that takes (polymorphic) g et-functions as arguments and returns appropriate put-functions. All this on the level of semantic values, without being willing, or even able, to inspect the definition of get, and thus liberated from syntactic restraints. Our solution is inspired by relational parametricity and uses free theorems for proving the consistency conditions. It works beautifully.

关键词： Design Languages Verification generic programming program transformation view-update problem

来源：评论

学校读者我要写书评

暂无评论

Semantic Bidirectionalization Revisited 14

Semantic Bidirectionalization Revisited

引用

ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM)

作者： Wang, Meng Najd, Shayan Chalmers Univ Technol Comp Sci & Engn Gothenburg Sweden Univ Edinburgh Sch Informat Edinburgh Midlothian Scotland

ISBN: (纸本)9781450326193

A bidirectional transformation is a pair of mappings between source and view data objects, one in each direction. When the view is modified, the source is updated accordingly with respect to some laws. Over the years, a lot of effort has been made to offer better language support for programming such transformations, essentially allowing the programmers to construct one mapping of the pair and have the other automatically generated. As an alternative to creating specialized new languages, one can try to analyse and transform programs written in general purpose languages, and "bidirectionalize" them. Among others, a technique termed as semantic bidirectionalization [16] stands out in term of user-friendliness. The unidirectional program can be written using arbitrary language constructs, as long as the function is polymorphic and the language constructs respect parametricity. The free theorem that follows from the polymorphic type of the program allows a kind of forensic examination of the transformation, determining its effect without examining its implementation. This is convenient, in the sense that the programmer is not restricted to using a particular syntax;but it does require the transformation to be polymorphic. In this paper, we revisit the idea of semantic bidirectionalization and reveal the elegant principles behind the current state-of-the-art techniques. Guided by the findings, we derive much simpler implementations that scale easily.

关键词： Bidirectional Transformation Free Theorem Haskell view-update problem

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共1页 << < 1 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：