Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity最新文献

Sensors, actuators and services: a distributed approach 传感器、执行器和服务:分布式方法

Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity Pub Date : 2013-10-26 DOI: 10.1145/2508075.2508464

Tiago Boldt Sousa

引用次数: 0

Does thought crime pay? 思想犯罪有回报吗?

Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity Pub Date : 2013-10-26 DOI: 10.1145/2508075.2508191

Gilad Bracha

引用次数: 0

Session details: Posters 会议详情:海报

Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity Pub Date : 2013-10-26 DOI: 10.1145/3245140

Jayaram Radhakrishnan, E. Torlak

引用次数: 0

Client-aware checking and information hiding in interface specifications with JML/ajmlc 使用JML/ajmlc在接口规范中进行客户端感知检查和信息隐藏

Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity Pub Date : 2013-10-26 DOI: 10.1145/2508075.2514569

Henrique Rebêlo, Gary T. Leavens, R. Lima

{"title":"Client-aware checking and information hiding in interface specifications with JML/ajmlc","authors":"Henrique Rebêlo, Gary T. Leavens, R. Lima","doi":"10.1145/2508075.2514569","DOIUrl":"https://doi.org/10.1145/2508075.2514569","url":null,"abstract":"Information hiding controls which parts of a module are visible to different clients. This aids maintenance because hidden implementation details can be changed without affecting clients. The benefits of information hiding apply not only to code but also to other artifacts, such as specifications. In this demonstration we show how our client-aware checking (CAC) technique, which is implemented by our JML/ajmlc compiler and freely available online, use the privacy information in specifications to promote information hiding. We demonstrate the benefits of CAC over existing runtime assertion checkers (RACs) of contemporary interface specification languages. Client-aware checking allows runtime assertion checking and error reporting based solely on specifications visible to clients. This avoids exposing hidden implementation or specification details that cannot be understood by non-privileged clients. This demonstration will proceed by discussing the goals of the CAC technique by means of realistic examples. Attendees will mainly see JML specifications, including pre- and postconditions for methods. They will learn how to use the JML/ajmlc compiler, which also provides information hiding capabilities. In addition, they will learn how to use model fields to hide the actual field declarations in classes, and how model fields play an important role in achieving information hiding. We will conclude with pointers to ongoing work on design, implementation and runtime checking of Java programs with CAC-based JML/ajmlc.","PeriodicalId":430425,"journal":{"name":"Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130139342","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

Splash'13 workshops summary Splash’13工作坊总结

Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity Pub Date : 2013-10-26 DOI: 10.1145/2508075.2514885

Stephanie Balzer, U. Schultz

引用次数: 0

Identifying and specifying crosscutting contracts with AspectJML 用AspectJML识别和指定横切契约

Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity Pub Date : 2013-10-26 DOI: 10.1145/2508075.2514877

Henrique Rebêlo

引用次数: 0

TruSSCom: proposal for trustworthy service representation, selection and negotiation for integrating software systems TruSSCom:为集成软件系统提供可信服务表示、选择和协商的建议

Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity Pub Date : 2013-10-26 DOI: 10.1145/2508075.2508077

Lahiru S. Gallege

{"title":"TruSSCom: proposal for trustworthy service representation, selection and negotiation for integrating software systems","authors":"Lahiru S. Gallege","doi":"10.1145/2508075.2508077","DOIUrl":"https://doi.org/10.1145/2508075.2508077","url":null,"abstract":"Integrating a distributed software system using publically available software services saves effort, time, and cost. One key step in this process is the service selection which identifies a relevant set of services for this integration. In an open service marketplace, it is hard to judge the trust of software services using a static view (consisting of service specifications) published by their developers. Instead, the concepts of trust in the context of services needs to be properly quantified, specified, negotiated, and then used in the selection process. Prevalent service selection and negotiation approaches do not consider the trust aspect of services. Trustworthy service representation, selection, and negotiation are challenging tasks due to the subjective and temporal nature of trust, lack of standards, and associated uncertainty. This proposal defines the trust of a service, quantifies the trust by monitoring and aggregating various evidences, represents the trust in the service specification and improves the service selection and negotiation process using this representation. Publically available software objects (from Java collection framework library) and mobile app services (from the Android marketplace) are used as datasets to empirically evaluate this proposal.","PeriodicalId":430425,"journal":{"name":"Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125525229","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

Ultimate architecture enforcement: custom checks enforced at code-commit time 最终架构实施:在代码提交时实施自定义检查

Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity Pub Date : 2013-10-26 DOI: 10.1145/2508075.2508433

P. Merson

{"title":"Ultimate architecture enforcement: custom checks enforced at code-commit time","authors":"P. Merson","doi":"10.1145/2508075.2508433","DOIUrl":"https://doi.org/10.1145/2508075.2508433","url":null,"abstract":"Creating a software architecture is a critical task in the development of software systems. However, the architecture discussed and carefully created is often not entirely followed in the implementation. Unless the architecture is communicated effectively to all developers, divergence between the intended architecture (created by the architect) and the actual architecture (found in the source code) tends to gradually increase. Static analysis tools, which are often used to check coding conventions and best practices, can help. However, the common use of static analysis tools for architecture enforcement has two limitations. One is the fact that design rules specific to a software architecture are not known and hence not enforced by the tool. The other limitation is more of a practical issue: static analysis tools are often integrated to the IDE or to a continuous integration environment; they report violations but the developers may choose to ignore them. This paper reports a successful experience where we addressed these two limitations for a large codebase comprising over 50 Java applications. Using a free open source tool called checkstyle and its Java API, we implemented custom checks for design constraints specified by the architecture of our software systems. In addition, we created a script that executes automatically on the Subversion software configuration management server prior to any code commit operation. This script runs the custom checks and denies the commit operation in case a violation is found. When that happens, the developer gets a clear error message explaining the problem. The architecture team is also notified and can proactively contact the developer to address any lack of understanding of the architecture. This experience report provides technical details of our architecture enforcement approach and recommendations to employ this or similar solutions more effectively.","PeriodicalId":430425,"journal":{"name":"Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125527517","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

Session details: Doctoral symposium 会议详情:博士研讨会

Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity Pub Date : 2013-10-26 DOI: 10.1145/3245138

Lukasz Ziarek

引用次数: 0

Finding architectural flaws in android apps is easy 在android应用程序中发现架构缺陷很容易

Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity Pub Date : 2013-10-26 DOI: 10.1145/2508075.2514574

R. Vanciu, Marwan Abi-Antoun

引用次数: 3