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

Pattern-based software process modeling for dependability

JOURNAL OF software-EVOLUTION AND process 2020年第9期32卷 1-21页

作者： Zhang, Xuan Wang, Xu Yun, Wei Gao, Chen Han, Mengting Liu, Hui Yunnan Univ Sch Software Kunming 650091 Yunnan Peoples R China Key Lab Software Engn Yunnan Kunming Yunnan Peoples R China Yunnan Univ Sch Econ Kunming Yunnan Peoples R China

Traditional process modeling focuses on modeling activities for functional requirements. For dependability requirements, a knowledge-based aspect-oriented software process modeling approach is proposed. First, we extend the pattern and context to the knowledge graph triplet structure to describe dependability-oriented knowledge patterns. By applying the patterns, dependability requirements can be organized into dependability-related activities that are integrated into the software process. Then, aspect-oriented modeling patterns based on Petri nets are introduced to support the integration of these dependability-related activities and model dependability-oriented software processes. Finally, the modeling performance and the subjective usability of the patterns are evaluated by 110 students with different degrees. The results indicate that these two indexes are on the positive track. Hence, the patterns may be the backbone of dependability-oriented software process modeling.

关键词： aspect-oriented modeling dependability knowledge graph pattern software process modeling

来源：评论

学校读者我要写书评

暂无评论

Trustworthiness requirement-oriented software process modeling

引用

JOURNAL OF software-EVOLUTION AND process 2018年第12期30卷 e1991-e1991页

作者： Zhang, Xuan Wang, Xu Kang, YanNi Yunnan Univ Sch Software Kunming 650091 Yunnan Peoples R China Key Lab Software Engn Yunnan Kunming Yunnan Peoples R China Yunnan Univ Sch Econ Kunming Yunnan Peoples R China

Trustworthy software is delivered by enacting trustworthy software processes. The purpose of this paper is to propose an approach to modeling trustworthiness requirement-oriented software processes. First, based on the aspect-oriented modeling techniques, separation of concerns is used to separate the crosscutting activities and the core activities according to the different trustworthiness requirements and functional requirements. A goal-oriented modeling and reasoning method for trustworthiness requirements to find the crosscutting activities that satisfy multiple trustworthiness requirements is presented. Then, base processes are modeled for functional requirements. The crosscutting activities for trustworthiness requirements are decomposed into processes or tasks and encapsulated in aspects that are woven into the base processes. In the weaving procedure, correct weaving methods between multiple aspects and between aspects and base processes are designed. Errors or mistakes of aspect-oriented process modeling are prevented. Finally, trustworthy third-party certification authority software is studied systematically in a case study, and performance evaluations are conducted to show the cost and effect of the approach.

关键词： aspect-oriented modeling goal-oriented modeling Petri nets software process modeling software trustworthiness requirement

来源：评论

学校读者我要写书评

暂无评论

Experimental Evaluation of a Serious Game for Teaching software process modeling

引用

IEEE TRANSACTIONS ON EDUCATION 2015年第4期58卷 289-296页

作者： Chaves, Rafael Oliveira von Wangenheim, Christiane Gresse Costa Furtado, Julio Cezar Bezerra Oliveira, Sandro Ronaldo Santos, Alex Favero, Eloi Luiz Fed Univ Para Comp Engn Fac BR-66059 Belem Para Brazil Univ Fed Santa Catarina Dept Informat & Stat Florianopolis SC Brazil Univ Fed Amapa Dept Exact Sci & Technol Macapa Amapa Brazil Inst Biostat Belem Para Brazil

software process modeling (SPM) is an important area of software engineering because it provides a basis for managing, automating, and supporting software process improvement (SPI). Teaching SPM is a challenging task, mainly because it lays great emphasis on theory and offers few practical exercises. Furthermore, as yet few teaching approaches have aimed at teaching SPM by introducing innovative features, such as games. The use of games has mainly been focused on other areas of software engineering, for example software project management. In an attempt to fill this gap, this paper describes a formal experiment carried out to assess the learning effectiveness of a serious game (DesigMPS), designed to support the teaching of SPM, and to compare game-based learning with a project-based learning method. In the DesigMPS game, the student models a software process from an SPI perspective, based on the Brazilian SPI model (MPS. BR). The results indicate that playing the game can have a positive learning effect and results in a greater degree of learning effectiveness than does the project-based learning instructional method.

关键词： Project-based learning serious game software engineering education software process modeling

来源：评论

学校读者我要写书评

暂无评论

An Experience Report on modeling software process in Industrial Context: Challenges and Solutions 13

An Experience Report on Modeling Software Process in Industr...

引用

International Conference on software and Systems processes (ICSSP)

作者： Li, Yue Zhang, He Dong, Liming Liu, Bohan Yang, Lanxin Nanjing Univ Software Inst State Key Lab Novel Software Technol Nanjing Jiangsu Peoples R China CSIRO Data61 Canberra ACT Australia

ISBN: (纸本)9798400709913

software process Model (SPM) is an abstraction of the software development process over time to assist in managing the process. SPM has attracted significant attention from researchers and practitioners in the past decades. Due to the complexity of SPM, building a practical process model often requires collaboration between academia and industry. Unfortunately, there are few empirical studies on SPM conducted in collaboration with enterprises. In this paper, we report on the challenges and solutions encountered while modeling software processes based on our collaboration with a global enterprise. These experiences are valuable to both researchers and practitioners. We presented the modeling process in detail and collected all the interview records during collaboration. As a result of building an SPM in the enterprise, we identify seven challenges and discussed solutions for each of them. The fundamental issue with SPM remains the quality and availability of data, even within industry settings. To enhance the value and applicability of models, we propose a checklist for building simulation models. The checklist can be used by modelers and practitioners to verify details that are easily overlooked during the modeling process. Our experience report provides a practical reference with researchers and practitioners who are interested in modeling software process.

关键词： software process modeling process analysis software repositories experience report

来源：评论

学校读者我要写书评

暂无评论

software process modeling languages: A systematic literature review

引用

INFORMATION AND software TECHNOLOGY 2014年第2期56卷 103-116页

作者： Garcia-Borgonon, L. Barcelona, M. A. Garcia-Garcia, J. A. Alba, M. Escalona, M. J. Aragon Inst Technol Zaragoza Spain Univ Seville Res Grp IWT2 Seville Spain

Context: Organizations working in software development are aware that processes are very important assets as well as they are very conscious of the need to deploy well-defined processes with the goal of improving software product development and, particularly, quality. software process modeling languages are an important support for describing and managing software processes in software-intensive organizations. Objective: This paper seeks to identify what software process modeling languages have been defined in last decade, the relationships and dependencies among them and, starting from the current state, to define directions for future research. Method: A systematic literature review was developed. 1929 papers were retrieved by a manual search in 9 databases and 46 primary studies were finally included. Results: Since 2000 more than 40 languages have been first reported, each of which with a concrete purpose. We show that different base technologies have been used to define software process modeling languages. We provide a scheme where each language is registered together with the year it was created, the base technology used to define it and whether it is considered a starting point for later languages. This scheme is used to illustrate the trend in software process modeling languages. Finally, we present directions for future research. Conclusion: This review presents the different software process modeling languages that have been developed in the last ten years, showing the relevant fact that model-based SPMLs (software process modeling Languages) are being considered as a current trend. Each one of these languages has been designed with a particular motivation, to solve problems which had been detected. However, there are still several problems to face, which have become evident in this review. This let us provide researchers with some guidelines for future research on this topic. (C) 2013 Elsevier B.V. All rights reserved.

关键词： software process modeling software process language Systematic literature review

来源：评论

学校读者我要写书评

暂无评论

Verification and validation of software process simulation models: A systematic mapping study

引用

JOURNAL OF software-EVOLUTION AND process 2023年第6期36卷

作者： Li, Yue Zhang, He Liu, Bohan Dong, Liming Gong, Haojie Rong, Guoping Nanjing Univ Software Inst State Key Lab Novel Software Technol Nanjing Jiangsu Peoples R China

software process simulation models (SPSMs) that are based on descriptive process models offer the executability that can demonstrate dynamic changes of software processes over time. Verification and validation (V&V) is critical in SPSMs for guaranteeing the quality and reliability of models. V&V of dynamic software process models is more complex and challenging than for static software process models. This work systematically summarizes and maps V&V studies in SPSM to provide guidelines for future research and practice. Specifically, this study aims at identifying the focus of research on V&V, the methods used for V&V, and how to implement V&V of SPSMs in software engineering research. We conducted a systematic mapping study on studies of SPSMs that report on their V&V activities. Under the guidance of a V&V meta-model for SPSMs, we study four research questions about V&V process. We identified 107 primary studies from a pool of 313 papers on SPSMs until 2021. There are two main results of our study. The first one presents the relationship between quality aspects of SPSMs and the V&V methods to assure them. The second result reveals the relationships among the modeling process, three modeling steps, five quality aspects, and 10 V&V methods. Generally, researchers do not pay sufficient attention to V&V, as 65.8% ( (313-107)/313$$ \left(313-107\right)/313 $$) failed to mention or elaborate on their V&V process. We systematically summarize and map the state-of-the-art V&V research in software process modeling field to support modelers' practice and improve their V&V process.

关键词： model verification and validation process simulation software process modeling systematic mapping study

来源：评论

学校读者我要写书评

暂无评论

Constructing a Hybrid software process Simulation Model in Practice: An Exemplar from Industry

Constructing a Hybrid Software Process Simulation Model in P...

引用

IEEE/ACM International Conference on software and System processes (ICSSP)

作者： Li, Yue Zhang, He Dong, Liming Liu, Bohan Ma, Jinyu Nanjing Univ Software Inst State Key Lab Novel Software Technol Nanjing Peoples R China

ISBN: (纸本)9781450375122

Background: software process Simulation modeling (SPSM) is of paramount importance to support quantitative management of software development process. Hybrid process simulation combines multiple simulation paradigms to reflect complex changes in realistic software processes, which brings inherent challenges to process management. Constructing a hybrid model requires more modeling expertise and experience than modeling by solo-paradigm. However, a few studies explicitly discuss the challenges they encountered as a topic, which may discourage practitioners. Objective: Our aim in this study is to present an industrial process modeling project as an exemplar to demonstrate and discuss the technical issues and challenges associated with hybrid process simulation in practice. Method: Based on the collaboration with a global software enterprise, we constructed a hybrid process simulation model that combines System Dynamics (SD) and Discrete Event Simulation (DES) to predict the project duration and release date for management. Results: Several challenges around hybrid process simulation of software development process are identified and discussed with the proposal of sets of solutions from different perspectives. The model is validated by comparing the simulation result with the actual enactment of the process in industry. In addition, the result confirms the rationality and efficacy of the suggested solutions to some extent. Conclusions: In the collaboration with the enterprise, five-step modeling procedure was adopted for constructing the hybrid process model. The experience reported about the detailed steps of hybrid modeling may offer reference value to the SPSM community.

关键词： software process modeling hybrid simulation

来源：评论

学校读者我要写书评

暂无评论

Localizing Inconsistencies into software process Models at a Conceptual Level

Localizing Inconsistencies into Software Process Models at a...

引用

World Conference on Information Systems and Technologies (WorldCIST)

作者： Kerzazi, Noureddine Mohammed V Univ Rabat ENSIAS Sch Engn Ave Mohammed Ben Abdallah RegraguiBP 713 Rabat Morocco

ISBN: (纸本)9783030161804;9783030161811

software process modeling aims to provide an abstract description of roles, activities, and artifacts used to lead the development and maintenance of software projects. The designed process models must be correct syntactically and consistent semantically in order to improve teams' productivity and enable developers to achieve product quality goals. To address those challenges, we introduce an approach to ensure the correctness and consistency of designed process models at a conceptual level. The proposed approach is based on: (1) a syntactic verification of correctness at the meta-model level and (2) a semantic validation based on a rules' engine seeking consistency at the operational level. Using this approach, software development teams can define new validation rules to constrain the semantic of their software processes. We implemented the approach and evaluate its effectiveness through two case studies. The results have shown that we are able to support process modelers identifying inconsistencies at a conceptual level. Most importantly, we further discuss the reusability of semantic validation rules produced by experts for an effective analysis of process models.

关键词： software process modeling Exception handling process models consistency Rules engine

来源：评论

学校读者我要写书评

暂无评论

INQUIRY ON USABILITY OF TWO software process modeling SYSTEMS USING ISO/IEC 9241

INQUIRY ON USABILITY OF TWO SOFTWARE PROCESS MODELING SYSTEM...

引用

24th Canadian Conference on Electrical and Computer Engineering (CCECE)

作者： Kerzazi, Noureddine Lavallee, Mathieu Ecole Polytech Montreal Dept Comp & Software Engn Montreal PQ Canada

ISBN: (纸本)9781424497898

One of the most common limitations of software is poor usability. Usability refers to the effectiveness, efficiency, and satisfaction with which users achieve their particular goals in a particular context. This paper reports an experiment which evaluates the usability factors between two software process modeling systems, EPF-Composer and DSL4SPM. Based on the standard ISO/IEC 9241, a method has been designed for both subjective and objective evaluation of systems' usability. The method allows gathering the metrics that make up the usability scale. Our experiment, involving 14 teams, provides insights on how to enhance the design of software products. The results shows that a combination of objective and subjective evaluations provide a more complete view of usability.

关键词： software process modeling SPEM Usability ISO/IEC 9241

来源：评论

学校读者我要写书评

暂无评论

UML-Based software process modeling

UML-Based Software Process Modeling

引用

2010 International Conference on Computer,Mechatronics,Control and Electronic Engineering(2010计算机、机电、控制与电子工程国际会议 CMCE 2010)

作者： Qu Chunyan Business Administration Changchun University of Technology Changchun China

This paper introduces the UML modeling, and then gives the basic steps of UML for software process modeling with regarding sales management of the modeling process as an example and then using UML visual modeling ... 详细信息

ISBN: (纸本)9781424479573

关键词： software process modeling UML Sales management

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：