首页 > 最新文献

Software and Systems Modeling最新文献

英文 中文
How do I find reusable models? 如何找到可重用的模型?
IF 2 3区 计算机科学 Q3 COMPUTER SCIENCE, SOFTWARE ENGINEERING Pub Date : 2023-04-06 DOI: 10.1007/s10270-023-01103-7
Maxim Bragilovski, Roni Stern, A. Sturm
{"title":"How do I find reusable models?","authors":"Maxim Bragilovski, Roni Stern, A. Sturm","doi":"10.1007/s10270-023-01103-7","DOIUrl":"https://doi.org/10.1007/s10270-023-01103-7","url":null,"abstract":"","PeriodicalId":49507,"journal":{"name":"Software and Systems Modeling","volume":"81 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2023-04-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85500632","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}
引用次数: 1
MORGAN: a modeling recommender system based on graph kernel MORGAN:基于图核的建模推荐系统
IF 2 3区 计算机科学 Q3 COMPUTER SCIENCE, SOFTWARE ENGINEERING Pub Date : 2023-04-04 DOI: 10.1007/s10270-023-01102-8
Claudio Di Sipio, Juri Di Rocco, Davide Di Ruscio, P. Nguyen
{"title":"MORGAN: a modeling recommender system based on graph kernel","authors":"Claudio Di Sipio, Juri Di Rocco, Davide Di Ruscio, P. Nguyen","doi":"10.1007/s10270-023-01102-8","DOIUrl":"https://doi.org/10.1007/s10270-023-01102-8","url":null,"abstract":"","PeriodicalId":49507,"journal":{"name":"Software and Systems Modeling","volume":"37 1","pages":"1427 - 1449"},"PeriodicalIF":2.0,"publicationDate":"2023-04-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73095526","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
Detecting cross-case associations in an event log: toward a pattern-based detection 在事件日志中检测跨案例关联:实现基于模式的检测
IF 2 3区 计算机科学 Q3 COMPUTER SCIENCE, SOFTWARE ENGINEERING Pub Date : 2023-04-01 DOI: 10.1007/s10270-023-01100-w
Y. Dubinsky, P. Soffer, I. Hadar
{"title":"Detecting cross-case associations in an event log: toward a pattern-based detection","authors":"Y. Dubinsky, P. Soffer, I. Hadar","doi":"10.1007/s10270-023-01100-w","DOIUrl":"https://doi.org/10.1007/s10270-023-01100-w","url":null,"abstract":"","PeriodicalId":49507,"journal":{"name":"Software and Systems Modeling","volume":"72 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2023-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91294771","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}
引用次数: 1
Synthesizing verified components for cyber assured systems engineering 为网络安全系统工程综合验证组件
3区 计算机科学 Q3 COMPUTER SCIENCE, SOFTWARE ENGINEERING Pub Date : 2023-03-21 DOI: 10.1007/s10270-023-01096-3
Eric Mercer, Konrad Slind, Isaac Amundson, Darren Cofer, Junaid Babar, David Hardin
{"title":"Synthesizing verified components for cyber assured systems engineering","authors":"Eric Mercer, Konrad Slind, Isaac Amundson, Darren Cofer, Junaid Babar, David Hardin","doi":"10.1007/s10270-023-01096-3","DOIUrl":"https://doi.org/10.1007/s10270-023-01096-3","url":null,"abstract":"","PeriodicalId":49507,"journal":{"name":"Software and Systems Modeling","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-03-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135000574","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}
引用次数: 9
MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty. MoDALAS:解决在不确定性面前为学习型自主系统提供保障的问题。
IF 2 3区 计算机科学 Q3 COMPUTER SCIENCE, SOFTWARE ENGINEERING Pub Date : 2023-03-18 DOI: 10.1007/s10270-023-01090-9
Michael Austin Langford, Kenneth H Chan, Jonathon Emil Fleck, Philip K McKinley, Betty H C Cheng

Increasingly, safety-critical systems include artificial intelligence and machine learning components (i.e., learning-enabled components (LECs)). However, when behavior is learned in a training environment that fails to fully capture real-world phenomena, the response of an LEC to untrained phenomena is uncertain and therefore cannot be assured as safe. Automated methods are needed for self-assessment and adaptation to decide when learned behavior can be trusted. This work introduces a model-driven approach to manage self-adaptation of a learning-enabled system (LES) to account for run-time contexts for which the learned behavior of LECs cannot be trusted. The resulting framework enables an LES to monitor and evaluate goal models at run time to determine whether or not LECs can be expected to meet functional objectives and enables system adaptation accordingly. Using this framework enables stakeholders to have more confidence that LECs are used only in contexts comparable to those validated at design time.

安全关键系统越来越多地包括人工智能和机器学习组件(即学习支持组件(LEC))。然而,当在无法完全捕捉真实世界现象的训练环境中学习行为时,LEC对未经训练的现象的反应是不确定的,因此不能保证安全。自我评估和适应需要自动化的方法来决定何时可以信任所学的行为。这项工作引入了一种模型驱动的方法来管理学习支持系统(LES)的自适应,以解决LEC的学习行为不可信的运行时上下文。由此产生的框架使LES能够在运行时监测和评估目标模型,以确定LEC是否能够满足功能目标,并相应地实现系统自适应。使用该框架使利益相关者更有信心,LEC仅在与设计时验证的环境相当的环境中使用。
{"title":"MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty.","authors":"Michael Austin Langford,&nbsp;Kenneth H Chan,&nbsp;Jonathon Emil Fleck,&nbsp;Philip K McKinley,&nbsp;Betty H C Cheng","doi":"10.1007/s10270-023-01090-9","DOIUrl":"10.1007/s10270-023-01090-9","url":null,"abstract":"<p><p>Increasingly, safety-critical systems include artificial intelligence and machine learning components (i.e., learning-enabled components (LECs)). However, when behavior is learned in a training environment that fails to fully capture real-world phenomena, the response of an LEC to untrained phenomena is uncertain and therefore cannot be assured as safe. Automated methods are needed for self-assessment and adaptation to decide when learned behavior can be trusted. This work introduces a model-driven approach to manage self-adaptation of a learning-enabled system (LES) to account for run-time contexts for which the learned behavior of LECs cannot be trusted. The resulting framework enables an LES to monitor and evaluate goal models at run time to determine whether or not LECs can be expected to meet functional objectives and enables system adaptation accordingly. Using this framework enables stakeholders to have more confidence that LECs are used only in contexts comparable to those validated at design time.</p>","PeriodicalId":49507,"journal":{"name":"Software and Systems Modeling","volume":" ","pages":"1-21"},"PeriodicalIF":2.0,"publicationDate":"2023-03-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10024308/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"9720390","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Supporting data-aware processes with MERODE 使用MERODE支持数据感知进程
3区 计算机科学 Q3 COMPUTER SCIENCE, SOFTWARE ENGINEERING Pub Date : 2023-03-13 DOI: 10.1007/s10270-023-01095-4
Monique Snoeck, Charlotte Verbruggen, Johannes De Smedt, Jochen De Weerdt
{"title":"Supporting data-aware processes with MERODE","authors":"Monique Snoeck, Charlotte Verbruggen, Johannes De Smedt, Jochen De Weerdt","doi":"10.1007/s10270-023-01095-4","DOIUrl":"https://doi.org/10.1007/s10270-023-01095-4","url":null,"abstract":"","PeriodicalId":49507,"journal":{"name":"Software and Systems Modeling","volume":"163 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135957297","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
SimIMA: a virtual Simulink intelligent modeling assistant SimIMA:一个虚拟的Simulink智能建模助手
IF 2 3区 计算机科学 Q3 COMPUTER SCIENCE, SOFTWARE ENGINEERING Pub Date : 2023-03-13 DOI: 10.1007/s10270-023-01093-6
Bhisma Adhikari, E. J. Rapos, Matthew Stephan
{"title":"SimIMA: a virtual Simulink intelligent modeling assistant","authors":"Bhisma Adhikari, E. J. Rapos, Matthew Stephan","doi":"10.1007/s10270-023-01093-6","DOIUrl":"https://doi.org/10.1007/s10270-023-01093-6","url":null,"abstract":"","PeriodicalId":49507,"journal":{"name":"Software and Systems Modeling","volume":"59 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2023-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85792916","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}
引用次数: 1
In memory of Heinrich Hussmann, long-time friend and SoSyM editor 纪念海因里希·胡斯曼,老朋友和SoSyM的编辑
IF 2 3区 计算机科学 Q3 COMPUTER SCIENCE, SOFTWARE ENGINEERING Pub Date : 2023-03-13 DOI: 10.1007/s10270-023-01099-0
M. Broy, A. Schmidt, M. Wirsing
{"title":"In memory of Heinrich Hussmann, long-time friend and SoSyM editor","authors":"M. Broy, A. Schmidt, M. Wirsing","doi":"10.1007/s10270-023-01099-0","DOIUrl":"https://doi.org/10.1007/s10270-023-01099-0","url":null,"abstract":"","PeriodicalId":49507,"journal":{"name":"Software and Systems Modeling","volume":"10 1","pages":"453 - 454"},"PeriodicalIF":2.0,"publicationDate":"2023-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87840173","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
Guest editorial for the theme section on modeling language engineering 关于建模语言工程主题部分的客座社论
IF 2 3区 计算机科学 Q3 COMPUTER SCIENCE, SOFTWARE ENGINEERING Pub Date : 2023-03-10 DOI: 10.1007/s10270-023-01097-2
B. Combemale, Romina Eramo, J. Lara
{"title":"Guest editorial for the theme section on modeling language engineering","authors":"B. Combemale, Romina Eramo, J. Lara","doi":"10.1007/s10270-023-01097-2","DOIUrl":"https://doi.org/10.1007/s10270-023-01097-2","url":null,"abstract":"","PeriodicalId":49507,"journal":{"name":"Software and Systems Modeling","volume":"43 1","pages":"795 - 796"},"PeriodicalIF":2.0,"publicationDate":"2023-03-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90646364","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
Efficient regression testing of distributed real-time reactive systems in the context of model-driven development 模型驱动开发环境下分布式实时反应系统的有效回归测试
IF 2 3区 计算机科学 Q3 COMPUTER SCIENCE, SOFTWARE ENGINEERING Pub Date : 2023-03-06 DOI: 10.1007/s10270-023-01086-5
Majid Babaei, Juergen Dingel
{"title":"Efficient regression testing of distributed real-time reactive systems in the context of model-driven development","authors":"Majid Babaei, Juergen Dingel","doi":"10.1007/s10270-023-01086-5","DOIUrl":"https://doi.org/10.1007/s10270-023-01086-5","url":null,"abstract":"","PeriodicalId":49507,"journal":{"name":"Software and Systems Modeling","volume":"77 1","pages":"1565 - 1587"},"PeriodicalIF":2.0,"publicationDate":"2023-03-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79654319","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
期刊
Software and Systems Modeling
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1