首页 > 最新文献

2014 Eighth Brazilian Symposium on Software Components, Architectures and Reuse最新文献

英文 中文
How to Describe SPL Variabilities in Textual Use Cases: A Systematic Mapping Study 如何描述文本用例中的SPL变量:一个系统的映射研究
I. Santos, Rossana Andrade, P. Neto
In the Software Product Line (SPL) paradigm, the variability description is an important issue for the requirements engineering process. In this scenario, there are several approaches in the literature focusing on how to describe variability in use cases. However, to the best of our knowledge, no efforts have been made to collect and summarize the existing templates for textual use case description in the SPL paradigm. This paper addresses this gap, presenting a systematic mapping study about SPL variability description in textual use cases. We found with this mapping, nine use case templates and four different ways to describe SPL variabilities in a use case description. From these templates, only one deal with the five variability types identified and we did not find any experimental study comparing these templates in terms of ease of use or comprehensibility.
在软件产品线(SPL)范例中,可变性描述是需求工程过程的一个重要问题。在这种情况下,文献中有几种方法关注如何描述用例中的可变性。然而,据我们所知,还没有人努力收集和总结SPL范例中文本用例描述的现有模板。本文解决了这一差距,提出了一个关于文本用例中SPL可变性描述的系统映射研究。通过这个映射,我们发现了九个用例模板和四种不同的方法来描述用例描述中的SPL变量。从这些模板中,只有一个处理确定的五种变异性类型,我们没有发现任何实验研究比较这些模板在易用性或可理解性方面。
{"title":"How to Describe SPL Variabilities in Textual Use Cases: A Systematic Mapping Study","authors":"I. Santos, Rossana Andrade, P. Neto","doi":"10.1109/SBCARS.2014.16","DOIUrl":"https://doi.org/10.1109/SBCARS.2014.16","url":null,"abstract":"In the Software Product Line (SPL) paradigm, the variability description is an important issue for the requirements engineering process. In this scenario, there are several approaches in the literature focusing on how to describe variability in use cases. However, to the best of our knowledge, no efforts have been made to collect and summarize the existing templates for textual use case description in the SPL paradigm. This paper addresses this gap, presenting a systematic mapping study about SPL variability description in textual use cases. We found with this mapping, nine use case templates and four different ways to describe SPL variabilities in a use case description. From these templates, only one deal with the five variability types identified and we did not find any experimental study comparing these templates in terms of ease of use or comprehensibility.","PeriodicalId":148912,"journal":{"name":"2014 Eighth Brazilian Symposium on Software Components, Architectures and Reuse","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125262568","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}
引用次数: 5
A Self-Adaptation Strategy for Service-Based Architectures 基于服务架构的自适应策略
Nuno Oliveira, L. Barbosa
Self-adaptive software systems are known to respond at run time to changes detected internally or in their environment, in an attempt to keep meeting their own functional requirements and agreed levels of service. Such response usually targets their architectures and involve, in particular, the possibility of their dynamic reconfiguration. In contexts where change is the rule rather than the exception, it is difficult to predict when exactly such reconfigurations are needed, and if they will lead the system into a suitable configuration. However, knowing the main attributes of the context, it is possible to plan configurations that will be more likely to perform well in some conjugation of values for such attributes. In this paper we discuss both a model that lays down reconfiguration strategies, planned at design time, and a strategy which actively uses such a model to trigger architectural adaptations at run time. This strategy builds on a framework intended to the formal verification of architectural requirements, either from a qualitative or quantitative (probabilistic) perspective.
众所周知,自适应软件系统在运行时对内部或环境中检测到的变化做出响应,试图保持满足自己的功能需求和商定的服务水平。这种响应通常针对它们的体系结构,并特别涉及它们动态重新配置的可能性。在更改是规则而不是例外的环境中,很难准确地预测何时需要这样的重新配置,以及它们是否会将系统引入合适的配置。但是,了解上下文的主要属性后,就可以计划更有可能在这些属性的某些值组合中执行良好的配置。在本文中,我们讨论了在设计时规划的制定重新配置策略的模型,以及在运行时积极使用这样的模型来触发架构调整的策略。该策略建立在一个框架上,旨在从定性或定量(概率)的角度对体系结构需求进行正式验证。
{"title":"A Self-Adaptation Strategy for Service-Based Architectures","authors":"Nuno Oliveira, L. Barbosa","doi":"10.1109/SBCARS.2014.12","DOIUrl":"https://doi.org/10.1109/SBCARS.2014.12","url":null,"abstract":"Self-adaptive software systems are known to respond at run time to changes detected internally or in their environment, in an attempt to keep meeting their own functional requirements and agreed levels of service. Such response usually targets their architectures and involve, in particular, the possibility of their dynamic reconfiguration. In contexts where change is the rule rather than the exception, it is difficult to predict when exactly such reconfigurations are needed, and if they will lead the system into a suitable configuration. However, knowing the main attributes of the context, it is possible to plan configurations that will be more likely to perform well in some conjugation of values for such attributes. In this paper we discuss both a model that lays down reconfiguration strategies, planned at design time, and a strategy which actively uses such a model to trigger architectural adaptations at run time. This strategy builds on a framework intended to the formal verification of architectural requirements, either from a qualitative or quantitative (probabilistic) perspective.","PeriodicalId":148912,"journal":{"name":"2014 Eighth Brazilian Symposium on Software Components, Architectures and Reuse","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128378150","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}
引用次数: 5
On the Formal Interpretation of SysML Blocks Using a Safety Critical Case Study 用安全关键案例研究SysML块的形式化解释
Jaco Jacobs, A. Simpson
The Systems Modeling Language (SysML) is a semi-formal, visual modelling language used in the specification and design of systems. In this paper, we describe how Communicating Sequential Processes (CSP) and its associated refinement checker, Failures Divergences Refinement (FDR), can be used in conjunction with SysML in a formal top-down approach to systems engineering. Typically, a system is composed from constituent systems or components using the concept of blocks. SysML allows two alternative interpretations with regards to the behaviour of the resulting composition. By making use of a process-algebraic formalism we are able to explore these interpretations more rigorously. A case study is used throughout to illuminate the concepts in an informal manner.
系统建模语言(SysML)是一种半形式化的可视化建模语言,用于系统的规范和设计。在本文中,我们描述了通信顺序过程(CSP)及其相关的细化检查器,故障散度细化(FDR),如何在系统工程的正式自上向下方法中与SysML结合使用。通常,系统由使用块概念的组成系统或组件组成。SysML允许对结果组合的行为进行两种不同的解释。通过使用过程代数形式,我们能够更严格地探索这些解释。案例研究贯穿始终,以非正式的方式阐明概念。
{"title":"On the Formal Interpretation of SysML Blocks Using a Safety Critical Case Study","authors":"Jaco Jacobs, A. Simpson","doi":"10.1109/SBCARS.2014.14","DOIUrl":"https://doi.org/10.1109/SBCARS.2014.14","url":null,"abstract":"The Systems Modeling Language (SysML) is a semi-formal, visual modelling language used in the specification and design of systems. In this paper, we describe how Communicating Sequential Processes (CSP) and its associated refinement checker, Failures Divergences Refinement (FDR), can be used in conjunction with SysML in a formal top-down approach to systems engineering. Typically, a system is composed from constituent systems or components using the concept of blocks. SysML allows two alternative interpretations with regards to the behaviour of the resulting composition. By making use of a process-algebraic formalism we are able to explore these interpretations more rigorously. A case study is used throughout to illuminate the concepts in an informal manner.","PeriodicalId":148912,"journal":{"name":"2014 Eighth Brazilian Symposium on Software Components, Architectures and Reuse","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132648840","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
Analysis of the Impact of Implied Scenarios on the Reliability of Computational Concurrent Systems 隐含场景对计算并发系统可靠性的影响分析
Alexandre Vaz Roriz, G. Rodrigues, Luiz A. F. Laranjeira
Current approaches to model-driven software development have led to the use of scenarios to perform analysis of non-functional requirements of a software system in its early stages of development. The presence of implied scenarios is a phenomenon that can be observed in concurrent systems modeled in the form of Message Sequence Charts. This paper presents a methodology for the identification and evaluation of the qualitative and quantitative impact of the referred scenarios on the reliability of such systems. To the best of our knowledge, there is no previous research contribution in the literature in this regard. The applicability, as well as feasibility, of this methodology is illustrated on the example of a boiler control system. The results are then used to support the architectural refinement of the system ensuring the elimination of the undesirable implied scenarios identified and the consequent improvement in the software system reliability. The usefulness of the proposed methodology is thus confirmed to facilitate the construction of reliable concurrent software systems since the early stages of the development cycle.
模型驱动软件开发的当前方法导致了在软件系统开发的早期阶段使用场景来执行非功能需求的分析。隐含场景的存在是一种现象,可以在以消息序列图的形式建模的并发系统中观察到。本文提出了一种方法,用于识别和评估所述情景对此类系统可靠性的定性和定量影响。据我们所知,在这方面的文献中没有前人的研究贡献。最后以某锅炉控制系统为例,说明了该方法的适用性和可行性。然后将结果用于支持系统的架构精化,以确保消除所识别的不期望的隐含场景,并随后提高软件系统的可靠性。因此,所提出的方法的有用性被证实有助于从开发周期的早期阶段开始构建可靠的并发软件系统。
{"title":"Analysis of the Impact of Implied Scenarios on the Reliability of Computational Concurrent Systems","authors":"Alexandre Vaz Roriz, G. Rodrigues, Luiz A. F. Laranjeira","doi":"10.1109/SBCARS.2014.15","DOIUrl":"https://doi.org/10.1109/SBCARS.2014.15","url":null,"abstract":"Current approaches to model-driven software development have led to the use of scenarios to perform analysis of non-functional requirements of a software system in its early stages of development. The presence of implied scenarios is a phenomenon that can be observed in concurrent systems modeled in the form of Message Sequence Charts. This paper presents a methodology for the identification and evaluation of the qualitative and quantitative impact of the referred scenarios on the reliability of such systems. To the best of our knowledge, there is no previous research contribution in the literature in this regard. The applicability, as well as feasibility, of this methodology is illustrated on the example of a boiler control system. The results are then used to support the architectural refinement of the system ensuring the elimination of the undesirable implied scenarios identified and the consequent improvement in the software system reliability. The usefulness of the proposed methodology is thus confirmed to facilitate the construction of reliable concurrent software systems since the early stages of the development cycle.","PeriodicalId":148912,"journal":{"name":"2014 Eighth Brazilian Symposium on Software Components, Architectures and Reuse","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131916403","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}
引用次数: 3
Bad Smells in Software Product Lines: A Systematic Review 软件产品线中的不良气味:系统回顾
Gustavo Vale, Eduardo Figueiredo, Ramon Abílio, H. Costa
Software product line (SPL) is a set of software systems that share a common, managed set of features satisfying the specific needs of a particular market segment. Bad smells are symptoms that something may be wrong in system design. Bad smells in SPL are a relative new topic and need to be explored. This paper performed a Systematic Literature Review (SLR) to find and classify published work about bad smells in SPLs and their respective refactoring methods. Based on 18 relevant papers found in the SLR, we identified 70 bad smells and 95 refactoring methods related to them. The main contribution of this paper is a catalogue of bad smells and refactoring methods related to SPL.
软件产品线(SPL)是一组软件系统,它们共享一组通用的、可管理的功能,以满足特定市场细分的特定需求。难闻的气味是系统设计可能出现问题的症状。SPL中的恶臭是一个相对较新的课题,需要深入研究。本文进行了系统文献综述(SLR),以查找和分类已发表的关于SPLs中的不良气味及其相应的重构方法的工作。根据SLR中发现的18篇相关论文,我们确定了70种不良气味和95种与之相关的重构方法。本文的主要贡献是列出了与SPL相关的不良气味和重构方法的目录。
{"title":"Bad Smells in Software Product Lines: A Systematic Review","authors":"Gustavo Vale, Eduardo Figueiredo, Ramon Abílio, H. Costa","doi":"10.1109/SBCARS.2014.21","DOIUrl":"https://doi.org/10.1109/SBCARS.2014.21","url":null,"abstract":"Software product line (SPL) is a set of software systems that share a common, managed set of features satisfying the specific needs of a particular market segment. Bad smells are symptoms that something may be wrong in system design. Bad smells in SPL are a relative new topic and need to be explored. This paper performed a Systematic Literature Review (SLR) to find and classify published work about bad smells in SPLs and their respective refactoring methods. Based on 18 relevant papers found in the SLR, we identified 70 bad smells and 95 refactoring methods related to them. The main contribution of this paper is a catalogue of bad smells and refactoring methods related to SPL.","PeriodicalId":148912,"journal":{"name":"2014 Eighth Brazilian Symposium on Software Components, Architectures and Reuse","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130287362","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}
引用次数: 31
Domain Engineering: A Practical Application in Analysis and Design of a Generative Query Language 领域工程:在生成查询语言分析与设计中的实际应用
D. Bezerra, R. Barreto
New and difficult analysis and design problems have emerged with the evolution of the Domain Specific Language which replaces generality for expressiveness in a restricted domain. In an effort to solve them, diverse techniques have been introduced which, when combined, have resulted in confusing and problematic analysis and design flows. In this paper, we outline our ongoing domain engineering research in Domain Specific Language. We identify requirements, components and a reference architecture, which are put together in a conception and construction phase of a Generative Query Language called Carbon QL for domain of forest dynamics. We describe and evaluate our approach in a case study. The domain engineering phase produced domain and design models and led to a reference architecture that follows the Model Driven Engineering approach. The application engineering contributed effectively to the Carbon QL implementation based on an explicit knowledge representation (Car bontology), and a generative query engine that translates from Carbon QL to SQL using Hibernate as object-relational framework. Our preliminary results indicate that the effective configuration, componentization and reuse are possible, and optimize the development process for this domain.
随着领域特定语言的发展,新的和困难的分析和设计问题出现了,它在一个受限制的领域取代了一般性的表达性。为了解决这些问题,引入了各种各样的技术,当它们结合在一起时,会导致混乱和有问题的分析和设计流程。在本文中,我们概述了我们正在进行的领域特定语言的领域工程研究。我们确定了需求、组件和参考体系结构,将它们放在生成查询语言的概念和构建阶段,该语言称为Carbon QL,用于森林动态领域。我们在一个案例研究中描述和评估我们的方法。领域工程阶段产生领域和设计模型,并导致遵循模型驱动工程方法的参考体系结构。应用程序工程有效地促进了基于显式知识表示(Car bontology)的Carbon QL实现,以及使用Hibernate作为对象关系框架将Carbon QL转换为SQL的生成查询引擎。我们的初步结果表明,有效的配置、组件化和重用是可能的,并优化了该领域的开发过程。
{"title":"Domain Engineering: A Practical Application in Analysis and Design of a Generative Query Language","authors":"D. Bezerra, R. Barreto","doi":"10.1109/SBCARS.2014.20","DOIUrl":"https://doi.org/10.1109/SBCARS.2014.20","url":null,"abstract":"New and difficult analysis and design problems have emerged with the evolution of the Domain Specific Language which replaces generality for expressiveness in a restricted domain. In an effort to solve them, diverse techniques have been introduced which, when combined, have resulted in confusing and problematic analysis and design flows. In this paper, we outline our ongoing domain engineering research in Domain Specific Language. We identify requirements, components and a reference architecture, which are put together in a conception and construction phase of a Generative Query Language called Carbon QL for domain of forest dynamics. We describe and evaluate our approach in a case study. The domain engineering phase produced domain and design models and led to a reference architecture that follows the Model Driven Engineering approach. The application engineering contributed effectively to the Carbon QL implementation based on an explicit knowledge representation (Car bontology), and a generative query engine that translates from Carbon QL to SQL using Hibernate as object-relational framework. Our preliminary results indicate that the effective configuration, componentization and reuse are possible, and optimize the development process for this domain.","PeriodicalId":148912,"journal":{"name":"2014 Eighth Brazilian Symposium on Software Components, Architectures and Reuse","volume":"57 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122415261","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
SPLICE: A Lightweight Software Product Line Development Process for Small and Medium Size Projects SPLICE:用于中小型项目的轻量级软件产品线开发过程
Tassio Vale, B. Cabral, Loreno Freitas Matos Alvim, L. Soares, A. R. Santos, I. Machado, Iuri Santos Souza, I. F. D. Silva, E. Almeida
Combining Software Product Line Engineering (SPLE) and Agile Software Development (ASD) is an approach for companies working with similar systems in scenarios of volatile requirements aiming to address fast changes and a systematic variability management. However, a development process covering the whole SPLE lifecycle and using agile practices in small and medium size development projects has not been established yet. There is a need to disseminate such combination through well-defined roles, activities, tasks and artifacts. This paper presents SPLICE, a lightweight development process combining SPLE and agile practices, following reactive and extractive approaches to build similar systems. SPLICE addresses the needs of small development teams aiming to adopt SPL practices with low upfront costs and fast return on investment. In order to evaluate our proposal, we report our experience in a case study by developing Rescue MeSPL, a product line for mobile applications that assists users in emergency situations. The case study results point SPLICE achieves the three evaluated aspects by providing short and proper iterations, possibilities for activities adaptations and continuous feedback.
结合软件产品线工程(SPLE)和敏捷软件开发(ASD)是一种方法,适用于在易变需求场景中处理类似系统的公司,旨在处理快速变化和系统可变性管理。然而,覆盖整个SPLE生命周期并在中小型开发项目中使用敏捷实践的开发过程还没有建立起来。有必要通过定义良好的角色、活动、任务和工件来传播这样的组合。本文介绍了SPLICE,这是一个轻量级开发过程,结合了SPLE和敏捷实践,遵循响应式和提取式方法来构建类似的系统。SPLICE满足了小型开发团队的需求,旨在采用具有低前期成本和快速投资回报的SPL实践。为了评估我们的提案,我们通过开发Rescue MeSPL的案例研究报告了我们的经验,Rescue MeSPL是一个用于在紧急情况下帮助用户的移动应用程序产品线。案例研究结果点SPLICE通过提供短而适当的迭代、活动适应的可能性和持续的反馈来实现三个评估的方面。
{"title":"SPLICE: A Lightweight Software Product Line Development Process for Small and Medium Size Projects","authors":"Tassio Vale, B. Cabral, Loreno Freitas Matos Alvim, L. Soares, A. R. Santos, I. Machado, Iuri Santos Souza, I. F. D. Silva, E. Almeida","doi":"10.1109/SBCARS.2014.11","DOIUrl":"https://doi.org/10.1109/SBCARS.2014.11","url":null,"abstract":"Combining Software Product Line Engineering (SPLE) and Agile Software Development (ASD) is an approach for companies working with similar systems in scenarios of volatile requirements aiming to address fast changes and a systematic variability management. However, a development process covering the whole SPLE lifecycle and using agile practices in small and medium size development projects has not been established yet. There is a need to disseminate such combination through well-defined roles, activities, tasks and artifacts. This paper presents SPLICE, a lightweight development process combining SPLE and agile practices, following reactive and extractive approaches to build similar systems. SPLICE addresses the needs of small development teams aiming to adopt SPL practices with low upfront costs and fast return on investment. In order to evaluate our proposal, we report our experience in a case study by developing Rescue MeSPL, a product line for mobile applications that assists users in emergency situations. The case study results point SPLICE achieves the three evaluated aspects by providing short and proper iterations, possibilities for activities adaptations and continuous feedback.","PeriodicalId":148912,"journal":{"name":"2014 Eighth Brazilian Symposium on Software Components, Architectures and Reuse","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125995779","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}
引用次数: 8
Reference Architectures for Self-Managed Software Systems: A Systematic Literature Review 自管理软件系统的参考架构:系统的文献回顾
Frank José Affonso, Katia Romero Felizardo Scannavino, Lucas B. R. Oliveira, E. Nakagawa
Self-Managed Software Systems (SMSS) have emerged as an important type of software systems. However, the development of such systems is not a trivial task, as they constantly deal with adaptations at runtime so as to fulfill new needs of both users and execution environment. From another perspective, Reference Architectures (RAs) have been used for the aggregation of knowledge on specific domains, promoting the reuse of design expertise and facilitating the development, standardization, and evolution of software systems. Considering the relevance of such architectures, RAs for SMSS (RA4SMSS) have also been proposed. On the other hand, to the best of our knowledge, no study on a panorama or comparison on RA4SMSS has been published. This paper reports the results of a systematic literature review on RA4SMSS. They show that although relevant initiatives have been found, the SMSS area needs a broader contribution to boost the development of such systems. Moreover, research lines that must further investigated were also identified.
自管理软件系统(SMSS)已成为一种重要的软件系统类型。然而,开发这样的系统并不是一项微不足道的任务,因为它们在运行时不断地进行调整,以满足用户和执行环境的新需求。从另一个角度来看,参考体系结构(RAs)已被用于特定领域的知识聚合,促进设计专业知识的重用,并促进软件系统的开发、标准化和演进。考虑到这些体系结构的相关性,还提出了用于SMSS的RAs (RA4SMSS)。另一方面,据我们所知,还没有关于RA4SMSS全景或比较的研究发表。本文对RA4SMSS进行了系统的文献综述。它们表明,尽管已经找到了相关的倡议,但是sms领域需要更广泛的贡献来促进这类系统的发展。此外,还确定了必须进一步研究的研究方向。
{"title":"Reference Architectures for Self-Managed Software Systems: A Systematic Literature Review","authors":"Frank José Affonso, Katia Romero Felizardo Scannavino, Lucas B. R. Oliveira, E. Nakagawa","doi":"10.1109/SBCARS.2014.18","DOIUrl":"https://doi.org/10.1109/SBCARS.2014.18","url":null,"abstract":"Self-Managed Software Systems (SMSS) have emerged as an important type of software systems. However, the development of such systems is not a trivial task, as they constantly deal with adaptations at runtime so as to fulfill new needs of both users and execution environment. From another perspective, Reference Architectures (RAs) have been used for the aggregation of knowledge on specific domains, promoting the reuse of design expertise and facilitating the development, standardization, and evolution of software systems. Considering the relevance of such architectures, RAs for SMSS (RA4SMSS) have also been proposed. On the other hand, to the best of our knowledge, no study on a panorama or comparison on RA4SMSS has been published. This paper reports the results of a systematic literature review on RA4SMSS. They show that although relevant initiatives have been found, the SMSS area needs a broader contribution to boost the development of such systems. Moreover, research lines that must further investigated were also identified.","PeriodicalId":148912,"journal":{"name":"2014 Eighth Brazilian Symposium on Software Components, Architectures and Reuse","volume":"222 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122402720","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}
引用次数: 5
An Approach for Managing Quality Attributes at Runtime Using Feature Models 使用特征模型在运行时管理质量属性的方法
L. E. Sanchez, J. A. D. Pace, Alejandro Zunino, S. Moisan, J. Rigault
Feature modeling has been widely used in domain engineering for the development and configuration of software products. A feature model represents the set of possible configurations to apply in a given context. Recently, this formalism was applied to the runtime (re-)configuration of systems with high variability and context changes, in which the selection of the best candidate configuration is seen as an optimization problem based on quality criteria. To this end, we propose an approach for the specification, measurement and optimization of runtime quality attributes based on feature models, and furthermore, we describe its integration into a component-based architecture for supporting dynamically adaptive systems. Feature models are annotated with quality-attribute properties and metrics, and then an efficient and flexible algorithm is used to deal with the optimization problem. We report on some examples of adaptation and quality-attribute scenarios in the context of a video surveillance domain, in order to illustrate the pros and cons of our approach.
特征建模已广泛应用于软件产品开发和配置的领域工程中。特征模型表示在给定上下文中应用的一组可能的配置。最近,这种形式被应用于具有高可变性和上下文变化的系统的运行时(重新)配置,其中最佳候选配置的选择被视为基于质量标准的优化问题。为此,我们提出了一种基于特征模型的运行时质量属性的规范、度量和优化方法,并进一步描述了它与基于组件的体系结构的集成,以支持动态自适应系统。在特征模型上标注质量属性属性和度量,然后采用一种高效灵活的算法来处理优化问题。我们在视频监控领域的背景下报告了一些适应和质量属性场景的例子,以说明我们方法的优缺点。
{"title":"An Approach for Managing Quality Attributes at Runtime Using Feature Models","authors":"L. E. Sanchez, J. A. D. Pace, Alejandro Zunino, S. Moisan, J. Rigault","doi":"10.1109/SBCARS.2014.13","DOIUrl":"https://doi.org/10.1109/SBCARS.2014.13","url":null,"abstract":"Feature modeling has been widely used in domain engineering for the development and configuration of software products. A feature model represents the set of possible configurations to apply in a given context. Recently, this formalism was applied to the runtime (re-)configuration of systems with high variability and context changes, in which the selection of the best candidate configuration is seen as an optimization problem based on quality criteria. To this end, we propose an approach for the specification, measurement and optimization of runtime quality attributes based on feature models, and furthermore, we describe its integration into a component-based architecture for supporting dynamically adaptive systems. Feature models are annotated with quality-attribute properties and metrics, and then an efficient and flexible algorithm is used to deal with the optimization problem. We report on some examples of adaptation and quality-attribute scenarios in the context of a video surveillance domain, in order to illustrate the pros and cons of our approach.","PeriodicalId":148912,"journal":{"name":"2014 Eighth Brazilian Symposium on Software Components, Architectures and Reuse","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121108477","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}
引用次数: 9
Development of Critical Embedded Systems Using Model-Driven and Product Lines Techniques: A Systematic Review 使用模型驱动和产品线技术开发关键嵌入式系统:系统回顾
P. G. G. Queiroz, Rosana T. V. Braga
Several methodologies have been proposed in the last decades to improve the quality of Safety-Critical Embedded Systems (SCES) and, at the same time, keep costs and schedule compatible with project plans. In particular, approaches such as Product Line Engineering (PLE) and Model-Driven Engineering (MDE) offer an interesting solution to reduce development complexity and time to market due to their synergy and common goals. However, the current state of how MDE and PLE can be combined to enhance productivity in the domain of SCES is not clear yet. This paper presents a systematic literature review, with the purpose of obtaining the state of the art of the aproaches, methods and methodologies whose goal is the combination of PLE and MDE for the development of SCES, and to verify the existence of empirical studies that demonstrate the application of these techniques in this type of development. We drew the following conclusions from the review results: (1) The number of studies using PLE with MDE to build SCES is relatively small, but has increased gradually in recent years. (2) The approaches diverge about what is needed to build Model-driven Product Lines. (3) Most of the approaches do not consider to differentiate between hardware and software variabilities. (4) Most of the studies propose the use of UML and feature diagrams. (5) The studies present case studies implemented in different tools and most of them are free. (6) The approaches do not cover the entire development lifecycle.
在过去的几十年里,已经提出了几种方法来提高安全关键嵌入式系统(SCES)的质量,同时保持成本和进度与项目计划兼容。特别是,像产品线工程(PLE)和模型驱动工程(MDE)这样的方法提供了一个有趣的解决方案,因为它们的协同作用和共同的目标,可以减少开发的复杂性和上市时间。然而,如何将MDE和PLE结合起来以提高sses领域的生产力的现状尚不清楚。本文进行了系统的文献综述,目的是获得方法、方法和方法论的最新进展,这些方法、方法和方法论的目标是将PLE和MDE结合起来发展ses,并验证在这种类型的发展中证明这些技术应用的实证研究的存在。我们从综述结果中得出以下结论:(1)利用PLE与MDE构建ses的研究数量相对较少,但近年来逐渐增加。(2)对于构建模型驱动的产品线需要什么,这些方法存在分歧。(3)大多数方法没有考虑区分硬件和软件的可变性。(4)大多数研究建议使用UML和特征图。(5)这些研究展示了在不同工具中实现的案例研究,其中大多数是免费的。(6)方法没有覆盖整个开发生命周期。
{"title":"Development of Critical Embedded Systems Using Model-Driven and Product Lines Techniques: A Systematic Review","authors":"P. G. G. Queiroz, Rosana T. V. Braga","doi":"10.1109/SBCARS.2014.19","DOIUrl":"https://doi.org/10.1109/SBCARS.2014.19","url":null,"abstract":"Several methodologies have been proposed in the last decades to improve the quality of Safety-Critical Embedded Systems (SCES) and, at the same time, keep costs and schedule compatible with project plans. In particular, approaches such as Product Line Engineering (PLE) and Model-Driven Engineering (MDE) offer an interesting solution to reduce development complexity and time to market due to their synergy and common goals. However, the current state of how MDE and PLE can be combined to enhance productivity in the domain of SCES is not clear yet. This paper presents a systematic literature review, with the purpose of obtaining the state of the art of the aproaches, methods and methodologies whose goal is the combination of PLE and MDE for the development of SCES, and to verify the existence of empirical studies that demonstrate the application of these techniques in this type of development. We drew the following conclusions from the review results: (1) The number of studies using PLE with MDE to build SCES is relatively small, but has increased gradually in recent years. (2) The approaches diverge about what is needed to build Model-driven Product Lines. (3) Most of the approaches do not consider to differentiate between hardware and software variabilities. (4) Most of the studies propose the use of UML and feature diagrams. (5) The studies present case studies implemented in different tools and most of them are free. (6) The approaches do not cover the entire development lifecycle.","PeriodicalId":148912,"journal":{"name":"2014 Eighth Brazilian Symposium on Software Components, Architectures and Reuse","volume":"2001 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125747199","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}
引用次数: 12
期刊
2014 Eighth Brazilian Symposium on Software Components, Architectures and Reuse
全部 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