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

Special issue on quality in model-driven engineering

COMPUTER LANGUAGES SYSTEMS & STRUCTURES 2018年第Dec.期54卷 472-473页

作者： Amaral, Vasco Cabot, Jordi Goulao, Miguel Univ Nova Lisboa FCT Lisbon Portugal ICREA Barcelona Spain UOC Barcelona Spain

来源：评论

学校读者我要写书评

暂无评论

Supporting the Adaptive Generation of Learning Game Scenarios with a model-driven engineering Framework 13th

Supporting the Adaptive Generation of Learning Game Scenario...

引用

13th European Conference on Technology Enhanced Learning (EC-TEL)

作者： Laforcade, Pierre Laghouaouta, Youness Le Mans Univ Comp Sci Lab Le Mans France

ISBN: (纸本)9783319985725;9783319985718

Learning games are promising methods for autism therapy. In this context, our research project aims to propose an "escape-room" game for helping children with Autistic Syndrome Disorder (ASD) to learn visual performance skills. Given the specific needs of the intended players, the generation of learning scenarios has to be adaptive. For that, our proposal relies on model driven engineering techniques to deal with dynamic scenarization instead of implementing fixed configurations of scenarios. Our approach proposes to express the game description components and child profiles as models from which adapted scenarios can be automatically generated by means of model transformations. In addition, an iterative co-design process based on rapid prototyping is introduced. It allows ASD experts to take part in the design activity and get fast feedback.

关键词： Serious game Autism Learning scenarios Adaptation model driven engineering

来源：评论

学校读者我要写书评

暂无评论

A model-driven engineering Approach for Validation of Power System Automation Solutions 23

A Model-Driven Engineering Approach for Validation of Power ...

引用

23rd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)

作者： Sivanthi, Thanikesavan Moga, Alexandru Eidenbenz, Raphael Franke, Carsten ABB Corp Res Baden Switzerland

ISBN: (纸本)9781538671085

Hardware-in-the-loop (HIL) testing is an integral part of the development of power system automation solutions. HIL test beds facilitate system-level testing and validation of controllers against their specifications. The information required for HIL test bed configurations is typically scattered across different tools used in the development of power system automation solutions. These tools often have different formats and naming schemes. This implies that a significant effort is required for consolidating data from the tools and for creating valid test configurations from the consolidated data. This paper presents a model-driven engineering (MDE) approach for creating HIL test configurations in a tool-, platform-, and protocol-agnostic manner. It shows how the MDE approach can be applied in practice to derive test configurations based on the information originating from different tools in a semi-automated fashion.

关键词： Power systems Tools Testing Automation Power system simulation Load modeling model driven engineering

来源：评论

学校读者我要写书评

暂无评论

CyPhEF: A model-driven engineering Framework for Self-Adaptive Cyber-Physical Systems 18

CyPhEF: A Model-Driven Engineering Framework for Self-Adapti...

引用

40th ACM/IEEE International Conference on Software engineering (ICSE)

作者： D'Angelo, Mirko Napolitano, Annalisa Caporuscio, Mauro Linnaeus Univ Vaxjo Sweden IMT Sch Adv Studies Lucca Italy

ISBN: (纸本)9781450356633

Self-adaptation is nowadays recognized as an effective approach to deal with the uncertainty inherent to cyber-physical systems, which are composed of dynamic and deeply intertwined physical and software components interacting with each other. engineering a self-adaptive cyber-physical system is challenging, as concerns about both the physical and the control system should be jointly considered. To this end, we present CyPhEF, a model-driven engineering framework supporting the development and validation of self-adaptive cyber-physical systems.

关键词： Unified modeling language Analytical models Tools Load modeling Adaptation models Cyber-physical systems model driven engineering

来源：评论

学校读者我要写书评

暂无评论

Integrating model-driven engineering as the Next Challenge for Artificial Intelligence – Application to Risk and Crisis Management

Integrating Model-Driven Engineering as the Next Challenge f...

引用

Simulation Winter Conference

作者： Frederick Benaben Matthieu Lauras Audrey Fertier Nicolas Salatgé Centre Génie Industriel IMT Mines Albi Albi FRANCE

ISBN: (数字)9781728132839

ISBN: (纸本)9781728120522

Artificial Intelligence (AI) is currently on top of the hype regarding simultaneously research publications and industrial development. However, the current status of AI makes it quite far and different from the current understanding of Human intelligence. One suggestion that is made in this article is that model-driven approaches could be considered as an interesting avenue to complement classical visions of AI and to provide some missing features. Specifically, the use of model-driven engineering tools (such as metamodel and model transformation) could benefit to the domain of AI by introducing a way to extend the apprehension of unknown situations. To support that proposal, an illustrative example is provided regarding the domain of risk and crisis management.

关键词： Artificial intelligence Mathematical model model driven engineering Computational modeling Data science Crisis management Tools

来源：评论

学校读者我要写书评

暂无评论

model-driven engineering for Mission-Critical IoT Systems

引用

IEEE SOFTWARE 2017年第1期34卷 46-53页

作者： Ciccozzi, Federico Crnkovic, Ivica Di Ruscio, Davide Malavolta, Ivano Pelliccione, Patrizio Spalazzese, Romina Malardalen Univ Sch Innovat Design & Engn Vasteras Sweden Chalmers Univ Technol Software Engn Gothenburg Sweden Chalmers Univ Technol Dept Comp Sci & Engn Gothenburg Sweden Univ Gothenburg Gothenburg Sweden Univ Aquila Dept Informat Engn Comp Sci & Math Laquila Italy Vrije Univ Amsterdam Dept Comp Sci Amsterdam Netherlands Malmo Univ Comp Sci Dept Comp Sci Malmo Sweden

In mission-critical Internet of Things systems, applications require not only high availability, reliability, safety, and security but also regulatory compliance, scalability, and serviceability. In addition, they'... 详细信息

关键词： Internet Of Things Software engineering model driven engineering Io T Systems Mission Critical Internet Of Things Software Variability Hardware Variability MC Io T Systems Internet Of Things Mission Critical Systems Software engineering Software Development Software engineering Internet Of Things Io T model driven engineering Mission Critical Systems Software Development

来源：评论

学校读者我要写书评

暂无评论

A model-driven engineering Approach for Validation of Power System Automation Solutions

A Model-Driven Engineering Approach for Validation of Power ...

引用

IEEE International Conference on Emerging Technologies and Factory Automation

作者： Thanikesavan Sivanthi Alexandru Moga Raphael Eidenbenz Carsten Franke ABB Corporate Research Baden-Dättwil Switzerland

关键词： Power systems Tools Testing Automation Power system simulation Load modeling model driven engineering

来源：评论

学校读者我要写书评

暂无评论

modeling Meets Programming: A Comparative Study in model driven engineering Action Languages

Modeling Meets Programming: A Comparative Study in Model Dri...

引用

7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)

作者： Elaasar, Maged Badreddin, Omar Modelware Solut La Canada Flintridge CA 91011 USA Univ Texas El Paso Dept Elect Engn & Comp Sci El Paso TX 79968 USA

ISBN: (纸本)9783319471693;9783319471686

modeling and programming have often been considered two different activities. While this may be true when modeling is primarily meant for human communication and early design explorations, it is not the case when modeling is meant for execution. Some approaches have been specifically developed to address this latter case with variable successes. In this paper, we discuss two such approaches, namely ALF and Umple. ALF has evolved from the modeling community to provide a textual syntax for an executable subset of UML called Foundation UML (fUML). Umple has evolved from the academic community to introduce the abstractions of modeling into programing languages. We compare both approaches, highlight their critical differences, and discuss their contribution to the evolution of model oriented programming languages.

关键词： modeling Programming UML ALF Umple model driven engineering Action language

来源：评论

学校读者我要写书评

暂无评论

A model-driven engineering Methodology to Design Parallel and Distributed Embedded Systems

引用

ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS 2017年第2期22卷 34-34页

作者： Enrici, Andrea Apvrille, Ludovic Pacalet, Renaud Univ Paris Saclay Telecom ParisTech CNRS LTCI Paris France Inst EURECOM System on Chip Lab Campus SophiaTech450 Route Chappes F-06904 Biot Sophia Antipoli France Nokia Bell Labs France Ctr Villarceaux Route Villejust F-91620 Nozay France

In model-driven engineering system-level approaches, the design of communication protocols and patterns is subject to the design of processing operations (computations) and to their mapping onto execution resources. However, this strategy allows us to capture simple communication schemes (e. g., processor-bus-memory) and prevents us from evaluating the performance of both computations and communications (e. g., impact of application traffic patterns onto the communication interconnect) in a single step. To solve these issues, we introduce a novel design approach-the Psi-chart-where we design communication patterns and protocols independently of a system's functionality and resources, via dedicated models. At the mapping step, both application and communication models are bound to the platform resources and transformed to explore design alternatives for both computations and communications. We present the Psi-chart and its implementation (i.e., communication models and Design Space Exploration) in TTool/DIPLODOCUS, a Unified modeling Language (UML)/SysML framework for the modeling, simulation, formal verification and automatic code generation of data-flow embedded systems. The effectiveness of our solution in terms of better design quality (e. g., portability, time) is demonstrated with the design of the physical layer of a ZigBee (IEEE 802.15.4) transmitter onto a multi-processor architecture.

关键词： model driven engineering hardware/software co-design design space exploration UML SysML

来源：评论

学校读者我要写书评

暂无评论

model-driven interoperability: engineering heterogeneous IoT systems

引用

ANNALS OF TELECOMMUNICATIONS 2016年第3-4期71卷 141-150页

作者： Grace, Paul Pickering, Brian Surridge, Mike Univ Southampton IT Innovat Ctr Southampton Hants England

Interoperability remains a significant burden to the developers of Internet of Things systems. This is because resources and APIs are dynamically composed;they are highly heterogeneous in terms of their underlying communication technologies, protocols and data formats, and interoperability tools remain limited to enforcing standards-based approaches. In this paper, we propose model-based engineering methods to reduce the development effort towards ensuring that complex software systems interoperate with one another. Lightweight interoperability models can be specified in order to monitor and test the execution of running software so that interoperability problems can be quickly identified, and solutions put in place. A graphical model editor and testing tool are also presented to highlight how a visual model improves upon textual specifications. We show using case-studies from the FIWARE Future Internet Service domain that the software framework can support non-expert developers to address interoperability challenges.

关键词： model driven engineering Interoperability Cloud computing Internet of things

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：