首页 > 最新文献

2020 IEEE International Conference on Software Architecture Companion (ICSA-C)最新文献

英文 中文
A Model-Driven Architectural Design Method for Big Data Analytics Applications 面向大数据分析应用的模型驱动架构设计方法
Pub Date : 2020-03-01 DOI: 10.1109/ICSA-C50368.2020.00026
C. Castellanos, B. Pérez, D. Correal, Carlos A. Varela
Big data analytics (BDA) applications use machine learning to extract valuable insights from large, fast, and heterogeneous data sources. The architectural design and evaluation of BDA applications entail new challenges to integrate emerging machine learning algorithms with cutting-edge practices whilst ensuring performance levels even in the presence of large data volume, velocity, and variety (3Vs). This paper presents a design process approach based on the Attribute-Driven Design (ADD) method and Architecture tradeoff analysis method (ATAM) to specify, deploy, and monitor performance metrics in BDA applications supported by domain-specific modeling and DevOps. Our design process starts with the definition of architectural drivers, followed by functional and deployment specification through integrated high-level modeling which enables quality scenarios monitoring. We used two use cases from avionics to evaluate this proposal, and the preliminary results suggest advantages by integrating multiple views, automating deployment and monitoring compared to similar approaches.
大数据分析(BDA)应用程序使用机器学习从大型、快速和异构数据源中提取有价值的见解。BDA应用程序的架构设计和评估带来了新的挑战,需要将新兴的机器学习算法与尖端实践相结合,同时确保在大数据量、速度和多样性(3v)存在的情况下也能保持性能水平。本文提出了一种基于属性驱动设计(ADD)方法和架构权衡分析方法(ATAM)的设计过程方法,用于指定、部署和监控由领域特定建模和DevOps支持的BDA应用程序中的性能指标。我们的设计过程从架构驱动程序的定义开始,然后是功能和部署规范,通过集成的高级建模来实现高质量的场景监控。我们使用了两个来自航空电子设备的用例来评估这一建议,初步结果表明,与类似方法相比,集成多个视图、自动化部署和监控具有优势。
{"title":"A Model-Driven Architectural Design Method for Big Data Analytics Applications","authors":"C. Castellanos, B. Pérez, D. Correal, Carlos A. Varela","doi":"10.1109/ICSA-C50368.2020.00026","DOIUrl":"https://doi.org/10.1109/ICSA-C50368.2020.00026","url":null,"abstract":"Big data analytics (BDA) applications use machine learning to extract valuable insights from large, fast, and heterogeneous data sources. The architectural design and evaluation of BDA applications entail new challenges to integrate emerging machine learning algorithms with cutting-edge practices whilst ensuring performance levels even in the presence of large data volume, velocity, and variety (3Vs). This paper presents a design process approach based on the Attribute-Driven Design (ADD) method and Architecture tradeoff analysis method (ATAM) to specify, deploy, and monitor performance metrics in BDA applications supported by domain-specific modeling and DevOps. Our design process starts with the definition of architectural drivers, followed by functional and deployment specification through integrated high-level modeling which enables quality scenarios monitoring. We used two use cases from avionics to evaluate this proposal, and the preliminary results suggest advantages by integrating multiple views, automating deployment and monitoring compared to similar approaches.","PeriodicalId":202587,"journal":{"name":"2020 IEEE International Conference on Software Architecture Companion (ICSA-C)","volume":"105 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134290365","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}
引用次数: 4
ICSA-C 2020 Commentary ICSA-C 2020评论
Pub Date : 2020-03-01 DOI: 10.1109/icsa-c50368.2020.00001
{"title":"ICSA-C 2020 Commentary","authors":"","doi":"10.1109/icsa-c50368.2020.00001","DOIUrl":"https://doi.org/10.1109/icsa-c50368.2020.00001","url":null,"abstract":"","PeriodicalId":202587,"journal":{"name":"2020 IEEE International Conference on Software Architecture Companion (ICSA-C)","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134296661","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
CompliancePal: A Tool for Supporting Practical Agile and Regulatory-Compliant Development of Medical Software 遵从性:支持医疗软件的实用敏捷和法规遵从性开发的工具
Pub Date : 2020-03-01 DOI: 10.1109/ICSA-C50368.2020.00035
Vlad Stirbu, T. Mikkonen
As digital transformation affects more and more industries, the increased role of software and the skills required to develop software trigger a ripple effect. Entire industries, where regulations and government standards play an important role (e.g. health care, avionics, etc.), have used long development cycles that relied on detailed up-front planning before advancing to any detailed decision. In contrast to this mindset, agile software development has proven to deliver results that satisfy customers needs faster than traditional waterfall methodologies. The lack of detailed upfront planning and fast delivery cycles have led to situations where the use of agile became synonymous with lack of documentation and poor quality, and hence the perception that the approach is not suitable for regulated systems. In this experience paper we describe the implementation of a service that integrates medical device software compliance specific activities such as architectural design and limited risk management into the daily agile practices of a software development team.
随着数字化转型影响越来越多的行业,软件的作用和开发软件所需的技能的增加引发了连锁反应。在法规和政府标准发挥重要作用的整个行业(例如医疗保健、航空电子设备等),在做出任何具体决定之前,都依赖于详细的前期规划,使用了很长的开发周期。与这种思维方式相反,敏捷软件开发已被证明比传统瀑布方法更快地交付满足客户需求的结果。缺乏详细的前期计划和快速的交付周期导致使用敏捷成为缺乏文档和低质量的同义词,因此认为该方法不适合受监管的系统。在这篇经验论文中,我们描述了一种服务的实现,该服务将医疗设备软件遵从性特定活动(如架构设计和有限风险管理)集成到软件开发团队的日常敏捷实践中。
{"title":"CompliancePal: A Tool for Supporting Practical Agile and Regulatory-Compliant Development of Medical Software","authors":"Vlad Stirbu, T. Mikkonen","doi":"10.1109/ICSA-C50368.2020.00035","DOIUrl":"https://doi.org/10.1109/ICSA-C50368.2020.00035","url":null,"abstract":"As digital transformation affects more and more industries, the increased role of software and the skills required to develop software trigger a ripple effect. Entire industries, where regulations and government standards play an important role (e.g. health care, avionics, etc.), have used long development cycles that relied on detailed up-front planning before advancing to any detailed decision. In contrast to this mindset, agile software development has proven to deliver results that satisfy customers needs faster than traditional waterfall methodologies. The lack of detailed upfront planning and fast delivery cycles have led to situations where the use of agile became synonymous with lack of documentation and poor quality, and hence the perception that the approach is not suitable for regulated systems. In this experience paper we describe the implementation of a service that integrates medical device software compliance specific activities such as architectural design and limited risk management into the daily agile practices of a software development team.","PeriodicalId":202587,"journal":{"name":"2020 IEEE International Conference on Software Architecture Companion (ICSA-C)","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114516938","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
Motivating Web and Blockchain Application Modeling 激励Web和区块链应用程序建模
Pub Date : 2020-03-01 DOI: 10.1109/ICSA-C50368.2020.00029
A. Abreu, E. Coutinho
Blockchain technology was developed initially for the creation of a crypto-currency. Now it is being exploited for several other applications, such as health, agriculture, IoT and education. Adding blockchain technology to existing systems requires a careful planning of integration between the different environments and technologies. Building blockchain-based applications enables a software which is executed in a decentralized, trustless, transparent and tamper-proof environment, generally called decentralized applications. This article aims to motivate systems modeling activity, specifically between web and blockchain applications. This is an initial study, and as preliminary results we suggest the use of sequence diagrams for modeling the integration between technologies.
区块链技术最初是为了创建加密货币而开发的。现在,它正在被用于其他几个应用,如健康、农业、物联网和教育。将区块链技术添加到现有系统中需要仔细规划不同环境和技术之间的集成。构建基于区块链的应用程序可以使软件在去中心化、无信任、透明和防篡改的环境中执行,通常称为去中心化应用程序。本文旨在激发系统建模活动,特别是在web和区块链应用程序之间。这是一个初步的研究,作为初步的结果,我们建议使用序列图对技术之间的集成进行建模。
{"title":"Motivating Web and Blockchain Application Modeling","authors":"A. Abreu, E. Coutinho","doi":"10.1109/ICSA-C50368.2020.00029","DOIUrl":"https://doi.org/10.1109/ICSA-C50368.2020.00029","url":null,"abstract":"Blockchain technology was developed initially for the creation of a crypto-currency. Now it is being exploited for several other applications, such as health, agriculture, IoT and education. Adding blockchain technology to existing systems requires a careful planning of integration between the different environments and technologies. Building blockchain-based applications enables a software which is executed in a decentralized, trustless, transparent and tamper-proof environment, generally called decentralized applications. This article aims to motivate systems modeling activity, specifically between web and blockchain applications. This is an initial study, and as preliminary results we suggest the use of sequence diagrams for modeling the integration between technologies.","PeriodicalId":202587,"journal":{"name":"2020 IEEE International Conference on Software Architecture Companion (ICSA-C)","volume":"238 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116105497","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
PerfMinerArch - A Tool to Visualize and Analyze Performance Deviations 一个可视化和分析性能偏差的工具
Pub Date : 2020-03-01 DOI: 10.1109/ICSA-C50368.2020.00052
Leo Silva, Luíis Anunciado Silva, U. Kulesza, Djalma Antony Rodrigues, Felipe A. P. Pinto
This paper presents PerfMinerArch, a tool to visualize and analyze performance deviations from subsequent evolutions of a software system. It provides architecture views that allow developers to identify scenarios and system packages/modules that have variations in their performance. It also allows exploring performance deviations of each scenario to a more detailed perspective that shows the methods and commits in repositories that are responsible for them. The tool has been applied to identify performance deviations in existing open-source software systems.
本文介绍了PerfMinerArch,一个可视化和分析软件系统后续演变的性能偏差的工具。它提供了架构视图,允许开发人员识别在性能上有变化的场景和系统包/模块。它还允许从更详细的角度探索每个场景的性能偏差,以显示存储库中负责它们的方法和提交。该工具已被用于识别现有开源软件系统中的性能偏差。
{"title":"PerfMinerArch - A Tool to Visualize and Analyze Performance Deviations","authors":"Leo Silva, Luíis Anunciado Silva, U. Kulesza, Djalma Antony Rodrigues, Felipe A. P. Pinto","doi":"10.1109/ICSA-C50368.2020.00052","DOIUrl":"https://doi.org/10.1109/ICSA-C50368.2020.00052","url":null,"abstract":"This paper presents PerfMinerArch, a tool to visualize and analyze performance deviations from subsequent evolutions of a software system. It provides architecture views that allow developers to identify scenarios and system packages/modules that have variations in their performance. It also allows exploring performance deviations of each scenario to a more detailed perspective that shows the methods and commits in repositories that are responsible for them. The tool has been applied to identify performance deviations in existing open-source software systems.","PeriodicalId":202587,"journal":{"name":"2020 IEEE International Conference on Software Architecture Companion (ICSA-C)","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115154121","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
Risk Management for System of Systems: A Systematic Mapping Study 系统的系统风险管理:系统的映射研究
Pub Date : 2020-03-01 DOI: 10.1109/ICSA-C50368.2020.00050
S. Lopes, Iohan Gonçalves Vargas, A. L. Oliveira, R. Braga
Context: System of Systems (SoS) is a set of independent systems that cooperate to achieve an emergent behavior. SoSs have been used in different domains such as defense, transportation, energy, and health care, which directly impact on the society. The critical nature of SoS, in which a failure in one of its Constituent Systems (CSs) may lead to catastrophic damages to the property, environment, injuries or loss of human’s life, demands risk management activities. Existing risk management practices applied to SoS are extensions of risk management techniques at the CS level. Objective: in this paper, we present an overview of risk management approaches and tools for SoS. Method: we performed a Systematic Mapping (SM) study by searching into five databases to identify primary studies. We identified 22 primary studies related to risk management practices for SoS. Results: from the analysis of these primary studies, we identified a set of risks and risk management practices for SoS and their differences to risk management techniques at the CS level. Conclusion: the identified approaches and support tools for risk management in the SoS level are not well established yet.
情境:系统的系统(so)是一组相互协作以实现紧急行为的独立系统。国有企业已被应用于国防、交通、能源、医疗等不同领域,对社会产生直接影响。SoS的关键性质是,其中一个组成系统(CSs)的故障可能导致财产、环境、人身伤害或生命损失的灾难性损失,因此需要风险管理活动。适用于社会组织的现有风险管理实践是社会责任层面风险管理技术的延伸。目的:在本文中,我们概述了SoS的风险管理方法和工具。方法:通过对5个数据库的检索来确定主要研究,进行系统图谱(SM)研究。我们确定了22项与SoS风险管理实践相关的初步研究。结果:通过对这些初步研究的分析,我们确定了SoS的一套风险和风险管理实践,以及它们与CS层面的风险管理技术的差异。结论:SoS级别风险管理的识别方法和支持工具尚未很好地建立。
{"title":"Risk Management for System of Systems: A Systematic Mapping Study","authors":"S. Lopes, Iohan Gonçalves Vargas, A. L. Oliveira, R. Braga","doi":"10.1109/ICSA-C50368.2020.00050","DOIUrl":"https://doi.org/10.1109/ICSA-C50368.2020.00050","url":null,"abstract":"Context: System of Systems (SoS) is a set of independent systems that cooperate to achieve an emergent behavior. SoSs have been used in different domains such as defense, transportation, energy, and health care, which directly impact on the society. The critical nature of SoS, in which a failure in one of its Constituent Systems (CSs) may lead to catastrophic damages to the property, environment, injuries or loss of human’s life, demands risk management activities. Existing risk management practices applied to SoS are extensions of risk management techniques at the CS level. Objective: in this paper, we present an overview of risk management approaches and tools for SoS. Method: we performed a Systematic Mapping (SM) study by searching into five databases to identify primary studies. We identified 22 primary studies related to risk management practices for SoS. Results: from the analysis of these primary studies, we identified a set of risks and risk management practices for SoS and their differences to risk management techniques at the CS level. Conclusion: the identified approaches and support tools for risk management in the SoS level are not well established yet.","PeriodicalId":202587,"journal":{"name":"2020 IEEE International Conference on Software Architecture Companion (ICSA-C)","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126393278","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
Safety Improvement for SMART on FHIR Apps with Data Quality by Contract 智能FHIR应用程序的安全改进与数据质量的合同
Pub Date : 2020-03-01 DOI: 10.1109/ICSA-C50368.2020.00041
Jean-Philippe Stoldt, J. Weber
Initiatives leveraging the emerging SMART on FHIR standard are promising healthcare system improvements while reducing information technology costs with reusable system components. Previously closed Electronic Medical Record systems are gradually opened to third party applications through FHIR-enabled APIs. While this allows for technical interoperability, patient safety concerns from data quality issues with the underlying system data remain unsolved. We propose to apply a “Data Quality by Contract” approach to pre- and post-conditions of data use cases to assure safe operation of SMART on FHIR apps. We demonstrate how a cardiac risk scoring app could leverage data quality probes to validate several data quality concerns.
利用FHIR标准上新兴的SMART的倡议有望改善医疗保健系统,同时通过可重用的系统组件降低信息技术成本。以前封闭的电子医疗记录系统通过启用fhir的api逐渐向第三方应用程序开放。虽然这允许技术互操作性,但由于底层系统数据的数据质量问题而引起的患者安全问题仍未得到解决。我们建议对数据用例的前置和后置条件采用“合同数据质量”方法,以确保SMART在FHIR应用程序上的安全运行。我们演示了心脏风险评分应用程序如何利用数据质量探测器来验证几个数据质量问题。
{"title":"Safety Improvement for SMART on FHIR Apps with Data Quality by Contract","authors":"Jean-Philippe Stoldt, J. Weber","doi":"10.1109/ICSA-C50368.2020.00041","DOIUrl":"https://doi.org/10.1109/ICSA-C50368.2020.00041","url":null,"abstract":"Initiatives leveraging the emerging SMART on FHIR standard are promising healthcare system improvements while reducing information technology costs with reusable system components. Previously closed Electronic Medical Record systems are gradually opened to third party applications through FHIR-enabled APIs. While this allows for technical interoperability, patient safety concerns from data quality issues with the underlying system data remain unsolved. We propose to apply a “Data Quality by Contract” approach to pre- and post-conditions of data use cases to assure safe operation of SMART on FHIR apps. We demonstrate how a cardiac risk scoring app could leverage data quality probes to validate several data quality concerns.","PeriodicalId":202587,"journal":{"name":"2020 IEEE International Conference on Software Architecture Companion (ICSA-C)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133191556","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}
引用次数: 4
Challenges and Approaches for the Assessment of Micro-Service Architecture Deployment Alternatives in DevOps : A tutorial presented at ICSA 2020 DevOps中微服务架构部署替代方案评估的挑战和方法:ICSA 2020上发布的教程
Pub Date : 2020-03-01 DOI: 10.1109/ICSA-C50368.2020.00007
Alberto Avritzer
The goal of this tutorial is to provide an overview of challenges and approaches for architecture/dependability assessment in the context of DevOps and microservices. Specifically, we present approaches that employ operational data obtained from production-level application performance management (APM) tools, giving access to operational workload profiles, architectural information, failure models, and security intrusions. We use this data to automatically create and conFigure architecture assessments based on models, load tests, and resilience benchmarks. The focus of this tutorial is on approaches that employ production usage, because these approaches provide more accurate recommendations for microservice architecture dependability assessment than approaches that do not consider production usage.We present an overview of (1) the state-of-the-art approaches for obtaining operational data from production systems using APM tools, (2) the challenges of dependability for DevOps and microservices, (3) selected approaches based on operational data to assess dependability. The architecture assessment focus of this tutorial is on scalability, resilience, survivability, and security. Particularly, we present a demo of the automated approach for the evaluation of a domain-based scalability and security metric assessment that is based on the microservice architecture ability to satisfy the performance requirement under load and/or intrusions. We illustrate the approach by presenting experimental results using a benchmark microservice architecture.
本教程的目标是概述在DevOps和微服务环境中架构/可靠性评估的挑战和方法。具体地说,我们提出了使用从生产级应用程序性能管理(APM)工具获得的操作数据的方法,从而可以访问操作工作负载概要文件、体系结构信息、故障模型和安全入侵。我们使用这些数据自动创建和配置基于模型、负载测试和弹性基准的架构评估。本教程的重点是采用生产使用的方法,因为这些方法为微服务架构可靠性评估提供了比不考虑生产使用的方法更准确的建议。我们概述了(1)使用APM工具从生产系统获取运营数据的最先进方法,(2)DevOps和微服务的可靠性挑战,(3)基于运营数据评估可靠性的选择方法。本教程的体系结构评估重点是可伸缩性、弹性、生存性和安全性。特别地,我们展示了基于微服务架构满足负载和/或入侵下性能需求的能力的基于域的可伸缩性和安全度量评估的自动化方法的演示。我们通过使用基准微服务架构给出实验结果来说明这种方法。
{"title":"Challenges and Approaches for the Assessment of Micro-Service Architecture Deployment Alternatives in DevOps : A tutorial presented at ICSA 2020","authors":"Alberto Avritzer","doi":"10.1109/ICSA-C50368.2020.00007","DOIUrl":"https://doi.org/10.1109/ICSA-C50368.2020.00007","url":null,"abstract":"The goal of this tutorial is to provide an overview of challenges and approaches for architecture/dependability assessment in the context of DevOps and microservices. Specifically, we present approaches that employ operational data obtained from production-level application performance management (APM) tools, giving access to operational workload profiles, architectural information, failure models, and security intrusions. We use this data to automatically create and conFigure architecture assessments based on models, load tests, and resilience benchmarks. The focus of this tutorial is on approaches that employ production usage, because these approaches provide more accurate recommendations for microservice architecture dependability assessment than approaches that do not consider production usage.We present an overview of (1) the state-of-the-art approaches for obtaining operational data from production systems using APM tools, (2) the challenges of dependability for DevOps and microservices, (3) selected approaches based on operational data to assess dependability. The architecture assessment focus of this tutorial is on scalability, resilience, survivability, and security. Particularly, we present a demo of the automated approach for the evaluation of a domain-based scalability and security metric assessment that is based on the microservice architecture ability to satisfy the performance requirement under load and/or intrusions. We illustrate the approach by presenting experimental results using a benchmark microservice architecture.","PeriodicalId":202587,"journal":{"name":"2020 IEEE International Conference on Software Architecture Companion (ICSA-C)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122630960","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
Towards Formalizing Microservices Architectural Patterns with Event-B 用Event-B实现微服务体系结构模式的形式化
Pub Date : 2020-03-01 DOI: 10.1109/ICSA-C50368.2020.00022
Sebastián Vergara, Laura González, R. Ruggia
Microservices have recently emerged as an architectural style in which applications are composed of small services, each running on its own process and communicating with others using lightweight mechanisms. In order to guide the construction of such applications, microservices architectural patterns have been proposed to document knowledge and address recurring situations. However, these patterns are mostly described in an informal way which may lead to ambiguity as well as to their incorrect usage. This paper proposes a formal approach to deal with these issues by formalizing microservices architectural patterns with the Event-B modeling language. The approach aims to provide formal models of these patterns and related results (e.g. formal proofs, visualizations), with the goal of contributing not only to their precise comprehension but also to the development of correct-by-construction microservices applications.
微服务最近作为一种架构风格出现,其中应用程序由小服务组成,每个小服务运行在自己的进程上,并使用轻量级机制与其他服务通信。为了指导此类应用程序的构建,微服务体系结构模式被提出用于记录知识和处理反复出现的情况。然而,这些模式大多以非正式的方式描述,这可能导致歧义以及它们的错误用法。本文提出了一种处理这些问题的形式化方法,即使用Event-B建模语言形式化微服务体系结构模式。该方法旨在提供这些模式和相关结果的形式化模型(例如形式化证明、可视化),其目标不仅是促进对它们的精确理解,还有助于开发构造正确的微服务应用程序。
{"title":"Towards Formalizing Microservices Architectural Patterns with Event-B","authors":"Sebastián Vergara, Laura González, R. Ruggia","doi":"10.1109/ICSA-C50368.2020.00022","DOIUrl":"https://doi.org/10.1109/ICSA-C50368.2020.00022","url":null,"abstract":"Microservices have recently emerged as an architectural style in which applications are composed of small services, each running on its own process and communicating with others using lightweight mechanisms. In order to guide the construction of such applications, microservices architectural patterns have been proposed to document knowledge and address recurring situations. However, these patterns are mostly described in an informal way which may lead to ambiguity as well as to their incorrect usage. This paper proposes a formal approach to deal with these issues by formalizing microservices architectural patterns with the Event-B modeling language. The approach aims to provide formal models of these patterns and related results (e.g. formal proofs, visualizations), with the goal of contributing not only to their precise comprehension but also to the development of correct-by-construction microservices applications.","PeriodicalId":202587,"journal":{"name":"2020 IEEE International Conference on Software Architecture Companion (ICSA-C)","volume":"95 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124562442","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}
引用次数: 4
Serverless: What it Is, What to Do and What Not to Do 无服务器:它是什么,该做什么,不该做什么
Pub Date : 2020-03-01 DOI: 10.1109/ICSA-C50368.2020.00016
J. Nupponen, D. Taibi
Serverless, the new buzzword, has been gaining a lot of attention from the developers and industry. Cloud vendors such as AWS and Microsoft have hyped the architecture almost everywhere, from practitioners’ conferences to local events, to blog posts. In this work, we introduce serverless functions (also known as Function-as-a-Service or FaaS), together with on bad practices experienced by practitioners, members of the Tampere Serverless Meetup group.
无服务器(Serverless)作为一个新的流行词,受到了开发人员和业界的广泛关注。从从业者大会到本地活动,再到博客文章,AWS 和微软等云计算厂商几乎到处都在宣传这种架构。在这项工作中,我们将介绍无服务器功能(也称为 "功能即服务 "或 "FaaS"),以及坦佩雷无服务器聚会小组成员等从业人员所经历的不良实践。
{"title":"Serverless: What it Is, What to Do and What Not to Do","authors":"J. Nupponen, D. Taibi","doi":"10.1109/ICSA-C50368.2020.00016","DOIUrl":"https://doi.org/10.1109/ICSA-C50368.2020.00016","url":null,"abstract":"Serverless, the new buzzword, has been gaining a lot of attention from the developers and industry. Cloud vendors such as AWS and Microsoft have hyped the architecture almost everywhere, from practitioners’ conferences to local events, to blog posts. In this work, we introduce serverless functions (also known as Function-as-a-Service or FaaS), together with on bad practices experienced by practitioners, members of the Tampere Serverless Meetup group.","PeriodicalId":202587,"journal":{"name":"2020 IEEE International Conference on Software Architecture Companion (ICSA-C)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127657590","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}
引用次数: 27
期刊
2020 IEEE International Conference on Software Architecture Companion (ICSA-C)
全部 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