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

8th International Conference on model-driven Engineering and software development (modelSWARD)

作者： Proell, Reinhard Hagemann, Noeel Bauer, Bernhard Univ Augsburg Software Methodol Distributed Syst Augsburg Germany

ISBN: (纸本)9783030674441;9783030674458

The continuous improvement of the performance of computing units makes it possible to cope with increasingly complex tasks. This results in more complex software systems. However, the development of such highly complex systems is difficult to achieve using traditional approaches. Concepts like model-driven software development can weaken this problem in these constructive phases. However, new challenges arise for the testing of development artifacts. In order to be able to perform a real shift left of verification and validation tasks towards early phases of development, we present a semi-formal approach that enables users to execute test cases against the system under development (SUD) on the model-level. Grounded on an Integrated model Basis which is created and maintained during development, test reports are automatically derived. This opens up a wide range of possibilities for early and targeted troubleshooting.

关键词： Test execution model-based testing Domain-specific modeling Integrated model basis model-driven software development

来源：评论

学校读者我要写书评

暂无评论

Reusing models of Actors and Services in Smart Homecare to Improve Sustainability

Reusing Models of Actors and Services in Smart Homecare to I...

引用

21st International Congress of the European-Federation-for-Medical-Informatic (MIE2008)

作者： Walderhaug, Stale Stav, Erlend Mikalsen, Marius SINTEF ICT Trondheim Norway

ISBN: (纸本)9781586038649

Industrial countries are faced with a growing elderly population. Homecare systems with assistive smart house technology enable elderly to live independently at home. development of such smart home care systems is complex and expensive and there is no common reference model that can facilitate service reuse. This paper proposes reusable actor and service models based on a model-driven development process where end user organizations and domain healthcare experts from four European countries have been involved. The models, specified using UML can be reused actively as assets in the system design and development process and can reduce development costs, and improve interoperability and sustainability of systems. The models are being evaluated in the European IST project MPOWER.

关键词： Homecare Smart house Service Oriented Architecture System architecture UML model-driven software development standardisation HL7

来源：评论

学校读者我要写书评

暂无评论

MDSSED: A safety and security enhanced model-driven development approach for smart home apps

引用

INFORMATION AND software TECHNOLOGY 2023年第1期163卷

作者： Ye, Tong Zhuang, Yi Qiao, Gongzhe Nanjing Univ Aeronaut & Astronaut 29 Jiangjun Ave Nanjing 211100 Jiangsu Peoples R China

Context: With the popularization of smart home devices, people rely more on automation functions provided by smart home apps. This increases the attack surface for safety and security threats. Many of these threats are at the interaction level, caused by unintended or malicious interactions between ***: Most of the current studies focus on identifying unsafe interactions between smart home apps by code analysis. To the best of our knowledge, none of the existing studies focuses on enhancing the safety and security of smart home apps under interaction threats in the design phase. To fill this gap, this paper presents MDSSED, a safety and security enhanced model-driven development approach for smart home ***: First, this paper identifies eleven types of interaction threats faced by smart home apps. Second, the MDSSED profile is proposed to support modeling smart home apps using UML. Third, the MDSSED prototype tool is developed to generate threat models and corresponding safety and security properties automatically. Then, the safety and security properties are automatically verified by model checking. Finally, the MDSSED tool automatically converts the UML models to the Samsung SmartThings ***: To evaluate the accuracy and effectiveness of MDSSED, this paper uses the benchmarks in existing state-of-the-art studies. The results show that MDSSED not only identified the safety and security problems in the existing benchmarks but also pointed out vulnerabilities of apps under other interaction threats identified in this ***: To the best of our knowledge, MDSSED is the first model-driven development approach that supports the automatic verification of the safety and security properties of smart home apps under interaction threats. The accuracy, practicality, and efficiency of MDSSED are corroborated by experiments. The source code of the MDSSED tool and the experimental data are available online.1

关键词： Security Safety Smart home apps model-driven software development Formal method

来源：评论

学校读者我要写书评

暂无评论

Enabling consistency in view-based system development - The VITRUVIUS approach

引用

JOURNAL OF SYSTEMS AND software 2021年 171卷 110815-110815页

作者： Klare, Heiko Kramer, Max E. Langhammer, Michael Werle, Dominik Burger, Erik Reussner, Ralf Karlsruhe Inst Technol Inst Program Struct & Data Org Fasanengarten 5 D-76131 Karlsruhe Germany

During the development of large software-intensive systems, developers use several modeling lan-guages and tools to describe a system from different viewpoints. model-driven and view-based technologies have made it easier to define domain-specific languages and transformations. Nevertheless, using several languages leads to fragmentation of information, to redundancies in the system description, and eventually to inconsistencies. Inconsistencies have negative impacts on the system's quality and are costly to fix. Often, there is no support for consistency management across multiple languages. Using a single language is no practicable solution either, as it is overly complex to define, use, and evolve such a language. View-based development is a suitable approach to deal with complex systems, and is widely used in other engineering disciplines. Still, we need to cope with the problems of fragmentation and consistency. In this paper, we present the VITRUVIUS approach for consistency in view-based modeling. We describe the approach by formalizing the notion of consistency, presenting languages for consistency preservation, and defining a model-driven development process. Furthermore, we show how existing models can be integrated. We have evaluated our approach at two case studies from component-based and embedded automotive software development, using our prototypical implementation based on the Eclipse modeling Framework. (c) 2020 The Authors. Published by Elsevier Inc. This is an open access article under the CC BY license (http://***/licenses/by/4.0/).

关键词： Consistency model-driven software development model transformations model views

来源：评论

学校读者我要写书评

暂无评论

model-driven development for Adapting Question Answering Systems to Restricted Domains

引用

JOURNAL OF RESEARCH AND PRACTICE IN INFORMATION TECHNOLOGY 2011年第2期43卷 141-158页

作者： Vila, Katia Mazon, Jose-Norberto Ferrandez, Antonio Univ Alicante Dept Software & Comp Syst E-03080 Alicante Spain

A Question Answering (QA) system must provide concise answers from large collections of documents to questions stated by the user in natural language. However, although many QA systems for open domain exist, its adaptation for restricted domains (such as those of healthcare, agriculture, transportation, or science) is a far from trivial task. The principal problem is that domain experts ask more precise questions (and expect more precise answers), including specific terminology, and this is costly to integrate into a QA system. To overcome this drawback, this paper presents an innovative approach based on model-driven software development. It uses restricted-domain resources to automatically and effortlessly adapt open-domain QA systems in order to make them useful in restricted-domain scenarios. Finally, a set of experiments has been carried out to show the approach's applicability.

关键词： Question Answering systems model-driven software development

来源：评论

学校读者我要写书评

暂无评论

modelCC - A Pragmatic Parser Generator

引用

INTERNATIONAL JOURNAL OF software ENGINEERING AND KNOWLEDGE ENGINEERING 2014年第8期24卷 1177-1195页

作者： Quesada, Luis Berzal, Fernando Cubero, Juan-Carlos Univ Granada CITIC Dept Comp Sci & Artifcial Intelligence E-18071 Granada Spain

Syntax-directed translation tools require the specification of a language by means of a formal grammar. This grammar must also conform to the specific requirements of the parser generator to be used. software engineers then annotate the resulting grammar with semantic actions for the resulting system to perform its desired functionality. Whenever the input text format is modified, the grammar has to be updated and the subsequent changes propagate throughout the entire language processing tool chain. Moreover, if several applications use the same language, multiple copies of the same language specification have to be maintained in sync, since language specification (i.e. the grammar) is tightly coupled to language processing (i.e. the semantic actions that annotate that grammar). In this paper, we introduce modelCC, a model-based parser generator that decouples language specification from language processing, hence avoiding the aforementioned problems that are caused by grammar-driven parser generators. modelCC receives a conceptual model as input, along with constraints that annotate it. It is then able to create a parser for a given textual representation format, so that the generated parser fully automates the instantiation of the desired conceptual model. modelCC is also a powerful tool for the design of domain-specific languages.

关键词： model-based parser generators language workbenches model-driven software development

来源：评论

学校读者我要写书评

暂无评论

Systematic approach for deriving feasible mappings of parallel algorithms to parallel computing platforms

引用

CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE 2017年第1期29卷 1-26页

作者： Arkin, Ethem Tekinerdogan, Bedir Imre, Kayhan M. Hacettepe Univ Dept Comp Engn Ankara Turkey Wageningen Univ Informat Technol Wageningen Netherlands

The need for high-performance computing together with the increasing trend from single processor to parallel computer architectures has leveraged the adoption of parallel computing. To benefit from parallel computing power, usually parallel algorithms are defined that can be mapped and executed on parallel computing platforms. In general, different alternative mappings can be defined each with different performance. For small computing platforms with a limited number of processing nodes, the mapping process can be carried out manually. However, for large-scale parallel computing platforms in which hundreds of thousands of processing nodes are applied, the number of possible mapping alternatives increases dramatically, and the mapping process becomes intractable for the human engineer. To assist the parallel computing engineer, we provide a systematic approach to derive feasible mapping alternatives of parallel algorithms to parallel computing platforms. The approach includes activities for modeling the parallel algorithm and parallel computing platform, generation of feasible mapping alternatives, generation of the deployment code, and finally the deployment of the generated code to the nodes. We evaluate our approach for deriving feasible mapping alternatives for four well-known parallel algorithms. The evaluation is based on both simulations and real executions of the generated mapping alternatives. Copyright (c) 2016 John Wiley & Sons, Ltd.

关键词： parallel computing model-driven software development tool support architecture viewpoints

来源：评论

学校读者我要写书评

暂无评论

model-driven Game development: A Literature Review

引用

ACM COMPUTING SURVEYS 2020年第6期52卷 123-123页

作者： Zhu, Meng Wang, Alf Inge Norwegian Univ Sci & Technol Trondheim Norway Norwegian Univ Sci & Technol Dept Comp Sci Sem Saelands Vei 9 NO-7491 Trondheim Norway Dyretraaket 26 N-1251 Oslo Norway

model-driven game development (MDGD) introduces model-driven methodology to the computer game domain, shifting the focus of game development from coding to modeling to make game development faster and easier. The research on MDGD is concerned with both the general model-driven software development methodology and the particular characteristics of game development. People in the MDGD community have proposed several approaches in the past decades, addressing both the technology and the development process in the context of MDGD. This article presents the state-of-art of MDGD research based on a literature review of 26 approaches in the field. The review is structured around five perspectives: target game domains, domain frameworks, modelling languages, tooling, and evaluation methods. The article also includes reflections and a discussion of the challenges within MDGD.

关键词： model-driven software development game development

来源：评论

学校读者我要写书评

暂无评论

Migrating Cyber-Physical Systems to OPC UA

引用

Procedia Computer Science 2022年 200卷 276-283页

作者： Georg Buchgeher Bernhard Dorninger Claus Klammer Andrea Walchshofer Albin Kern Software Competence Center Hagenberg GmbH Softwarepark 32a 4232 Hagenberg Austria Engel Austria GmbH Ludwig-Engel-Straße 1 4311 Schwertberg Austria

To support the vision of Industry 4.0 and smart factories, manufacturing companies need to evolve their machines towards intelligent, connected cyber-physical systems (CPS). software is at the heart of these digital transformation processes. OPC UA (Open Platform Communications Unified Architecture) is an industrial standard for horizontal and vertical communication of CPS. The adoption of OPC UA has a significant impact on the design of industrial production systems and on the development process. In this paper, we report on our experiences of migrating a heterogeneous software stack of a series machine production company to OPC UA. We show that automated approaches (i.e., static code analysis, code generation, and documentation generation) are the foundation for a holistic approach for working with OPC UA across different system layers and development teams. Further, we outline challenges we have identified during the migration process.

关键词： OPC UA Industry 4.0 cyber-physical systems software analysis software migration software evolution model-driven software development software documentation software visualization

来源：评论

学校读者我要写书评

暂无评论

model-driven adaptation of question answering systems for ambient intelligence by integrating restricted-domain knowledge

引用

Procedia Computer Science 2011年 4卷 1650-1659页

作者： Katia Vila Jose-Norberto Maźon Antonio Ferŕandez Department of Software and Computing Systems University of Alicante San Vicente del Raspeig Road 03690 Alicante Spain

Ambient Intelligence (AmI) requires Question Answering (QA) systems for providing intuitive interfaces to state natural language questions and obtaining precise answers related to some specific topic. Therefore, adapting QA systems to new restricted domains is an increasingly necessity for these systems to be applied in AmI environments. Unfortunately, research addressing adaptation of QA systems to new domains has two main drawbacks: (i) QA systems are manually tuned, which requires a huge effort in time and cost, and (ii) tuning of QA systems depends on the specific representation scheme of the restricted-domain knowledge, thus hinders incorporation of new resources into the system. To overcome these drawbacks, this paper presents a novel approach based on model-driven development in order to seamlessly integrate textual information and knowledge resources to automatically and effortlessly adapt QA systems to be useful for restricted-domain AmI environments, such as e-Science.

关键词： integrating knowledge resources model-driven software development ambient intelligence question answering

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：