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

7th International Conference on model-Driven Engineering and Software Development (modelSWARD)

作者： Walter, Benedikt Kaiser, Dennis Rudolph, Stephan Daimler AG Res & Dev MB Passenger Cars Kolumbusstr 19 21 D-71059 Sindelfingen Germany IILS mbH Albstr 6 D-72818 Trochtelfingen Germany Univ Stuttgart IFB Pfaffenwaldring 31 D-70569 Stuttgart Germany

ISBN: (纸本)9789897583582

Today, model-Based Systems Engineering (MBSE) is widely used in the successful design of complex systems in various industries. It intends to provide a complete description of the design process of complex systems in form of a V-model or one of its various extensions thereof (extended V-model). While already several formal languages like Unified modelling Language (UML) and Systems modelling Language (SysML) are used to formally describe the design process and behavioural aspects of the design as well, models in UM- or SysML are still mostly assembled and connected manually. Instead, graph-based design languages based on UML make use of the digital representation of the design process with the additional benefit of a repeatable execution encoded in an activity diagram within a rule set. This allows for a seamless transformation of a formerly mainly manual MBSE-approach towards a fully automated, machine-executable MBSE approach. The article will focus on the impact of graph-based design on that transition from classical MBSE towards machine-executable MBSE. We show this with the example of an automotive dashboard.

关键词： Graph-based Design Languages V-model model-based Systems Engineering Requirements-driven Engineering executable model Digital Product Design

来源：评论

学校读者我要写书评

暂无评论

An executable model and Testing for Web Software based on Live Sequence Charts 15

An Executable Model and Testing for Web Software based on Li...

引用

15th IEEE/ACIS International Conference on Computer and Information Science (ICIS)

作者： Li, Liping Gao, Honghao Shan, Tang Shanghai Polytech Univ Comp & Informat Engn Inst Shanghai 201209 Peoples R China Shanghai Univ Ctr Comp Shanghai 200444 Peoples R China

ISBN: (纸本)9781509008056

Static modeling is often difficult to understand when meet with complicated, large-scale Web software which has many unique characteristics. Aim at this problem, this paper proposes a method to create an executable model for Web software based on Live Sequence Charts (LSCs). The executable model can simulate the running of the system, which helps to find the inconsistency of the model in early development stage. Then the LSCs model is transformed to a symbolic automaton. Testing scenarios can be generated by traversing the automaton by depth-first search (DFS). Results showed test cases generated by this executable model are more effective than general model. We hope this method can do some help to the modeling and testing of the Web application.

关键词： executable model Web software test scenario Live Sequence Chart symbolic automaton

来源：评论

学校读者我要写书评

暂无评论

Automatic Test Amplification for executable models 22

Automatic Test Amplification for Executable Models

引用

ACM/IEEE 25th International Conference on model Driven Engineering Languages and Systems (modelS)

作者： Khorram, Faezeh Bousse, Erwan Mottu, Jean-Marie Sunye, Gerson Gomez-Abajo, Pablo Canizares, Pablo C. Guerra, Esther de Lara, Juan Nantes Univ IMT Atlantique Nantes France Univ Autonoma Madrid Madrid Spain

ISBN: (纸本)9781450394666

Behavioral models are important assets that must be thoroughly verified early in the design process. This can be achieved with manuallywritten test cases that embed carefully hand-picked domain-specific input data. However, such test cases may not always reach the desired level of quality, such as high coverage or being able to localize faults efficiently. Test amplification is an interesting emergent approach to improve a test suite by automatically generating new test cases out of existing manually-written ones. Yet, while ad-hoc test amplification solutions have been proposed for a few programming languages, no solution currently exists for amplifying the test cases of behavioral models. In this paper, we fill this gap with an automated and generic approach. Given an executable DSL, a conforming behavioral model, and an existing test suite, our approach generates new regression test cases in three steps: (i) generating new test inputs by applying a set of generic modifiers on the existing test inputs;(ii) running the model under test with new inputs and generating assertions from the execution traces;and (iii) selecting the new test cases that increase the mutation score. We provide tool support for the approach atop the Eclipse GEMOC Studio1 and show its applicability in an empirical study. In the experiment, we applied the approach to 71 test suites written for models conforming to two different DSLs, and for 67 of the 71 cases, it successfully improved the mutation score between 3.17% and 54.11% depending on the initial setup.

关键词： Test Amplification Regression Testing executable model executable DSL

来源：评论

学校读者我要写书评

暂无评论

An executable modeling and analyzing approach to C4ISR architecture

引用

Journal of Systems Engineering and Electronics 2020年第1期31卷 109-117页

作者： HE Hongyue ZHU Weixing LI Ruiyang DENG Qiaoyu Institute of Command and Control Engineering Army Engineering University of PLA

To analyze the behavioral model of the command,control,communication,computer,intelligence,surveillance,reconnaissance(C4ISR)architecture,we propose an executable modeling and analyzing approach to ***,the meta concept model of the C4ISR architecture is *** to the meta concept model,we construct the executable meta models of the C4ISR architecture by extending the meta models of ***,we define the concrete syntax and executable activity algebra(EAA)semantics for executable *** semantics functions are introduced to translating the syntax description of executable models into the item of *** support the execution of models,we propose the executable rules which are the structural operational semantics of ***,an area air defense of the C4ISR system is used to illustrate the feasibility of the approach.

关键词： command control communication computer intelligence surveillance reconnaissance(C4ISR)architecture meta model executable model algebraic semantics

来源：评论

学校读者我要写书评

暂无评论

executable Multi-Layered Software models

Executable Multi-Layered Software Models

引用

International Workshop on Designing Software (Designing)

作者： Radosky, Lukas Polasek, Ivan Comenius Univ Fac Math Phys & Informat Dept Appl Informat Bratislava Slovakia Gratex Int as Bratislava Slovakia

ISBN: (纸本)9798400705632

This paper introduces a novel software visualisation and animation method, manifested in a prototype software tool - AnimArch. The introduced method is based on model fusion of static and dynamic models. The static model is represented by class diagram while the dynamic model is represented by source code written in high-level Object Action Language from xUML (executable UML). The class diagram defines architecture that is animated in response to real-time execution of the source code. Moreover, additional object diagram layer represents all object instances present in runtime. The AnimArch also features source code generation to Python, to bridge the gap from design to implementation. This paper provides detailed description of the modelling method and screenshots of the accompanying software tool.

关键词： Software modelling Visualisation Animation executable model Class diagram Object diagram Source code generation

来源：评论

学校读者我要写书评

暂无评论

Toward executable model of System of Systems Capability Architecture for Verification 4

Toward Executable Model of System of Systems Capability Arch...

引用

4th International Conference on Intelligent System and Applied Material (GSAM)

作者： Tao, Zhi-gang Wang, Ming-zhe Huazhong Univ Sci & Technol Sch Automat Wuhan 430074 Peoples R China

ISBN: (纸本)9783038353140

Based on the DoDAF V2.0, the paper proposes a three-phased development process for the creation of the executable model of SoS capability architecture. The process not only takes a hybrid framework which supported the performance evaluation of SoS into consideration, but also gives emphasis to the dynamic logical relationship among activities, referred as syntax rules, which is not well highlighted in the current existing executable model creation method. The three phases are: analysis, synthesis/transform and refinement. The goal of the analysis phase is to create the SoS capability architectural description, including CV, OV, DIV, and SV/SvcV. The synthesis/transform phase shows the guideline and principle that govern transformation between the architecture model and PN. The refinement phase illustrates the transformation between OPN and CPN, and refines the interface between event driven dynamics and time driven dynamics to carry out the hybrid simulation.

关键词： System of Systems executable model DoDAF V2.0 capability Petri Net

来源：评论

学校读者我要写书评

暂无评论

An executable framework for modeling and validating cooperative capability requirements in emergency response system

引用

Journal of Systems Engineering and Electronics 2021年第4期32卷 889-906页

作者： CHAI Lei WANG Zhixue HE Ming HE Hongyue YU Minggang Institute of Command Control Engineering Army Engineering University of PLANanjing 210007China

As the scale of current systems become larger and larger and their complexity is increasing gradually,research on executable models in the design phase becomes significantly important as it is helpful to simulate the execution process and capture defects of a system in ***,the capability of a system becomes so important that stakeholders tend to emphasize their capability requirements when developing a *** deal with the lack of official specifications and the fundamental theory basis for capability requirement,we propose a cooperative capability requirements(CCR)meta-model as a theory basis for researchers to refer to in this research domain,in which we provide detailed definition of the CCR concepts,associations and ***,we also propose an executable framework,which may enable modelers to simulate the execution process of a system in advance and do well in filling the inconsistency and semantic gaps between stakeholders’requirements and their *** primary working mechanism of the framework is to transform the Alf activity meta-model into the communicating sequential process(CSP)process meta-model based on some mapping rules,after which the internal communication mechanism between process nodes is designed to smooth the execution of behaviors in a CSP ***,a validation method is utilized to check the correctness and consistency of the models,and a self-fixing mechanism is used to fix the errors and warnings captured during the validation process ***,a validation report is generated and fed back to the modelers for system optimization.

关键词： executable model capability requirement consistency validation Alf epsilon

来源：评论

学校读者我要写书评

暂无评论

xOOHDM: Integrated development environment for creating and executing models in Web applications design 19

xOOHDM: Integrated development environment for creating and ...

引用

33rd Brazilian Symposium on Software Engineering (SBES) / 10th Brazilian Conference on Software (CBSoft)

作者： Barbosa Gloria, Joao Paulo de Medeiros, Adriana Pereira Fed Univ Rio De Janeiro UFRJ Superintendence IT SuperTIC Macae RJ Brazil Fed Fluminense Univ UFF Inst Sci & Technol Rio Das Ostras RJ Brazil

ISBN: (纸本)9781450376518

Web applications have several characteristics that differentiate them from conventional applications. However, they are often developed without considering such characteristics, even though there are specific methods for the design of these applications. This work proposes the combined use of the OOHDM method and executable models in an integrated environment for the modeldriven development of Web applications. This environment provides a DSML for navigation modeling using the notations of the OOHDM and automatically generates the corresponding executable model, which permits simulating and testing this navigation without the need of code generation. It allows developers addressing specific aspects of web applications, such as hypertext, and identifying and fixing design problems beforehand via model execution.

关键词： OOHDM executable model executable UML DSML Papyrus

来源：评论

学校读者我要写书评

暂无评论

A Step Towards a Data Quality Theory 6

A Step Towards a Data Quality Theory

引用

6th International Conference on Social Networks Analysis, Management and Security (SNAMS)

作者： Bicevskis, Janis Nikiforova, Anastasija Bicevska, Zane Oditis, Ivo Karnitis, Girts Univ Latvia Fac Comp Riga Latvia Div Grupa Ltd Riga Latvia

ISBN: (纸本)9781728129464

Data quality issues have been topical for many decades. However, a unified data quality theory has not been proposed yet, since many concepts associated with the term "data quality" are not straightforward enough. The paper proposes a user-oriented data quality theory based on clearly defined concepts. The concepts are defined by using three groups of domain-specific languages (DSLs): (1) the first group uses the concept of a data object to describe the data to be analysed, (2) the second group describes the data quality requirements, and (3) the third group describes the process of data quality evaluation. The proposed idea proved to be simple enough, but at the same time very effective in identifying data defects, despite the different structures of data sets and the complexity of data. Approbation of the approach demonstrated several advantages: (a) a graphical data quality model allows defining of data quality even by non-IT and non-data quality professionals, (b) data quality model is not related to the information system that has accumulated data, i.e., this approach lets users analyse the "third-party" data, and (c) data quality can be described at least at two levels of abstraction - informally, using natural language, or formally, including executable program routines or SQL statements.

关键词： data quality data object domain-specific language executable model

来源：评论

学校读者我要写书评

暂无评论

executable Domain-Specific modelling based on Domain Spaces 41

Executable Domain-Specific Modelling based on Domain Spaces

引用

41st IEEE Annual Computer Software and Applications Conference (COMPSAC)

作者： Duan, Qing Liu, Junhui Zhou, Dongdai Yu, Feng Yang, Hongji Key Lab Software Engn Yunnan Kunming 650000 Yunnan Peoples R China Yunnan Univ Sch software Kunming 650091 Yunnan Peoples R China Northeast Normal Univ Coll Informat & Software Engn Changchun Jilin Peoples R China Changchun Inst Architecture Sch Elect & Informat Engn Changchun Jilin Peoples R China Bath Spa Univ Ctr Creat Comp Corsham England

ISBN: (纸本)9781538603673

Domain-specific modelling is used to construct and realise the different application models upon the same specific domain for software reuse. The paper integrates domain-specific modelling and web service techniques with model-driven development, and proposes a unified approach named SODSMI (Service Oriented executable Domain-Specific modelling and Implementation) to build the executable domain-specific model so as to achieve the target of modeldriven development and reuse. The approach is organised by domain space, which is employed as the elementary unit of the domain-specific modelling and implementation framework. It makes software reuse at the domain level, realises the reuse of domain knowledge, and openly extends the range and scale of domain-specific model and its implementation.

关键词： domain-specific modeling executable model domain space MDD model execution infrastructure

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：