Proceedings of the 13th international conference on Modularity最新文献_第3页

Automated software remodularization based on move refactoring: a complex systems approach 基于移动重构的自动化软件重构:一种复杂的系统方法

Proceedings of the 13th international conference on Modularity Pub Date : 2014-04-22 DOI: 10.1145/2577080.2577097

Ingo Scholtes, M. S. Zanetti, C. Tessone, F. Schweitzer

{"title":"Automated software remodularization based on move refactoring: a complex systems approach","authors":"Ingo Scholtes, M. S. Zanetti, C. Tessone, F. Schweitzer","doi":"10.1145/2577080.2577097","DOIUrl":"https://doi.org/10.1145/2577080.2577097","url":null,"abstract":"Modular design is a desirable characteristic of complex software systems that can significantly improve their comprehensibility, maintainability and thus quality. While many software systems are initially created in a modular way, over time modularity typically degrades as components are reused outside the context where they were created. In this paper, we propose an automated strategy to remodularize software based on move refactoring, i.e. moving classes between packages without changing any other aspect of the source code. Taking a complex systems perspective, our approach is based on complex networks theory applied to the dynamics of software modular structures and its relation to an n-state spin model known as the Potts Model. In our approach, nodes are probabilistically moved between modules with a probability that nonlinearly depends on the number and module membership of their adjacent neighbors, which are defined by the underlying network of software dependencies. To validate our method, we apply it to a dataset of 39 Java open source projects in order to optimize their modularity. Comparing the source code generated by the developers with the optimized code resulting from our approach, we find that modularity (i.e. quantified in terms of a standard measure from the study of complex networks) improves on average by 166+-77 percent. In order to facilitate the application of our method in practical studies, we provide a freely available Eclipse plug-in.","PeriodicalId":357928,"journal":{"name":"Proceedings of the 13th international conference on Modularity","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128936931","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}

引用次数: 28

Session details: Software product lines 会话细节:软件产品线

Proceedings of the 13th international conference on Modularity Pub Date : 2014-04-22 DOI: 10.1145/3251087

Stefan Hanenberg

引用次数: 0

JavaScript module system: exploring the design space JavaScript模块系统:探索设计空间

Proceedings of the 13th international conference on Modularity Pub Date : 2014-04-22 DOI: 10.1145/2577080.2577088

Junhee Cho, Sukyoung Ryu

{"title":"JavaScript module system: exploring the design space","authors":"Junhee Cho, Sukyoung Ryu","doi":"10.1145/2577080.2577088","DOIUrl":"https://doi.org/10.1145/2577080.2577088","url":null,"abstract":"While JavaScript is one of the most widely used programming languages not only for web applications but also for large projects, it does not provide a language-level module system. JavaScript developers have used the module pattern to avoid name conflicts by themselves, but the prevalent uses of multiple libraries and even multiple versions of a single library in one application complicate maintenance of namespace. The next release of the JavaScript language specification will support a module system, but the module proposal in prose does not clearly describe its semantics. Several tools attempt to support the new features in the next release of JavaScript by translating them into the current JavaScript, but their module semantics do not faithfully implement the proposal. In this paper, we identify some of the design issues in the JavaScript module system. We describe ambiguous or undefined semantics of the module system with concrete examples, show how the existing tools support them in a crude way, and discuss reasonable choices for the design issues. We specify the formal semantics of the module system, which provides unambiguous description of the design choices, and we provide its implementation as a source-to-source transformation from JavaScript with modules to the plain JavaScript that the current JavaScript engines can evaluate.","PeriodicalId":357928,"journal":{"name":"Proceedings of the 13th international conference on Modularity","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115830480","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}

引用次数: 6

Blending and reusing rules for architectural degradation prevention 防止体系结构退化的混合和重用规则

Proceedings of the 13th international conference on Modularity Pub Date : 2014-04-22 DOI: 10.1145/2577080.2577087

A. Gurgel, Isela Macia Bertran, Alessandro F. Garcia, Arndt von Staa, M. Mezini, Michael Eichberg, Ralf Mitschke

{"title":"Blending and reusing rules for architectural degradation prevention","authors":"A. Gurgel, Isela Macia Bertran, Alessandro F. Garcia, Arndt von Staa, M. Mezini, Michael Eichberg, Ralf Mitschke","doi":"10.1145/2577080.2577087","DOIUrl":"https://doi.org/10.1145/2577080.2577087","url":null,"abstract":"As software systems are maintained, their architecture often de-grades through the processes of architectural drift and erosion. These processes are often intertwined and the same modules in the code become the locus of both drift and erosion symptoms. Thus, architects should elaborate architecture rules for detecting occur-rences of both degradation symptoms. While the specification of such rules is time-consuming, they are similar across software projects adhering to similar architecture decompositions. Unfortu-nately, existing anti-degradation techniques are limited as they focus only on detecting either drift or erosion symptoms. They also do not support the reuse of recurring anti-degradation rules. In this context, the contribution of this paper is twofold. First, it presents TamDera, a domain-specific language for: (i) specifying rule-based strategies to detect both erosion and drift symptoms, and (ii) promoting the hierarchical and compositional reuse of design rules across multiple projects. The language was designed with usual concepts from programming languages in mind such as, inheritance and modularization. Second, we evaluated to what extent developers would benefit from the definition and reuse of hybrid rules. Our study involved 21 versions pertaining to 5 software projects, and more than 600 rules. On average 45% of classes that had drift symptoms in first versions presented inter-related erosion problems in latter versions or vice-versa. Also, up to 72% of all the TamDera rules in a project are from a pre-defined library of reusable rules. They were responsible for detecting on average of 73% of the inter-related degradation symptoms across the projects.","PeriodicalId":357928,"journal":{"name":"Proceedings of the 13th international conference on Modularity","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121776011","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}

引用次数: 19

Delegation proxies: the power of propagation 委托代理:传播的力量

Proceedings of the 13th international conference on Modularity Pub Date : 2014-04-22 DOI: 10.1145/2577080.2577081

Erwann Wernli, Oscar Nierstrasz, Camille Teruel, Stéphane Ducasse

引用次数: 11

An empirical study on how developers reason about module cohesion 开发人员如何推理模块内聚的实证研究

Proceedings of the 13th international conference on Modularity Pub Date : 2014-04-22 DOI: 10.1145/2577080.2577096

B. Silva, C. Sant'Anna, C. Chavez

{"title":"An empirical study on how developers reason about module cohesion","authors":"B. Silva, C. Sant'Anna, C. Chavez","doi":"10.1145/2577080.2577096","DOIUrl":"https://doi.org/10.1145/2577080.2577096","url":null,"abstract":"Several cohesion metrics have been proposed to support development and maintenance activities. The most traditional ones are the structural cohesion metrics, which rely on structural information in the source code. For instance, many of these metrics quantify cohesion based how methods and attributes are related to each other within a given module. Recently, conceptual cohesion metrics have been proposed for computing cohesion based on the responsibilities a given module realizes. Besides different flavors of cohesion, there is a lack of empirical evidence about how developers actually perceive cohesion and what kind of cohesion measurement aligns with developers' perception. In this paper we fill this gap by empirically investigating developers opinion through a web-based survey, which involved 80 participants from 9 countries with different levels of programming experience. We found that: most of the developers are familiar with cohesion; and they perceive cohesion based on class responsibilities, thus associating more with conceptual cohesion measurement. These results support the claim that conceptual cohesion seems to be more intuitive and closer to the human-oriented view of software cohesion. Moreover, the results showed that conceptual cohesion measurement captures the developers' notion of cohesion better than traditional structural cohesion measurement.","PeriodicalId":357928,"journal":{"name":"Proceedings of the 13th international conference on Modularity","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121155501","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}

引用次数: 7

AspectJML: modular specification and runtime checking for crosscutting contracts AspectJML:横切契约的模块化规范和运行时检查

Proceedings of the 13th international conference on Modularity Pub Date : 2014-04-22 DOI: 10.1145/2577080.2577084

Henrique Rebêlo, Gary T. Leavens, M. Bagherzadeh, Hridesh Rajan, R. Lima, D. M. Zimmerman, Márcio Cornélio, Thomas Thüm

引用次数: 22

Compositional reasoning about aspect interference 关于相位干扰的组合推理

Proceedings of the 13th international conference on Modularity Pub Date : 2014-04-22 DOI: 10.1145/2577080.2577093

Ismael Figueroa, T. Schrijvers, Nicolas Tabareau, É. Tanter

引用次数: 5

Probabilistic model checking for energy analysis in software product lines 软件产品线能量分析的概率模型检验

Proceedings of the 13th international conference on Modularity Pub Date : 2013-12-30 DOI: 10.1145/2577080.2577095

Clemens Dubslaff, Sascha Klüppelholz, C. Baier

{"title":"Probabilistic model checking for energy analysis in software product lines","authors":"Clemens Dubslaff, Sascha Klüppelholz, C. Baier","doi":"10.1145/2577080.2577095","DOIUrl":"https://doi.org/10.1145/2577080.2577095","url":null,"abstract":"In a software product line (SPL), a collection of software products is defined by their commonalities in terms of features rather than explicitly specifying all products one-by-one. Several verification techniques were adapted to establish temporal properties of SPLs. Symbolic and family-based model checking have been proven to be successful for tackling the combinatorial blow-up arising when reasoning about several feature combinations. However, most formal verification approaches for SPLs presented in the literature focus on the static SPLs, where the features of a product are fixed and cannot be changed during runtime. This is in contrast to dynamic SPLs, allowing to adapt feature combinations of a product dynamically after deployment. The main contribution of the paper is a compositional modeling framework for dynamic SPLs, which supports probabilistic and nondeterministic choices and allows for quantitative analysis. We specify the feature changes during runtime within an automata-based coordination component, enabling to reason over strategies how to trigger dynamic feature changes for optimizing various quantitative objectives, e.g., energy or monetary costs and reliability. For our framework there is a natural and conceptually simple translation into the input language of the prominent probabilistic model checker PRISM. This facilitates the application of PRISM's powerful symbolic engine to the operational behavior of dynamic SPLs and their family-based analysis against various quantitative queries. We demonstrate feasibility of our approach by a case study issuing an energy-aware bonding network device.","PeriodicalId":357928,"journal":{"name":"Proceedings of the 13th international conference on Modularity","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127013150","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}

引用次数: 39