Software and Systems Modeling最新文献

Modeling more software performance antipatterns in cyber-physical systems 为网络物理系统中的更多软件性能反模式建模

IF 2 3区计算机科学

Software and Systems Modeling Pub Date : 2023-12-20 DOI: 10.1007/s10270-023-01137-x

Riccardo Pinciroli, Connie U. Smith, Catia Trubiani

{"title":"Modeling more software performance antipatterns in cyber-physical systems","authors":"Riccardo Pinciroli, Connie U. Smith, Catia Trubiani","doi":"10.1007/s10270-023-01137-x","DOIUrl":"https://doi.org/10.1007/s10270-023-01137-x","url":null,"abstract":"The design of cyber-physical systems (CPS) is challenging due to the heterogeneity of software and hardware components that operate in uncertain environments (e.g., fluctuating workloads), hence they are prone to performance issues. Software performance antipatterns could be a key means to tackle this challenge since they recognize design problems that may lead to unacceptable system performance. This manuscript focuses on modeling and analyzing a variegate set of software performance antipatterns with the goal of quantifying their performance impact on CPS. Starting from the specification of eight software performance antipatterns, we build a baseline queuing network performance model that is properly extended to account for the corresponding bad practices. The approach is applied to a CPS consisting of a network of sensors and experimental results show that performance degradation can be traced back to software performance antipatterns. Sensitivity analysis investigates the peculiar characteristics of antipatterns, such as the frequency of checking the status of resources, that provides quantitative information to software designers to help them identify potential performance problems and their root causes. Quantifying the performance impact of antipatterns on CPS paves the way for future work enabling the automated refactoring of systems to remove these bad practices.\u0000","PeriodicalId":49507,"journal":{"name":"Software and Systems Modeling","volume":"33 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2023-12-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138821235","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Special section of BPMDS’2021 business process improvement BPMDS'2021 业务流程改进专栏

IF 2 3区计算机科学

Software and Systems Modeling Pub Date : 2023-12-18 DOI: 10.1007/s10270-023-01139-9

引用次数: 0

Guest editorial for EMMSAD’2022 special section 为 EMMSAD 的 2022 专刊撰写客座社论

IF 2 3区计算机科学

Software and Systems Modeling Pub Date : 2023-12-08 DOI: 10.1007/s10270-023-01130-4

Iris Reinhartz-Berger, Dominik Bork

引用次数: 0

Adopting the concept of a function as an underlying semantic paradigm for modeling languages 采用函数的概念作为建模语言的底层语义范式

IF 2 3区计算机科学

Software and Systems Modeling Pub Date : 2023-11-30 DOI: 10.1007/s10270-023-01140-2

Benoit Combemale, Jeff Gray, Bernhard Rumpe

引用次数: 0

A theme section on the central role of modeling in designing and explaining data-driven systems and software 关于建模在设计和解释数据驱动型系统和软件中的核心作用的主题部分

IF 2 3区计算机科学

Software and Systems Modeling Pub Date : 2023-11-22 DOI: 10.1007/s10270-023-01133-1

Christian Attiogbé, Sadok Ben Yahia, Ladjel Bellatreche

引用次数: 0

Modeling and enforcing access control policies in conversational user interfaces 在会话用户界面中建模和实施访问控制策略

IF 2 3区计算机科学

Software and Systems Modeling Pub Date : 2023-11-22 DOI: 10.1007/s10270-023-01131-3

Elena Planas, Salvador Martínez, Marco Brambilla, Jordi Cabot

引用次数: 0

What makes life for process mining analysts difficult? A reflection of challenges 是什么让过程挖掘分析师的生活变得困难?挑战的反映

IF 2 3区计算机科学

Software and Systems Modeling Pub Date : 2023-11-17 DOI: 10.1007/s10270-023-01134-0

Lisa Zimmermann, Francesca Zerbato, Barbara Weber

{"title":"What makes life for process mining analysts difficult? A reflection of challenges","authors":"Lisa Zimmermann, Francesca Zerbato, Barbara Weber","doi":"10.1007/s10270-023-01134-0","DOIUrl":"https://doi.org/10.1007/s10270-023-01134-0","url":null,"abstract":"Over the past few years, several software companies have emerged that offer process mining tools to assist enterprises in gaining insights into their process executions. However, the effective application of process mining technologies depends on analysts who need to be proficient in managing process mining projects and providing process insights and improvement opportunities. To contribute to a better understanding of the difficulties encountered by analysts and to pave the way for the development of enhanced and tailored support for them, this work reveals the challenges they perceive in practice. In particular, we identify 23 challenges based on interviews with 41 analysts, which we validate using a questionnaire survey. We provide insights into the relevancy of the process mining challenges and present mitigation strategies applied in practice to overcome them. While mitigation strategies exist, our findings imply the need for further research to provide support for analysts along all phases of process mining projects on the individual level, but also the technical, group, and organizational levels.\u0000","PeriodicalId":49507,"journal":{"name":"Software and Systems Modeling","volume":"16 3","pages":""},"PeriodicalIF":2.0,"publicationDate":"2023-11-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138519072","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

On applying residual reasoning within neural network verification 残差推理在神经网络验证中的应用

IF 2 3区计算机科学

Software and Systems Modeling Pub Date : 2023-11-16 DOI: 10.1007/s10270-023-01138-w

Yizhak Yisrael Elboher, Elazar Cohen, Guy Katz

{"title":"On applying residual reasoning within neural network verification","authors":"Yizhak Yisrael Elboher, Elazar Cohen, Guy Katz","doi":"10.1007/s10270-023-01138-w","DOIUrl":"https://doi.org/10.1007/s10270-023-01138-w","url":null,"abstract":"As neural networks are increasingly being integrated into mission-critical systems, it is becoming crucial to ensure that they meet various safety and liveness requirements. Toward, that end, numerous complete and sound verification techniques have been proposed in recent years, but these often suffer from severe scalability issues. One recently proposed approach for improving the scalability of verification techniques is to enhance them with abstraction/refinement capabilities: instead of verifying a complex and large network, abstraction allows the verifier to construct and then verify a much smaller network, and the correctness of the smaller network immediately implies the correctness of the original, larger network. One shortcoming of this scheme is that whenever the smaller network cannot be verified, the verifier must perform a refinement step, in which the size of the network being verified is increased. The verifier then starts verifying the new network from scratch—effectively “forgetting” its earlier work, in which the smaller network was verified. Here, we present an enhancement to abstraction-based neural network verification, which uses residual reasoning: a process where information acquired when verifying an abstract network is utilized in order to facilitate the verification of refined networks. At its core, the method enables the verifier to retain information about parts of the search space in which it was determined that the refined network behaves correctly, allowing the verifier to focus on areas of the search space where bugs might yet be discovered. For evaluation, we implemented our approach as an extension to the Marabou verifier and obtained highly promising results.","PeriodicalId":49507,"journal":{"name":"Software and Systems Modeling","volume":"64 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2023-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138542782","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

On the persistent rumors of the programmer’s imminent demise 关于程序员即将死亡的谣言不断

IF 2 3区计算机科学

Software and Systems Modeling Pub Date : 2023-11-15 DOI: 10.1007/s10270-023-01136-y

Hessam Mohammadi, Wided Ghardallou, Elijah Brick, Ali Mili

引用次数: 0

From network traffic data to business activities: a conceptualization and a recognition approach 从网络流量数据到商业活动:一种概念化和识别方法

3区计算机科学

Software and Systems Modeling Pub Date : 2023-11-08 DOI: 10.1007/s10270-023-01135-z

Moshe Hadad, Gal Engelberg, Pnina Soffer

引用次数: 0