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

28th IEEE International Requirements Engineering Conference (RE)

作者： Perera, Harsha Mussbacher, Gunter Hussain, Waqar Shams, Rifat Ara Nurwidyantoro, Arif Whittle, Jon Monash Univ FIT Clayton Vic Australia McGill Univ ECE Montreal PQ Canada

ISBN: (纸本)9781728174389

software failures that demonstrate violations of human values can result in financial losses, reputation damages and social implications. Therefore, integrating human values into software is vital to satisfy stakeholder needs. However, developing methodological approaches that allow systematic integration of human values throughout the software development life cycle is an open challenge. This paper proposes the Continual Value(s) Assessment (CVA) framework that uses extended goal and feature modeling techniques to support systematic integration, tracing and evaluation of human values in software systems. The CVA framework prescribes (i) brainstorming of value implications of system features based on conventional system artefacts and (ii) the expansion of the existing set of system features to better serve stakeholder values expectations. In a pilot study, we use an emergency alarm system for the elderly to demonstrate the feasibility of the framework. We further discuss the challenges we faced while applying the framework and present the lessons learned from the pilot study.

关键词： Human Values Goal modeling Feature modeling model-driven software development

来源：评论

学校读者我要写书评

暂无评论

modeling test cases for security protocols with SecureMDD

引用

COMPUTER NETWORKS 2014年第0期58卷 99-111页

作者： Katkalov, Kuzman Moebius, Nina Stenzel, Kurt Borek, Marian Reif, Wolfgang Univ Augsburg Augsburg Germany Dept Software Engn Augsburg Germany Univ Ulm D-89069 Ulm Germany

Designing and executing test cases for security-critical protocols is a technically complicated and tedious process. SecureMDD is a model-driven approach that enables development of security-critical applications based on cryptographic protocols. In this paper we introduce a method which combines the model-driven approach used in SecureMDD with the design of functional and security tests. We construct and evaluate new modeling guidelines that allow the modeler to easily define such test cases during the modeling stage. We also implement model transformation routines to generate runnable tests for actual implementation of applications developed with SecureMDD. (C) 2013 Elsevier B.V. All rights reserved.

关键词： model-driven testing Security protocols Security tests model-driven software development Unit tests

来源：评论

学校读者我要写书评

暂无评论

Enforceable component-based realtime contracts

引用

REAL-TIME SYSTEMS 2007年第1期35卷 1-31页

作者： Haertig, Hermann Zschaler, Steffen Pohlack, Martin Aigner, Ronald Goebel, Steffen Pohl, Christoph Roettger, Simone Tech Univ Dresden Dept Comp Sci D-01062 Dresden Germany SAP AG SAP Res CEC Dresden Dresden Germany

We present enforceable component-based realtime contracts, the first extension of component-based software engineering technology that comprehensively supports adaptive realtime systems from specification all the way to the running system. To provide this support, we have extended component-based interface definition languages (IDLs) and component representations in repositories to express realtime requirements for components. The final software, which is assembled from the components, is then executed on a realtime operating system (RTOS) with the help of a component runtime system. RTOS resource managers and the IDL-extensions are based on the same mathematical foundation. Thus, the component runtime system can use information expressed in a component-oriented manner in the extended IDL to derive parameters for the task-based admission and scheduling in the RTOS. Once basic realtime properties can thus be guaranteed, runtime support can be extended to more elaborate schemes that also support adaptive applications (container-managed quality assurance). We claim that this study convincingly demonstrates how component-based software engineering can be extended to build systems with non-functional requirements.

关键词： component-based software engineering real-time systems component runtime environment model-driven software development

来源：评论

学校读者我要写书评

暂无评论

An approach for the systematic development of domain-specific languages

引用

software-PRACTICE & EXPERIENCE 2009年第15期39卷 1253-1292页

作者： Strembeck, Mark Zdun, Uwe Vienna Univ Econ & Business WU Vienna New Media Lab Inst Informat Syst Vienna Austria Vienna Univ Technol Inst Informat Syst Distributed Syst Grp Vienna Austria

Building tailored software systems for a particular application domain is a complex task. For this reason, domain-specific languages (DSLs) receive a constantly growing attention in recent years. So far the main focus of DSL research is on case studies and experience reports for the development of individual DSLs, design approaches and implementation techniques for DSLs, and the integration of DSLs with other software development approaches on a technical level. In this paper, we identify and describe the different activities that we conduct when engineering a DSL, and describe how these activities can be combined in order to define a tailored DSL engineering process. Our research results are based on the experiences we gained from multiple different DSL development projects and prototyping experiments. Copyright (c) 2009 John Wiley & Sons, Ltd.

关键词： applied software engineering model-driven software development domain-specific languages language engineering

来源：评论

学校读者我要写书评

暂无评论

From Teleo-Reactive specifications to architectural components: A model-driven approach

引用

JOURNAL OF SYSTEMS AND software 2012年第11期85卷 2504-2518页

作者： Sanchez, Pedro Alonso, Diego Miguel Morales, Jose Javier Navarro, Pedro Univ Politecn Cartagena Syst & Elect Engn Div DSIE Res Grp Cartagena Spain

The Teleo-Reactive approach designed by N.J. Nilsson offers a high-level programming model that permits the development of reactive systems, such as robotic vehicles. Teleo-Reactive programs are written in a manner that allows engineers to define the behaviour of the system while taking into account goals and changes in the state of the environment. This article presents a systematic approach that makes it possible to derive architectural models, with structural descriptions and behaviour, from Teleo-Reactive Programs. The development of reactive systems can therefore benefit significantly from a combination of two approaches: (1) the Teleo-Reactive approach, which is oriented towards a description of the system from the standpoint of the goals identified and the state of the environment and (2) the architectural approach, which is oriented towards the design of component-based software, in which decisions are conditioned by the need to reuse already tested solutions. The integration of this work into a development environment that allows code to be generated via model transformations opens up new possibilities in the development of this type of systems. The proposal is validated through a case study that is representative of the domain, and a survey carried out with post-graduate students. (c) 2012 Elsevier Inc. All rights reserved.

关键词： Teleo-Reactive programs Component-based software development Reactive systems Robotics model-driven software development

来源：评论

学校读者我要写书评

暂无评论

Reusable and generic design decisions for developing UML-based domain-specific languages

引用

INFORMATION AND software TECHNOLOGY 2017年 92卷 49-74页

作者： Hoisl, Bernhard Sobernig, Stefan Strembeck, Mark Vienna Univ Econ & Business WU Welthandelspl 1 A-1020 Vienna Austria Secure Business Austria SBA Res gGmbH Favoritenstr 16 A-1040 Vienna Austria Complex Sci Hub Vienna CSH Josefstadter Str 39 A-1080 Vienna Austria

Context: In recent years, UML-based domain-specific model languages (DSMLs) have become a popular option in model-driven development projects. However, making informed design decisions for such DSMLs involves a large number of non-trivial and inter-related options. These options concern the language-model specification, UML extension techniques, concrete-syntax language design, and modeling tool support. Objective: In order to make the corresponding knowledge on design decisions reusable, proven design rationale from existing DSML projects must be collected, systematized, and documented using an agreed upon documentation format. Method: We applied a sequential multi-method approach to identify and to document reusable design decisions for UML-based DSMLs. The approach included a Web-based survey with 80 participants. Moreover, 80 DSML projects(1), which have been identified through a prior systematic literature review, were analyzed in detail in order to identify reusable design decisions for such DSMLs. Results: We present insights on the current state of practice in documenting UML-based DSMLs (e.g., perceived barriers, documentation techniques, reuse potential) and a publicly available collection of reusable design decisions, including 35 decision options on different DSML development concerns (especially concerning the language model, concrete-syntax language design, and modeling tools). The reusable design decisions are documented using a structured documentation format (decision record). Conclusion: Our results are both, scientifically relevant (e.g. for design-space analyses or for creating classification schemas for further research on UML-based DSML development) and important for actual software engineering projects (e.g. by providing best-practice guidelines and pointers to common pitfalls). (C) 2017 Elsevier B.V. All rights reserved.

关键词： model-driven software development Domain-specific language Design decision Design rationale Unified modeling language Survey

来源：评论

学校读者我要写书评

暂无评论

Automatic Code Generation for Real-Time Systems: a development Approach based on Components, models, and Frameworks

引用

REVISTA IBEROAMERICANA DE AUTOMATICA E INFORMATICA INDUSTRIAL 2012年第2期9卷 170-181页

作者： Alonso, Diego Angel Pastor, Juan Sanchez, Pedro Alvarez, Barbara Vicente-Chicote, Cristina Univ Politecn Cartagena Hosp Marina DSIE Cartagena 30202 Spain

Real-Time Systems have some characteristics that make them particularly sensitive to architectural decisions. The use of Frameworks and Components has proven effective in improving productivity and software quality, especially when combined with software Product Line approaches. However, the results in terms of software reuse and standardization make the lack of portability of both the design and component-based implementations clear. This article, based on the model-driven software development paradigm, presents an approach that separates the component-based description of real-time applications from their possible implementations on different platforms. This separation is supported by the automatic integration of the code obtained from the input models into object-oriented frameworks. The article also details the architectural decisions taken in the implementation of one of such frameworks, which is used as a case study to illustrate the proposed approach. Finally, a comparison with other alternative approaches is made in terms of development cost.

关键词： software Engineering Component-Based software development model-driven software development Framework software Design Patterns Real-Time

来源：评论

学校读者我要写书评

暂无评论

ParDSL: a domain-specific language framework for supporting deployment of parallel algorithms

引用

software AND SYSTEMS modelING 2019年第5期18卷 2907-2935页

作者： Tekinerdogan, Bedir Arkin, Ethem Wageningen Univ Informat Technol Wageningen Netherlands Aselsan Ankara Turkey

An important challenge in parallel computing is the mapping of parallel algorithms to parallel computing platforms. This requires several activities such as the analysis of the parallel algorithm, the definition of the logical configuration of the platform and the implementation and deployment of the algorithm to the computing platform. However, in current parallel computing approaches very often only conceptual and idiosyncratic models are used which fall short in supporting the communication and analysis of the design decisions. In this article, we present ParDSL, a domain-specific language framework for providing explicit models to support the activities for mapping parallel algorithms to parallel computing platforms. The language framework includes four coherent set of domain-specific languages each of which focuses on an activity of the mapping process. We use the domain-specific languages for modeling the design as well as for generating the required platform-specific models and the code of the selected parallel algorithm. In addition to the languages, a library is defined to support systematic reuse. We discuss the overall architecture of the language framework, the separate DSLs, the corresponding model transformations and the toolset. The framework is illustrated for four different parallel computing algorithms.

关键词： model-driven software development Parallel programming High-performance computing Domain-specific language Architecture framework

来源：评论

学校读者我要写书评

暂无评论

Extracting models from source code in software modernization

引用

software AND SYSTEMS modelING 2014年第2期13卷 713-734页

作者： Canovas Izquierdo, Javier Luis Garcia Molina, Jesus Univ Murcia Murcia Spain Univ Murcia Fac Informat Dept Informat & Sistemas E-30071 Murcia Spain EMN LINA INRIA AtlanMod Nantes France

model-driven software modernization is a discipline in which model-driven development (MDD) techniques are used in the modernization of legacy systems. When existing software artifacts are evolved, they must be transformed into models to apply MDD techniques such as model transformations. Since most modernization scenarios (e.g., application migration) involve dealing with code in general-purpose programming languages (GPL), the extraction of models from GPL code is an essential task in a model-based modernization process. This activity could be performed by tools to bridge grammarware and MDD technical spaces, which is normally carried out by dedicated parsers. Grammar-to-model Transformation Language (Gra2MoL) is a domain-specific language (DSL) tailored to the extraction of models from GPL code. This DSL is actually a text-to-model transformation language which can be applied to any code conforming to a grammar. Gra2MoL aims to reduce the effort needed to implement grammarware-MDD bridges, since building dedicated parsers is a complex and time-consuming task. Like ATL and RubyTL languages, Gra2MoL incorporates the binding concept needed to write mappings between grammar elements and metamodel elements in a simple declarative style. The language also provides a powerful query language which eases the retrieval of scattered information in syntax trees. Moreover, it incorporates extensibility and grammar reuse mechanisms. This paper describes Gra2MoL in detail and includes a case study based on the application of the language in the extraction of models from Delphi code.

关键词： model-driven engineering model-driven software development Domain-specific languages software modernization model-driven software modernization

来源：评论

学校读者我要写书评

暂无评论

Architectural Design of Cloud Applications: A Performance-Aware Cost Minimization Approach

引用

IEEE TRANSACTIONS ON CLOUD COMPUTING 2022年第3期10卷 1571-1591页

作者： Ciavotta, Michele Gibilisco, Giovanni Paolo Ardagna, Danilo Di Nitto, Elisabetta Lattuada, Marco da Silva, Marcos Aurelio Almeida Univ Milano Bicocca Dipartimento Informat Sistemist & Comunicaz I-20126 Milan Italy Politecnico Milano Dipartimento Elettron Informaz & Bioingn I-20133 Milan Italy Softeam F-75016 Paris France

Cloud Computing has assumed a relevant role in the ICT, profoundly influencing the life-cycle of modern applications in the manner they are designed, developed, and deployed and operated. In this article, we tackle the problem of supporting the design-time analysis of Cloud applications to identify a cost-optimized strategy for allocating components onto Cloud Virtual Machine infrastructural services, taking performance requirements into account. We present an approach and a tool, SPACE4CIoud, that supports users in modeling the architecture of an application, in defining performance requirements as well as deployment constraints, and then in mapping each architecture component into a corresponding VM service, minimizing total *** optimization algorithm supports the mapping and determines the Cloud configuration that minimizes the execution costs of the application over a daily time horizon. The benefits of this approach are demonstrated in the context of an industrial case study. Furthermore, we show that SPACE4Cloud leads to a cost reduction up to 60 percent, when compared to a first-principle technique based on utilization thresholds, like the ones typically used in practice, and that our solution is able to solve large problem instances within a time frame compatible with a fast-paced design process (less than half an hour in the worst case). Finally, we show that SPACE4Cloud is suitable to model even microservice-based applications and to compute the corresponding optimized deployment configuration which is compared with a state-of-the art meta-heuristic alternative method, achieving savings between 21 and 85 percent.

关键词： model-driven software development search-based software engineering performance assessment cloud computing cost minimization quality of service

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：