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

A classification and rationalization of model-based software development

software AND SYSTEMS modelING 2013年第4期12卷 669-678页

作者： Zheng, Yongjie Taylor, Richard N. Univ Missouri Dept Comp Sci & Elect Engn Sch Comp & Engn Kansas City MO 64110 USA Univ Calif Irvine Inst Software Res Irvine CA 92697 USA

The use of model-based software development is increasingly popular due to recent advancements in modeling technology. Numerous approaches exist;this paper seeks to organize and characterize them. In particular, important terminological confusion, challenges, and recurring techniques of model-based software development are identified and rationalized. New perspectives are provided on some fundamental issues, such as the distinctions between model-driven development and architecture-centric development, code generation, and metamodeling. On the basis of this discussion, we opine that architecture-centric development and domain-specific model-driven development are the two most promising branches of model-based software development. Achieving a positive future will require, however, specific advances in software modeling, code generation, and model-code consistency management.

关键词： model-based software development model-driven development Architecture-centric development

来源：评论

学校读者我要写书评

暂无评论

Analysing Enterprise Ontology and Its Suitability for model-based software development 9th

Analysing Enterprise Ontology and Its Suitability for Model-...

引用

9th International Symposium on Business modeling and software Design (BMSD)

作者： Cordeiro, Jose IPS INCITE Ctr Innovat Sci & Technol Setubal Portugal Polytech Inst Setubal Setubal Sch Technol Campus IPS Setubal Portugal

ISBN: (纸本)9783030248543;9783030248536

Enterprise Ontology (EO) is a well-known theory that captures the essence of an organisation. It is rooted in the Language Action Perspective that acknowledges language as the primary dimension of human cooperative activity. This theory, proposed by Jan Dietz, provides the foundations for designing and engineering of enterprises seen as social information systems. In this paper, we analyse some fundamental aspects of EO using an adapted framework for comparing methodologies. We present also a systematic review of the literature to find how EO and its modelling methodology are used to develop enterprise software applications.

关键词： Enterprise Ontology Enterprise engineering DEMO Language action perspective Information systems Information systems development model-based software development

来源：评论

学校读者我要写书评

暂无评论

A Comparative Study of Approaches of Ontology Driven software development

引用

INFORMATICA 2018年第3期29卷 439-466页

作者： Haav, Hele-Mai Tallinn Univ Technol Dept Software Sci Akad Tee 15a EE-12618 Tallinn Estonia

Ontology Driven software development (ODSD) combines traditional model based software development (MBSD) techniques with ontology technology in order to provide extensions to and advantages over MBSD. The goal of the paper is to identify current ODSD approaches and to provide qualitative and comparative analysis of the collection of identified approaches. Main research questions of the paper concern the ways of how ontologies are integrated to MBSD process and how their usage advances MBSD. Benefits and challenges of each of the discussed approaches are presented. The analysis is based on literature and projects reviews in the fields of ontology engineering, MBSD and ODSD. The result of the analysis provides understanding of what is the role of ontologies in ODSD and shows whether application of ontology technologies to the MBSD process gives rise to a new paradigm called consistency preserving software development or not.

关键词： ontology model-based software development MBSD ontology driven software development ODSD

来源：评论

学校读者我要写书评

暂无评论

The Influence of Requirements in software model development in an Industrial Environment 11

The Influence of Requirements in Software Model Development ...

引用

11th ACM/IEEE International Symposium on Empirical software Engineering and Measurement (ESEM)

作者： Echeverria, Jorge Perez, Francisca Ignacio Panach, Jose Cetina, Carlos Pastor, Oscar Univ San Jorge Autovia A-23 Zaragoza Huesca Km 299 Zaragoza Spain Univ Valencia Ave Univ S-N E-46100 Valencia Spain Univ Politecn Valencia Camino Vera S-N E-46022 Valencia Spain

ISBN: (纸本)9781509040391

Textual description of requirements is a specification technique that is widely used in industry, where time is key for success. How requirements are specified textually greatly depends on human factors. In order to study how requirements processing is affected by the level of detail in textual descriptions, this paper compares enriched textual requirements specifications with non-enriched ones. To do this, we have conducted an experiment in industry with 19 engineers of CAF (Construcciones y Auxiliares de Ferrocarril), which is a supplier of railway solutions. The experiment is a crossover design that analyzes efficiency, effectiveness, and perceived difficulty starting from a written specification of requirements that subjects must process in order to build software models. The results show that effectiveness and efficiency for enriched requirements are better, while non-enriched requirements are slightly more difficult to deal with. Therefore, even though enriched requirements require more time to be specified, the results are more successfully when using them.

关键词： software Requirements model-based software development Controlled Experiment

来源：评论

学校读者我要写书评

暂无评论

Comprehensive Overview of a Process-Oriented Build Tool for Airborne Safety-Critical software development 10

Comprehensive Overview of a Process-Oriented Build Tool for ...

引用

10th International Conference on Recent Advances in Air and Space Technologies (RAST)

作者： Panchal, Purav Dmitriev, Konstantin Myschik, Stephan Holzapfel, Florian Univ Bundeswehr Munich Inst Aeronaut Engn Neubiberg Germany Tech Univ Munich Inst Flight Syst Dynam Garching Germany

ISBN: (纸本)9798350323023

Rise in software use for safety-critical systems is driven by the escalating technology and curiosity in aerospace and space industries. However, the reliance on software in order to increase features and capabilities of an avionic system is directly questioned by how safe the software is, which further points down to the conformance of the software to standards DO-178C/DO-331. This research presents an overview of a process-oriented build tool developed in MATLAB and Simulink, serving the purpose of increasing the development efficiency along with process conformance. The build tool provides advantages like modular software management, artifacts handling with traceability, tools interlinking, automated model and code verification tasks, defined design environment, etc. It is used in several projects serving as software development environment for as flight control applications as well as battery management systems as well as motor controller. The paper provides motivation and functional overview of the build tool along with its key features.

关键词： process oriented DO-178C DO-331 model-based software development safety-critical

来源：评论

学校读者我要写书评

暂无评论

A Comparative Study of Approaches of Ontology Driven software development

引用

Informatica 2019年第3期29卷 439-466页

作者： Haav, Hele-Mai Department of Software Science Tallinn University of Technology Akadeemia tee 15a 12618 Tallinn Estonia. E-mail:

关键词： ontology model-based software development MBSD ontology driven software development ODSD

来源：评论

学校读者我要写书评

暂无评论

Provably correct Java implementations of Spi Calculus security protocols specifications

引用

COMPUTERS & SECURITY 2010年第3期29卷 302-314页

作者： Pironti, Alfredo Sisto, Riccardo Politecn Torino Dip Automat & Informat I-10129 Turin Italy

Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification In this paper, a type system for the Spi Calculus and a translation function are formally defined, in order to formalize the refinement of a Spi Calculus specification into a Java implementation The Java implementation generated by the translation function uses a custom Java library Formal conditions on such library are stated, so that, if the library implementation code satisfies such conditions, then the generated Java implementation correctly simulates the Spi Calculus specification A verified implementation of part of the custom library is further presented (C) 2009 Elsevier Ltd All rights reserved

关键词： model-based software development Correctness preserving code generation Code verification Formal methods Security protocols

来源：评论

学校读者我要写书评

暂无评论

A tool environment for quality assurance based on the Eclipse modeling Framework

引用

AUTOMATED software ENGINEERING 2013年第2期20卷 141-184页

作者： Arendt, Thorsten Taentzer, Gabriele Univ Marburg FB Math & Comp Sci 12 D-35032 Marburg Germany

The paradigm of model-based software development has become more and more popular since it promises an increase in the efficiency and quality of software development. Following this paradigm, models become primary artifacts in the software development process. Therefore, software quality and quality assurance frequently leads back to the quality and quality assurance of the involved models. In our approach, we propose a model quality assurance process that can be adapted to project-specific and domain-specific needs. This process is based on static model analysis using model metrics and model smells. based on the outcome of the model analysis, appropriate model refactoring steps can be performed. In this paper, we present a tool environment conveniently supporting the proposed model quality assurance process. In particular, the presented tools support metrics reporting, smell detection, and refactoring for models being based on the Eclipse modeling Framework, a widely used open source technology in model-based software development.

关键词： modeling model-based software development model quality model quality assurance Eclipse modeling Framework

来源：评论

学校读者我要写书评

暂无评论

The Importance of Testing in the Early Stages of Smart Contract development Life Cycle

引用

JOURNAL OF WEB ENGINEERING 2020年第2期19卷 215-242页

作者： Sanchez-Gomez, N. Morales-Trujillo, L. Gutierrez, J. J. Torres-Valderrama, J. Univ Seville Escuela Tecn Super Ingn Informat Web Engn & Early Testing IWT2 Grp Ave Reina Mercedes S-N Seville 41012 Spain

The use of smart contract augurs a world without intermediaries because the code and the agreements contained therein exist across a distributed, decentralized blockchain network. In software engineering, this collaboration is usually represented by using business process models and smart contracts can be used to implement business collaborations in general and interorganizational business processes. The validation of this contract and the assurance of its quality are critical for its right application. Early testing in smart contract definition is the fact of this paper. The paper discusses the possibility to use transformation protocols to obtain derived artefacts like test case definitions and smart contract code scaffolds. Generation of derived artefacts significantly reduces the number of defects before deploying the smart contract code in the blockchain network. Transformations protocols are created using model-based software development and modelling techniques. This approach allows to simplify and improve the management and execution of collaborative business processes. This would allow, in addition, the application of systematic mechanisms to evaluate and validate the smart contract and, particularly, the application of early testing techniques which would help to reduce the number of defects and, ultimately, the cost of the final review.

关键词： Blockchain Smart contract model-based software development Early testing

来源：评论

学校读者我要写书评

暂无评论

DFG Research Training Group "Algorithmic Synthesis of Reactive and Discrete-Continuous Systems (AlgoSyn)"

引用

IT-INFORMATION TECHNOLOGY 2009年第4期51卷 222-230页

作者： Thomas, Wolfgang Bollue, Kai Gueckel, Dominique Quiros, Gustavo Slaats, Michaela Ummels, Michael Rhein Westfal TH Aachen Lehrstuhl Informat 7 D-52056 Aachen Germany

While methods of software validation and verification are by now well established, the approach of automatic synthesis of software (and hardware) is as yet only developed in quite rudimentary form. Algorithmic program synthesis is possible in restricted scenarios, in particular in reactive multi- agent systems with lowdata complexity and in control systems. Central issues are the establishment of system models that support algorithmic solutions, the combinationof discrete andcontinuous parameters (in hybrid systems), and the exploration of applications. The aim of the Research Training Group AlgoSyn is to unify the expertise from computer science, mathematics, and four engineering disciplines (processor architectures, automatic control, process control engineering, traintraffic systems), inorder to push forward the desired integration of methods.

关键词： D.2.2 [software: software Engineering: Design Tools and Techniques] Algorithmic game theory reactive systems automatic control hybrid systems multi-agent systems formal methods model-based software development process control engineering automatic control

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：