发布求助
文献互助 智能选刊 最新文献

Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems最新文献

筛选
英文 中文
SemFix and beyond: semantic techniques for program repair SemFix及以后:用于程序修复的语义技术
Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems Pub Date : 2016-09-04 DOI: 10.1145/2975941.2990288
Abhik Roychoudhury
{"title":"SemFix and beyond: semantic techniques for program repair","authors":"Abhik Roychoudhury","doi":"10.1145/2975941.2990288","DOIUrl":"https://doi.org/10.1145/2975941.2990288","url":null,"abstract":"Automated program repair is of great promise for future programming environments. It is also of obvious importance for patching vulnerabilities in software, or for building self-healing systems for critical infra-structure. Traditional program repair techniques tend to lift the fix from elsewhere in the program via syntax based approaches. In this talk, I will mention how the search problems in program repair can be solved by semantic analysis techniques. Here semantic analysis methods are not only used to guide the search, but also for extracting formal specifications from tests. I will conclude with positioning of the syntax based and semantic based methods for vulnerability patching, future generation programming, and self-healing systems.","PeriodicalId":410769,"journal":{"name":"Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114884379","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Domain-independent method of detecting inconsistencies in SBVR-based business rules 在基于sbvr的业务规则中检测不一致性的独立于域的方法
Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems Pub Date : 2016-09-04 DOI: 10.1145/2975941.2975943
Pavan Kumar Chittimalli, Kritika Anand
{"title":"Domain-independent method of detecting inconsistencies in SBVR-based business rules","authors":"Pavan Kumar Chittimalli, Kritika Anand","doi":"10.1145/2975941.2975943","DOIUrl":"https://doi.org/10.1145/2975941.2975943","url":null,"abstract":"Traditionally, business rules are expressed informally in English, captured eventually, as a part of UML use-cases. Detecting anomalies in business rules is extremely difficult to automate, due to their informal nature, and manually error-prone due to the size and complexity. In recent times, business rules are being expressed increasingly using standard representations (such as Semantics of Business Vocabularies and Rules (SBVR)). We present a method to detect inconsistencies amongst the rules, based on the model checking. We exploit the First Order Logic (FOL) basis of SBVR representation to propose a method that is independent of the business domain. We present a case-study of business rules for well-known example of car-rental, and our method shows promising results to detect inconsistencies.","PeriodicalId":410769,"journal":{"name":"Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131066192","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 13
Static analysis to enable verification and transformation of data-intensive business applications 静态分析支持数据密集型业务应用程序的验证和转换
Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems Pub Date : 2016-09-04 DOI: 10.1145/2975941.2990290
K. V. Raghavan
{"title":"Static analysis to enable verification and transformation of data-intensive business applications","authors":"K. V. Raghavan","doi":"10.1145/2975941.2990290","DOIUrl":"https://doi.org/10.1145/2975941.2990290","url":null,"abstract":"Programs that process data that reside in files are widely used in varied enterprise domains, such as banking, healthcare, and web-traffic analysis. Precise static analysis of these programs in the context of software transformation and verification tasks is a challenging problem. Our key insight is that static analysis of file- processing programs can be made more useful if knowledge of the input file formats of these programs is made available to the analysis. We instantiate this idea to solve two practical problems: specializing the code of a program to a given restricted input file format, and verifying if a program conforms to a given input file format. We then discuss an implementation of our approach, and also empirical results on a set of real and realistic programs. The results are very encouraging in the terms of both scalability as well as precision of the approach.","PeriodicalId":410769,"journal":{"name":"Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130508182","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Business process adaptation using discrete event controller synthesis 使用离散事件控制器合成的业务流程适应
Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems Pub Date : 2016-09-04 DOI: 10.1145/2975941.2990289
Sebastián Uchitel
{"title":"Business process adaptation using discrete event controller synthesis","authors":"Sebastián Uchitel","doi":"10.1145/2975941.2990289","DOIUrl":"https://doi.org/10.1145/2975941.2990289","url":null,"abstract":"Discrete Event Controller Synthesis is a fully automated procedure for producing operational reactive strategies for achieving declarative goals. In this talk I will discuss how synthesis at runtime can play a key role in achieving self-adaptation. I will discuss a reference architecture for self-adaptive systems and focus on the problem of dynamic controller update. I will also explain why discrete event controller synthesis is particularly well suited for runtime adaptation of business processes, in particular for dynamic update of workflows.","PeriodicalId":410769,"journal":{"name":"Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133623143","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Improving configurable software testing with statistical test selection 通过统计测试选择改进可配置软件测试
Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems Pub Date : 2016-09-04 DOI: 10.1145/2975941.2975942
D. Marijan
{"title":"Improving configurable software testing with statistical test selection","authors":"D. Marijan","doi":"10.1145/2975941.2975942","DOIUrl":"https://doi.org/10.1145/2975941.2975942","url":null,"abstract":"In software development of configurable systems, effective software testing is essential. As high configurability entails high testing effort, effective testing is required to meet cost constraints while ensuring satisfactory end product quality. In this paper, we present an initial study on the potential of using statistical testing techniques for improving the efficiency of test selection for configurable software. The study aims to answer whether statistical testing can reduce the effort of localizing the most critical software faults, seen from user perspective. We use probabilistic transition system as the formalism for modeling a probabilistic behavior of the system, and usage models to detect faults that would impact users the most. We present an exemplary case study used to assess the performance of statistical test selection compared to manual practice.","PeriodicalId":410769,"journal":{"name":"Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124912231","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Flexible, adaptable, and compliant business systems with dynamic condition response graphs 具有动态条件响应图的灵活、适应性强和兼容的业务系统
Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems Pub Date : 2016-09-04 DOI: 10.1145/2975941.2990287
Thomas T. Hildebrandt
{"title":"Flexible, adaptable, and compliant business systems with dynamic condition response graphs","authors":"Thomas T. Hildebrandt","doi":"10.1145/2975941.2990287","DOIUrl":"https://doi.org/10.1145/2975941.2990287","url":null,"abstract":"Software systems are increasingly used to support business processes and knowledge workflows within critical areas, including transportation, finance, healthcare and government. The support for such processes, which are at the same time unpredictable and subject to changing legal constraints, calls for flexibility, adaptability and compliancy. In this talk we will present theory and applications of Dynamic Condition Response (DCR) graphs, a formal declarative event-based process language implemented in the commercial web-tool DCRGraphs.net for collaborative process design and simulation and the academic tools dcr.itu.dk. The language and tools are the result of a series of research and PhD projects supported by the danish national research foundations, ITU and Exformatics A/S and the ongoing Computational Artefacts (CompArt.ku.dk) project supported by the Velux foundation.","PeriodicalId":410769,"journal":{"name":"Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems","volume":"150 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121324128","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems 商业系统分析的形式化方法国际研讨会论文集
Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems Pub Date : 2016-09-04 DOI: 10.1145/2975941
Ravindra Naik, Raveendra Kumar Medicherla, A. Banerjee
{"title":"Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems","authors":"Ravindra Naik, Raveendra Kumar Medicherla, A. Banerjee","doi":"10.1145/2975941","DOIUrl":"https://doi.org/10.1145/2975941","url":null,"abstract":"","PeriodicalId":410769,"journal":{"name":"Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116455509","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"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学术官方微信