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

model-driven software development Combined with Semantic Mutation of UML State Machines 1

14th International Conference on Evaluation of Novel Approaches to software Engineering (ENASE)

作者： Derezinska, Anna Zaremba, Lukasz Warsaw Univ Technol Inst Comp Sci Nowowiejska 15-19 PL-00665 Warsaw Poland

ISBN: (数字)9783030402235

ISBN: (纸本)9783030402235;9783030402228

The paper presents an approach to semantic mutation of state machines that specify class behavior in model-driven software development. The mutations are aimed at different variants of UML state machine behavior. Mutation testing of a target application allows to compare different semantic interpretations and verify a set of test cases. We present a notation of a process combining model-driven development with semantic mutation and semantic consequence-oriented mutations. Origin and details of the proposed mutation operators are discussed. The approach has been supported by the Framework for eXecutable UML (FXU) that creates a C# application from UML classes and state machines. The tool architecture has been reengineered in order to apply semantic mutation operators into the model-driven development process and realize testing on a set of semantic mutants. The tool and the implemented mutation operators have been verified in a case study on a status service for a social network.

关键词： model-driven software development State machine code generation Mutation testing Framework for eXecutable UML (FXU) C#

来源：评论

学校读者我要写书评

暂无评论

View-based model-driven software development with modelJoin

引用

software AND SYSTEMS modelING 2016年第2期15卷 473-496页

作者： Burger, Erik Henss, Joerg Kuester, Martin Kruse, Steffen Happe, Lucia Karlsruhe Inst Technol Inst Program Structures & Data Org IPD Fasanengarten 5 D-76131 Karlsruhe Germany FZI Forschungszentrum Informat Haid & Neu Str 10-14 D-76131 Karlsruhe Germany OFFIS Inst Informat Technol Escherweg 2 D-26121 Oldenburg Germany

Fragmentation of information across instances of different metamodels poses a significant problem for software developers and leads to a major increase in effort of transformation development. Moreover, compositions of metamodels tend to be incomplete, imprecise, and erroneous, making it impossible to present it to users or use it directly as input for applications. Customized views satisfy information needs by focusing on a particular concern, and filtering out information that is not relevant to this concern. For a broad establishment of view-based approaches, an automated solution to deal with separate metamodels and the high complexity of model transformations is necessary. In this paper, we present the modelJoin approach for the rapid creation of views. Using a human-readable textual DSL, developers can define custom views declaratively without having to write model transformations or define a bridging metamodel. Instead, a metamodel generator and higher-order transformations create annotated target metamodels and the appropriate transformations on-the-fly. The resulting views, which are based on these metamodels, contain joined instances and can effectively express concerns unforseen during metamodel design. We have applied the modelJoin approach and validated the textual DSL in a case study using the Palladio Component model.

关键词： View-based modeling model-driven software development model transformation model-based query language

来源：评论

学校读者我要写书评

暂无评论

A Process model for Component-Based model-driven software development

引用

INFORMATION 2020年第6期11卷 302页

作者： Alrubaee, Afrah Umran Cetinkaya, Deniz Liebchen, Gernot Dogan, Huseyin Univ Kerbala Dept Comp Sci Karbala 56001 Iraq Bournemouth Univ Dept Comp & Informat Poole BH12 5BB Dorset England

Developing high quality, reliable and on time software systems is challenging due to the increasing size and complexity of these systems. Traditional software development approaches are not suitable for dealing with such challenges, so several approaches have been introduced to increase the productivity and reusability during the software development process. Two of these approaches are Component-Based software Engineering (CBSE) and model-driven software development (MDD) which focus on reusing pre-developed code and using models throughout the development process respectively. There are many research studies that show the benefits of using software components and model-driven approaches. However, in many cases the development process is either ad-hoc or not well-defined. This paper proposes a new software development process model that merges CBSE and MDD principles to facilitate software development. The model is successfully tested by applying it to the development of an e-learning system as an exemplar case study.

关键词： software development process model software engineering component-based development model-driven development model-driven software development reusability reusable components metamodeling

来源：评论

学校读者我要写书评

暂无评论

The SPICA development Framework model-driven software development for Autonomous Mobile Robots

The SPICA Development Framework <i>Model</i>-<i>Driven Softw...

引用

10th International Conference on Intelligent Autonomous Systems

作者： Baer, Philipp A. Reichle, Roland Geihs, Kurt Univ Kassel Distributed Syst Grp Kassel Germany

ISBN: (纸本)9781586038878

The development of autonomous mobile robots is a challenge due to the complexity. interdisciplinarity and variety of requirements and components. It is thus quite difficult or even unrealistic to achieve an agreement on a standard development platform for robotic software. In this paper we present SPICA, a model-driven development framework for autonomous mobile robots. With SPICA the developer retains the freedom to choose the most appropriate programming language and underlying platform for the realisation of a specific functional component. Independently developed components are considered as service providers and consumers that interact in order to fulfil the desired functionality. For this purpose, SPICA provides modelling and transformation support to realise such an integration infrastructure for independently developed functional components and different robotic software systems. SPICA has been used successfully in the development of a team of soccer robots for the RoboCup competition.

关键词： Robot Soccer Networked Robots Multi-Robot Systems Design model-driven software development modelling

来源：评论

学校读者我要写书评

暂无评论

Towards Abstract Test Execution in Early Stages of model-driven software development 8th

Towards Abstract Test Execution in Early Stages of Model-dri...

引用

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

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

ISBN: (纸本)9789897584008

Over the last decades, systems immanent complexity has significantly increased. In order to cope with the emerging challenges during the development of such systems, modeling approaches become an indispensable part. While many process steps are applicable to the model-level, there are no sufficient realizations for test execution yet. As a result, we present a semi-formal approach enabling developers to perform abstract test execution straight on the modeled artifacts to support the overarching objective of a shift left of verification and validation tasks. Our concept challenges an abstract test case (derived from test model) against a system model utilizing an integrated set of domain-specific models, i.e. the omni model. driven by an optimistic dataflow analysis based on a combined view of an abstract test case and its triggered system behavior, possible test verdicts are assigned. Based on a prototypical implementation of the concept, the proof of concept is demonstrated and further on put in the context of related research.

关键词： Test Execution model-based Testing Domain-specific modeling model-driven software development

来源：评论

学校读者我要写书评

暂无评论

Experiences in teaching a graduate course on model-driven software development

引用

COMPUTER SCIENCE EDUCATION 2011年第4期21卷 363-387页

作者： Tekinerdogan, Bedir Bilkent Univ Dept Comp Engn TR-06800 Ankara Turkey

model-driven software development (MDSD) aims to support the development and evolution of software intensive systems using the basic concepts of model, metamodel, and model transformation. In parallel with the ongoing academic research, MDSD is more and more applied in industrial practices. After being accepted both by a broad community of researchers and the industry, it is now being introduced in university courses. This article describes the experiences of three years of teaching of the graduate course model-driven software development at Bilkent University in Turkey. The lessons learned can be useful for peer educators who teach or aim to teach a similar course.

关键词： education software engineering model-driven software development experience graduate course

来源：评论

学校读者我要写书评

暂无评论

model-driven analysis and design for software development of autonomous underwater vehicles

引用

ROBOTICA 2015年第8期33卷 1731-1750页

作者： Ortiz, Francisco J. Insaurralde, Carlos C. Alonso, Diego Sanchez, Francisco Petillot, Yvan R. Univ Politecn Cartagena Div Sistemas & Ingn Elect E-30202 Cartagena Spain Heriot Watt Univ Inst Sensors Signals & Syst Ocean Syst Lab Edinburgh Midlothian Scotland

software engineering plays a key role in state-of-the-art robotics where more effective and efficient software development solutions are needed for implementation and integration of advanced robotics capabilities. Component-based software engineering and model-driven software development are two paradigms suitable to deal with such challenges. This paper presents the analysis, design, and implementation of control software for an Autonomous Underwater Vehicle (AUV). The software development stages are carried out by using a model-driven toolchain that provides support to design and build component-based software for robotics applications. A case study of a high-performance AUV control application and experimental results from a software schedulability analysis are presented.

关键词： model-driven software development Component-oriented software architecture Design analysis Autonomous underwater vehicles

来源：评论

学校读者我要写书评

暂无评论

model-driven development of Condition Monitoring software 18

Model-Driven Development of Condition Monitoring Software

引用

21st ACM/IEEE International Conference on model driven Engineering Languages and Systems (modelS)

作者： Pasic, Faruk Software Engn & IT Secur Paderborn Germany

ISBN: (纸本)9781450359658

High availability of automation systems is one of the main goals for the companies from all industrial branches. To achieve and maintain this high availability, the condition monitoring of the automation systems is an essential building block. However, as automation systems become increasingly equipped with numerous mechanical, electrical, and software components, creating a condition monitoring solution is becoming more and more challenging and requires knowledge from multiple engineering disciplines. Today, creating a condition monitoring solution is mostly based on the experience and preferences of the developers without a systematic and interdisciplinary method. Today, methods and tools supporting an interdisciplinary development exist. However, they do not fully consider condition monitoring relevant information. In addition, tools that increase software productivity and ease the adjustment of condition monitoring software are lacking. The main goal of this paper is to narrow the condition monitoring expertise gap by proposing convenient, systematic, and automated techniques to support the development of condition monitoring solutions from their design to their implementation. To achieve this goal, we propose an extension of the CONSENS systems engineering method to face issues caused in the design phase. By adopting a model-driven development (MDD) approach, we propose a Domain-Specific Language (DSL) for condition monitoring that promotes increased understandability, and automation during the software implementation phase.

关键词： Condition Monitoring Systems Engineering model-driven software development Automation Systems

来源：评论

学校读者我要写书评

暂无评论

Robotic assembly of modular concrete shells using falsework

引用

developmentS IN THE BUILT ENVIRONMENT 2025年 21卷

作者： Ivaniuk, Egor Pukhkaiev, Dmytro Reichle, Mathias Zhao, Wanqi Mey, Johannes Krombholz, Manuel Tosic, Zlata Assmann, Uwe Klinkel, Sven Mechtcherine, Viktor Tech Univ Dresden Inst Construct Mat Dresden Germany Tech Univ Dresden Fac Comp Sci Software Technol Grp Dresden Germany Rhein Westfal TH Aachen Chair Struct Anal & Dynam Aachen Germany Tech Univ Dresden Inst Geometry Fac Math Dresden Germany

The rapid development of robotics has the potential to transform the construction industry of the future. One possible application of robots is the assembly of modular concrete shells. This type of structure saves materials, while the modular approach makes them more cost-effective by eliminating the need for formwork. So far, however, robots have struggled to accurately position modules when assembling large modular shells on the construction site. The authors propose an alternative approach to the robotic assembly of modular shells based on the use of modular falsework. The presence of a falsework enables the creation of large-scale shells of complex shapes out of an unlimited number of modules while ensuring the accuracy of their positioning. This paper describes a possible methodology for implementing this approach and validates it by assembling a demonstrator, as well as presents the results of static and dynamic analysis of the modules moved by the robot.

关键词： Concrete shell Modular construction Automated assembly Digital construction model-driven software development Isogeometric analysis Scaled boundary method

来源：评论

学校读者我要写书评

暂无评论

Collaborative software development: A case study of model interdependencies 2nd

Collaborative software development: A case study of model in...

引用

2nd International United Informational Systems Conference

作者： Lockemann, Peter C. Univ Karlsruhe FZI D-76131 Karlsruhe Germany

ISBN: (纸本)9783540789413

models are an abstraction of a physical or mental world or state of affairs. Since an abstraction concentrates on those aspects of the world deemed most salient or important, models always have some special objective in mind. Since different objectives may arise along a typical value chain, a corresponding model chain may arise. This paper uses a case study to examine the value chain along software development projects and discusses which models were encountered. Clearly, the choice of one model restricts the choice of models or the ensuing steps in the chain. The paper attempts to identify general relationships between models that reflect the restrictions.

关键词： meta-models model interoperability model-driven software development model transformations software supply chain

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：