2017 IEEE International Conference on Software Architecture (ICSA)最新文献_第3页

Towards a Reference Architecture for Cloud-Based Plant Genotyping and Phenotyping Analysis Frameworks 基于云的植物基因分型和表型分析框架的参考架构

2017 IEEE International Conference on Software Architecture (ICSA) Pub Date : 2017-04-03 DOI: 10.1109/ICSA.2017.42

B. Roy, A. Mondal, C. Roy, Kevin A. Schneider, Kawser Wazed

{"title":"Towards a Reference Architecture for Cloud-Based Plant Genotyping and Phenotyping Analysis Frameworks","authors":"B. Roy, A. Mondal, C. Roy, Kevin A. Schneider, Kawser Wazed","doi":"10.1109/ICSA.2017.42","DOIUrl":"https://doi.org/10.1109/ICSA.2017.42","url":null,"abstract":"The domain of plant genotyping and phenotyping presents a number of challenges in the area of large data computation. Various tools and systems have been developed to automate the scientific workflows and support the computational needs of this domain. In this paper, we review a number of the popular systems (i.e., Galaxy, iPlant, GenAp and LemnaTec) in the domain of plant genotyping and phenotyping using the scenario-based architectural analysis method (SAAM). In particular, we focus on how different stakeholders are using these systems in a variety of scenarios and to what extent the systems support their needs. Our SAAM analysis shows that the existing systems have shortcomings. For example, they are limited in their support for high throughput processing of large amounts of heterogeneous types of data. Based on our findings we propose a reference architecture along with a preliminary evaluation in the subject domain. The reference architecture and its evaluation is aimed at helping developers/architects create suitable architectural designs and select appropriate technologies when developing plant phenotyping and genotyping systems.","PeriodicalId":6599,"journal":{"name":"2017 IEEE International Conference on Software Architecture (ICSA)","volume":"1 1","pages":"41-50"},"PeriodicalIF":0.0,"publicationDate":"2017-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83552291","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}

引用次数: 14

Quality Evaluation of PaaS Cloud Application Design Using Generated Prototypes 使用生成原型的PaaS云应用程序设计的质量评估

2017 IEEE International Conference on Software Architecture (ICSA) Pub Date : 2017-04-03 DOI: 10.1109/ICSA.2017.43

David Gesvindr, Barbora Buhnova, Ondrej Gasior

{"title":"Quality Evaluation of PaaS Cloud Application Design Using Generated Prototypes","authors":"David Gesvindr, Barbora Buhnova, Ondrej Gasior","doi":"10.1109/ICSA.2017.43","DOIUrl":"https://doi.org/10.1109/ICSA.2017.43","url":null,"abstract":"With the increasing popularity of Platform as a Service (PaaS) cloud, software architects need to face new challenges of software architecture design, efficiently integrating the benefits of PaaS services. In this respect, early quality evaluation of the designed PaaS cloud application is crucial to mitigate the risk of later architectural changes due to violation of quality requirements (such as throughput, response time and scalability). Despite the emergence of architectural tactics and patterns usable for the design of PaaS cloud applications, it is challenging for the software architects to navigate in a rich set of offered services, variability of the PaaS cloud environment and quality conflicts in existing tactics, which makes it almost impossible to predicts the overall application quality without time-consuming implementation of application prototypes. In this paper, we take advantage of the cloud elasticity and introduce a design-time quality evaluation technique for PaaS applications based on automatically generated application prototypes, which are deployed to the cloud and repeatedly evaluated in the context of multiple quality attributes and environment configurations. As part of this work, we present an abstract application model designed to carefully select the details with high performance impact, and present the implementation of our tool generating the prototypes of PaaS cloud applications.","PeriodicalId":6599,"journal":{"name":"2017 IEEE International Conference on Software Architecture (ICSA)","volume":"32 1","pages":"31-40"},"PeriodicalIF":0.0,"publicationDate":"2017-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86865076","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

Research on Architecting Microservices: Trends, Focus, and Potential for Industrial Adoption 架构微服务的研究:趋势、焦点和工业采用的潜力

2017 IEEE International Conference on Software Architecture (ICSA) Pub Date : 2017-04-03 DOI: 10.1109/ICSA.2017.24

Paolo Di Francesco, I. Malavolta, P. Lago

引用次数: 208

Comparing the Built-In Application Architecture Models in the Web Browser Web浏览器内建应用体系结构模型的比较

2017 IEEE International Conference on Software Architecture (ICSA) Pub Date : 2017-04-03 DOI: 10.1109/ICSA.2017.23

A. Taivalsaari, T. Mikkonen, C. Pautasso, Kari Systä

引用次数: 7

Architecting Emergent Configurations in the Internet of Things 构建物联网中的紧急配置

2017 IEEE International Conference on Software Architecture (ICSA) Pub Date : 2017-04-03 DOI: 10.1109/ICSA.2017.37

Fahed Alkhabbas, Romina Spalazzese, P. Davidsson

引用次数: 35

Designing Robust Software Systems through Parametric Markov Chain Synthesis 基于参数马尔可夫链综合的鲁棒软件系统设计

2017 IEEE International Conference on Software Architecture (ICSA) Pub Date : 2017-04-03 DOI: 10.1109/ICSA.2017.16

R. Calinescu, Milan Ceska, Simos Gerasimou, M. Kwiatkowska, Nicola Paoletti

引用次数: 27

Semantic Differencing for Message-Driven Component & Connector Architectures 消息驱动组件和连接器体系结构的语义差异

2017 IEEE International Conference on Software Architecture (ICSA) Pub Date : 2017-04-01 DOI: 10.1109/ICSA.2017.34

Arvid Butting, Oliver Kautz, Bernhard Rumpe, A. Wortmann

{"title":"Semantic Differencing for Message-Driven Component & Connector Architectures","authors":"Arvid Butting, Oliver Kautz, Bernhard Rumpe, A. Wortmann","doi":"10.1109/ICSA.2017.34","DOIUrl":"https://doi.org/10.1109/ICSA.2017.34","url":null,"abstract":"Stepwise refinement is a development methodology in which software components progressively evolve under strict adherence of proven properties. This requires means to check whether a new version of a component – with potentially different interface and behavior implementation – refines the behavior of its predecessor. Where architecture description languages (ADLs) support refinement checking, the complexity of their semantic domain requires (partially) manual proving to establish refinement between component versions. We identified a subset of the FOCUS semantics for describing distributed systems as stream processing functions that is powerful enough to model complex and realistic systems, yet sufficiently powerful to support fully automated refinement checking. Leveraging this, we present a refinement checking method for ADLs yielding semantics that can be expressed as stream processing functions. This method relies on transforming architectures into composed port automata and translating these to Buchi automata prior to proving refinement using RABIT for language inclusion checking. This method enables to compare the behaviors of component versions with minimal effort, yields witnesses for non-refining component pairs, and, thus, ultimately facilitates stepwise component refinement.","PeriodicalId":6599,"journal":{"name":"2017 IEEE International Conference on Software Architecture (ICSA)","volume":"104 1","pages":"145-154"},"PeriodicalIF":0.0,"publicationDate":"2017-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90580151","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}

引用次数: 10

On the Understandability of Semantic Constraints for Behavioral Software Architecture Compliance: A Controlled Experiment 行为软件架构遵从性语义约束的可理解性研究:一项对照实验

2017 IEEE International Conference on Software Architecture (ICSA) Pub Date : 2017-04-01 DOI: 10.1109/ICSA.2017.10

Christoph Czepa, Huy Tran, Uwe Zdun, T. Tran, E. Weiss, C. Ruhsam

{"title":"On the Understandability of Semantic Constraints for Behavioral Software Architecture Compliance: A Controlled Experiment","authors":"Christoph Czepa, Huy Tran, Uwe Zdun, T. Tran, E. Weiss, C. Ruhsam","doi":"10.1109/ICSA.2017.10","DOIUrl":"https://doi.org/10.1109/ICSA.2017.10","url":null,"abstract":"Software architecture compliance is concerned with the alignment of implementation with its desired architecture and detecting potential inconsistencies. The work presented in this paper is specifically concerned with behavioral architecture compliance. That is, the focus is on semantic alignment of implementation and architecture. In particular, this paper evaluates three representative approaches for describing semantic constraints in terms of their understandability, namely natural language descriptions as used in many architecture documentations today, a structured language based on specification patterns that abstract underlying temporal logic formulas, and a structured cause-effect language that is based on Complex Event Processing. We conducted a controlled experiment with 190 participants using a simple randomized design with one alternative per experimental unit. Overall all approaches support a high level of correct understanding, and the statistical inference suggests that all tested approaches are equally well suited for describing semantic constraints for behavioral architecture compliance in terms of understandability. In consequence this indicates that it is possible to benefit from the tested structured languages with underlying formal representations for automated verification without having to suffer from decreased understandability. Vice versa, the results suggest that the use of natural language can be a suitable way to document architecture semantics when reliable automated support for formal verification is of minor importance.","PeriodicalId":6599,"journal":{"name":"2017 IEEE International Conference on Software Architecture (ICSA)","volume":"4 1","pages":"155-164"},"PeriodicalIF":0.0,"publicationDate":"2017-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75955237","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

Mapping Features to Source Code through Product Line Architecture: Traceability and Conformance 通过产品线架构将特性映射到源代码:可追溯性和一致性

2017 IEEE International Conference on Software Architecture (ICSA) Pub Date : 2017-04-01 DOI: 10.1109/ICSA.2017.13

Yongjie Zheng, Cuong Cu, Hazeline U. Asuncion

引用次数: 9

Architecture-Based Change Impact Analysis in Information Systems and Business Processes 信息系统和业务流程中基于体系结构的变更影响分析

2017 IEEE International Conference on Software Architecture (ICSA) Pub Date : 2017-04-01 DOI: 10.1109/ICSA.2017.17

Kiana Rostami, R. Heinrich, A. Busch, Ralf H. Reussner

引用次数: 29