Software and Systems Modeling最新文献

筛选
英文 中文
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification 通过形式化验证分析人为错误对交互式服务机器人场景的影响
IF 2 3区 计算机科学
Software and Systems Modeling Pub Date : 2023-08-17 DOI: 10.1007/s10270-023-01125-1
Livia Lestingi, Andrea Manglaviti, D. Marinaro, Luca Marinello, M. Askarpour, M. Bersani, M. Rossi
{"title":"Analyzing the impact of human errors on interactive service robotic scenarios via formal verification","authors":"Livia Lestingi, Andrea Manglaviti, D. Marinaro, Luca Marinello, M. Askarpour, M. Bersani, M. Rossi","doi":"10.1007/s10270-023-01125-1","DOIUrl":"https://doi.org/10.1007/s10270-023-01125-1","url":null,"abstract":"","PeriodicalId":49507,"journal":{"name":"Software and Systems Modeling","volume":"9 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2023-08-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82904781","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
Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis 扩展有界响应LTL+P综合的公平性、假设和保证
IF 2 3区 计算机科学
Software and Systems Modeling Pub Date : 2023-08-11 DOI: 10.1007/s10270-023-01122-4
A. Cimatti, Luca Geatti, N. Gigante, A. Montanari, Stefano Tonetta
{"title":"Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis","authors":"A. Cimatti, Luca Geatti, N. Gigante, A. Montanari, Stefano Tonetta","doi":"10.1007/s10270-023-01122-4","DOIUrl":"https://doi.org/10.1007/s10270-023-01122-4","url":null,"abstract":"","PeriodicalId":49507,"journal":{"name":"Software and Systems Modeling","volume":"173 ","pages":""},"PeriodicalIF":2.0,"publicationDate":"2023-08-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72505481","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
Evaluating user acceptance of knowledge-intensive business process modeling languages 评估用户对知识密集型业务流程建模语言的接受程度
IF 2 3区 计算机科学
Software and Systems Modeling Pub Date : 2023-08-02 DOI: 10.1007/s10270-023-01120-6
A. Jalali
{"title":"Evaluating user acceptance of knowledge-intensive business process modeling languages","authors":"A. Jalali","doi":"10.1007/s10270-023-01120-6","DOIUrl":"https://doi.org/10.1007/s10270-023-01120-6","url":null,"abstract":"","PeriodicalId":49507,"journal":{"name":"Software and Systems Modeling","volume":"168 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2023-08-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75391687","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
Research software engineering and the importance of scientific models 研究软件工程和科学模型的重要性
IF 2 3区 计算机科学
Software and Systems Modeling Pub Date : 2023-07-29 DOI: 10.1007/s10270-023-01119-z
B. Combemale, J. Gray, Bernhard Rumpe
{"title":"Research software engineering and the importance of scientific models","authors":"B. Combemale, J. Gray, Bernhard Rumpe","doi":"10.1007/s10270-023-01119-z","DOIUrl":"https://doi.org/10.1007/s10270-023-01119-z","url":null,"abstract":"","PeriodicalId":49507,"journal":{"name":"Software and Systems Modeling","volume":"35 1","pages":"1081 - 1083"},"PeriodicalIF":2.0,"publicationDate":"2023-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78609552","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
Counterexample classification 反例的分类
IF 2 3区 计算机科学
Software and Systems Modeling Pub Date : 2023-07-26 DOI: 10.1007/s10270-023-01118-0
Cole Vick, Eunsuk Kang, Stavros Tripakis
{"title":"Counterexample classification","authors":"Cole Vick, Eunsuk Kang, Stavros Tripakis","doi":"10.1007/s10270-023-01118-0","DOIUrl":"https://doi.org/10.1007/s10270-023-01118-0","url":null,"abstract":"<p>In model checking, when a model fails to satisfy the desired specification, a typical model checker provides a <i>counterexample</i> that illustrates how the violation occurs. In general, there exist many diverse counterexamples that exhibit distinct violating behaviors, which the user may wish to examine before deciding how to repair the model. Unfortunately, (1) the number of counterexamples may be too large to enumerate one by one, and (2) many of these counterexamples are redundant, in that they describe the same type of violating behavior. In this paper, we propose a technique called <i>counterexample classification</i>. The goal of classification is to cover the space of all counterexamples into a finite set of <i>counterexample classes</i>, each of which describes a distinct type of violating behavior for the given specification. These classes are then presented as a summary of possible violating behaviors in the system, freeing the user from manually having to inspect or analyze numerous counterexamples to extract the same information. We have implemented a prototype of our technique on top of an existing formal modeling and verification tool, the Alloy Analyzer, and evaluated the effectiveness of the technique on case studies involving the well-known Needham–Schroeder and TCP protocols with promising results.</p>","PeriodicalId":49507,"journal":{"name":"Software and Systems Modeling","volume":"34 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2023-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138515623","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
An ontology-based approach to engineering ethicality requirements 基于本体的工程伦理需求方法
IF 2 3区 计算机科学
Software and Systems Modeling Pub Date : 2023-07-22 DOI: 10.1007/s10270-023-01115-3
Renata Guizzardi, G. Amaral, G. Guizzardi, J. Mylopoulos
{"title":"An ontology-based approach to engineering ethicality requirements","authors":"Renata Guizzardi, G. Amaral, G. Guizzardi, J. Mylopoulos","doi":"10.1007/s10270-023-01115-3","DOIUrl":"https://doi.org/10.1007/s10270-023-01115-3","url":null,"abstract":"","PeriodicalId":49507,"journal":{"name":"Software and Systems Modeling","volume":"35 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2023-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75307418","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}
引用次数: 2
Modelling guidance in software engineering: a systematic literature review 软件工程中的建模指导:系统的文献综述
IF 2 3区 计算机科学
Software and Systems Modeling Pub Date : 2023-07-17 DOI: 10.1007/s10270-023-01117-1
Shalini Chakraborty, Grischa Liebel
{"title":"Modelling guidance in software engineering: a systematic literature review","authors":"Shalini Chakraborty, Grischa Liebel","doi":"10.1007/s10270-023-01117-1","DOIUrl":"https://doi.org/10.1007/s10270-023-01117-1","url":null,"abstract":"<p>Despite potential benefits in Software Engineering, adoption of software modelling in industry is low. Technical issues such as tool support have gained significant research before, but individual guidance and training have received little attention. As a first step towards providing the necessary guidance in modelling, we conduct a systematic literature review to explore the current state of the art. We searched academic literature for guidance on model creation and selected 35 papers for full-text screening through three rounds of selection. We find research on model creation guidance to be fragmented, with inconsistent usage of terminology, and a lack of empirical validation or supporting evidence. We outline the different dimensions commonly used to provide guidance on software and system model creation. Additionally, we provide definitions of the three terms modelling method, style, and guideline as current literature lacks a well-defined distinction between them. These definitions can help distinguishing between important concepts and provide precise modelling guidance.\u0000</p>","PeriodicalId":49507,"journal":{"name":"Software and Systems Modeling","volume":"113 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2023-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138515624","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
Model projection relative to submetamodeling dimensions 相对于子元建模维度的模型投影
IF 2 3区 计算机科学
Software and Systems Modeling Pub Date : 2023-07-12 DOI: 10.1007/s10270-023-01116-2
B. Carré, Gilles Vanwormhoudt, O. Caron
{"title":"Model projection relative to submetamodeling dimensions","authors":"B. Carré, Gilles Vanwormhoudt, O. Caron","doi":"10.1007/s10270-023-01116-2","DOIUrl":"https://doi.org/10.1007/s10270-023-01116-2","url":null,"abstract":"","PeriodicalId":49507,"journal":{"name":"Software and Systems Modeling","volume":"43 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2023-07-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75000655","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
Verifying consistency of software product line architectures with product architectures 验证软件产品线架构与产品架构的一致性
IF 2 3区 计算机科学
Software and Systems Modeling Pub Date : 2023-07-08 DOI: 10.1007/s10270-023-01114-4
H. Duran-Limon, Perla Velasco-Elizondo, M. Mora, M. Meda-Campaña, Karina Aguilar, M. Hernández-Ochoa, Leonardo Soto Sumuano
{"title":"Verifying consistency of software product line architectures with product architectures","authors":"H. Duran-Limon, Perla Velasco-Elizondo, M. Mora, M. Meda-Campaña, Karina Aguilar, M. Hernández-Ochoa, Leonardo Soto Sumuano","doi":"10.1007/s10270-023-01114-4","DOIUrl":"https://doi.org/10.1007/s10270-023-01114-4","url":null,"abstract":"","PeriodicalId":49507,"journal":{"name":"Software and Systems Modeling","volume":"1 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2023-07-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83884921","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
Scientific workflow execution in the cloud using a dynamic runtime model 使用动态运行时模型在云中执行科学的工作流
IF 2 3区 计算机科学
Software and Systems Modeling Pub Date : 2023-06-23 DOI: 10.1007/s10270-023-01112-6
J. Erbel, J. Grabowski
{"title":"Scientific workflow execution in the cloud using a dynamic runtime model","authors":"J. Erbel, J. Grabowski","doi":"10.1007/s10270-023-01112-6","DOIUrl":"https://doi.org/10.1007/s10270-023-01112-6","url":null,"abstract":"","PeriodicalId":49507,"journal":{"name":"Software and Systems Modeling","volume":"1 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2023-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84270965","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
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信