Proceedings of the 8th Asia-Pacific Symposium on Internetware最新文献_第4页

Detecting source code changes to maintain the consistence of behavioral model 检测源代码变更，维护行为模型的一致性

Proceedings of the 8th Asia-Pacific Symposium on Internetware Pub Date : 2012-10-30 DOI: 10.1145/2430475.2430482

Yuankui Li, Linzhang Wang, Xuandong Li, Yuanfang Cai

{"title":"Detecting source code changes to maintain the consistence of behavioral model","authors":"Yuankui Li, Linzhang Wang, Xuandong Li, Yuanfang Cai","doi":"10.1145/2430475.2430482","DOIUrl":"https://doi.org/10.1145/2430475.2430482","url":null,"abstract":"It is well-known that as software system evolves, the source code tends to deviate from its design model so that maintaining their consistence is challenging. Our objective is to detect code changes that influence designed program behaviour which are referred as design level changes and update the behavioural model timely and automatically to maintain consistence. We propose an approach that filters out low-level source code changes that do not influence program behaviour, abstracts code changes into updating operations for behavioral model, and automates the integration and update of activity diagrams to maintain consistence. We've recognised that it is not uncommon for developers to introduce quick and dirty implementation that unnecessarily increases program complexity or introduces suboptimal behaviour changes. So while merging code changes into behaviour model, our approach also calculates cyclometric complexity variation before and after the process so that developers can be alerted of significant and/or detrimental changes. Our tool allows the user to approve the change in code before merging and updating the model.","PeriodicalId":20631,"journal":{"name":"Proceedings of the 8th Asia-Pacific Symposium on Internetware","volume":"44 1","pages":"7:1-7:6"},"PeriodicalIF":0.0,"publicationDate":"2012-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80645524","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

Requirements modeling and system reconfiguration for self-adaptation of Internetware 面向互联网软件自适应的需求建模和系统重构

Proceedings of the 8th Asia-Pacific Symposium on Internetware Pub Date : 2012-10-30 DOI: 10.1145/2430475.2430486

Zhuo-Qun Yang, Jin Zhi

引用次数: 4

Service discovery for internet of things: a context-awareness perspective 物联网的服务发现:上下文感知视角

Proceedings of the 8th Asia-Pacific Symposium on Internetware Pub Date : 2012-10-30 DOI: 10.1145/2430475.2430500

Qiang Wei, Zhi Jin

{"title":"Service discovery for internet of things: a context-awareness perspective","authors":"Qiang Wei, Zhi Jin","doi":"10.1145/2430475.2430500","DOIUrl":"https://doi.org/10.1145/2430475.2430500","url":null,"abstract":"In Internet of Things (IoT), functionalities of devices are encapsulated as real-world services to interact with other things or traditional web services to realize the seamless integration physical world with information world, where service discovery plays an important role. However, the resource-constrained and mobility natures of devices and intermittent disconnection of wireless network result in services in IoT having highly dynamic environment, which asks for different requirements for context-aware service discovery approach than traditional web services and brings new challenges for service discovery in IoT. In this paper, we analyze the role of context and relations with entities in IoT firstly; then combing the characteristics of data in IoT, a common ontology based context model with the ability to handle uncertainty and temporal aspects of context is proposed and Dynamic Bayesian networks (DBN) is adopted to reason about these contexts for supporting to sense current situation. Finally, based on the context model and reasoning approach proposed, we present a context-aware service discovery architecture for IoT to provide an efficient infrastructure to support user-centric and environment-aware service provision.","PeriodicalId":20631,"journal":{"name":"Proceedings of the 8th Asia-Pacific Symposium on Internetware","volume":"8 1","pages":"25:1-25:6"},"PeriodicalIF":0.0,"publicationDate":"2012-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79165907","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}

引用次数: 47

Understanding evolution in Internetware using a double pyramids model 用双金字塔模型理解互联网软件的进化

Proceedings of the 8th Asia-Pacific Symposium on Internetware Pub Date : 2012-10-30 DOI: 10.1145/2430475.2430487

Jun Wang, Lin Liu, Jianmin Wang

{"title":"Understanding evolution in Internetware using a double pyramids model","authors":"Jun Wang, Lin Liu, Jianmin Wang","doi":"10.1145/2430475.2430487","DOIUrl":"https://doi.org/10.1145/2430475.2430487","url":null,"abstract":"One of the prominent properties of the Internetware Software Paradigm is its evolutionary characteristic. It is recognised that the evolution of software systems are driven by the needs of final users, and influenced by changes in the operational environments and technology advancement. The evolution of biological and social systems often forms a spiral incremental tendency where the changes are continuous, and stepwise. Inspired by the classical pyramid model of Maslow on Human needs, we propose to understand the evolution of software in the Internetware era with a double pyramid model. In other words, user's needs are gradually changing and their expectations to the system functionalities and qualities are getting higher; at the same time, more and more sophisticated software services become available, they provide richer functionalities, better qualities, more diversified choices, and more appealing user experiences. We first structure the development of user expectation and the capability of services as two separate pyramids, and then we define how the two pyramids interacts and influence each other within a co-evolution model. An example of Internetware system development is presented to illustrate how the co-evolution model helps shorten life cycle of system development and achieve high quality and efficiency at the same time.","PeriodicalId":20631,"journal":{"name":"Proceedings of the 8th Asia-Pacific Symposium on Internetware","volume":"35 1","pages":"12:1-12:9"},"PeriodicalIF":0.0,"publicationDate":"2012-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83733583","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

Interprocedural path-sensitive resource leaks detection for C programs C程序的过程间路径敏感资源泄漏检测

Proceedings of the 8th Asia-Pacific Symposium on Internetware Pub Date : 2012-10-30 DOI: 10.1145/2430475.2430494

Xiujuan Ji, Jufeng Yang, Jing Xu, Lei Feng, Xiaohong Li

引用次数: 4

A comparative study of static CIA techniques 静态中情局技术的比较研究

Proceedings of the 8th Asia-Pacific Symposium on Internetware Pub Date : 2012-10-30 DOI: 10.1145/2430475.2430498

Xiaobing Sun, Bin Li, Bixin Li, Wanzhi Wen

引用次数: 8

Dynamic software architectures: formal specification and verification with CSP 动态软件架构:使用CSP进行正式规范和验证

Proceedings of the 8th Asia-Pacific Symposium on Internetware Pub Date : 2012-10-30 DOI: 10.1145/2430475.2430480

Chen Li, Linpeng Huang, Luxi Chen, Xu Li, Weichao Luo

{"title":"Dynamic software architectures: formal specification and verification with CSP","authors":"Chen Li, Linpeng Huang, Luxi Chen, Xu Li, Weichao Luo","doi":"10.1145/2430475.2430480","DOIUrl":"https://doi.org/10.1145/2430475.2430480","url":null,"abstract":"Compared to the traditional software architecture, Dynamic Software Architectures (DSAs) should be able to describe the changes of the system and to effect modifications during system execution, especially for dynamic evolution. To reflect the changes during system execution, we present a formalism for describing architecture structure and interaction behavior, and we also specify four evolution rules for software architecture. Our work expands the idea in three directions. The first is to formalize the architecture structure and interaction behavior including components, connectors and an architectural reference model. The second direction is that we formalize four dynamic evolution rules which DSAs should support, that is, addition, removal, replacement and reconfiguration. Another direction is that we verify software architecture consistency and integrity after dynamic evolution. We use a client/server application as a running example throughout the paper to demonstrate our approach. Our work provides a precise formal specification for software architecture and a rigorous verification for dynamic evolution.","PeriodicalId":20631,"journal":{"name":"Proceedings of the 8th Asia-Pacific Symposium on Internetware","volume":"27 1","pages":"5:1-5:8"},"PeriodicalIF":0.0,"publicationDate":"2012-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82548804","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

A priority-based transaction commit protocol for composite web services 用于组合web服务的基于优先级的事务提交协议

Proceedings of the 8th Asia-Pacific Symposium on Internetware Pub Date : 2012-10-30 DOI: 10.1145/2430475.2430477

Wei Song, Zheng Gao, Jing Cai, Xiaoxing Ma

引用次数: 2

Review code evolution history in OSS universe 回顾OSS领域的代码演化历史

Proceedings of the 8th Asia-Pacific Symposium on Internetware Pub Date : 2012-10-30 DOI: 10.1145/2430475.2430488

Jiaxin Zhu, Hongwu Lin, Minghui Zhou, Hong Mei

{"title":"Review code evolution history in OSS universe","authors":"Jiaxin Zhu, Hongwu Lin, Minghui Zhou, Hong Mei","doi":"10.1145/2430475.2430488","DOIUrl":"https://doi.org/10.1145/2430475.2430488","url":null,"abstract":"Software evolves all the time because of the changing requirements, in particular, in the diverse Internet environment. Evolution history recorded in software repositories, e.g., Version Control Systems, reflects people's software development practice. Exploring this history could help practitioners to reuse the best practices therefore improve productivity and software quality. Because of the difficulty of collecting and standardizing data, most existing work could only utilize small project set. In this study, we target the open source software universe to build a universal code evolution model for large-scale data. We consider code evolution from two aspects: code version changing history in a single project and code reuse history in the whole universe. In the model, files/modules are built as nodes, and relations (version change or reuse) between files/modules are built as connections. Based on the model, we design and implement a code evolution review framework, i.e., Code Evolution Reviewer (CER), which provides a series of data interfaces to review code evolution history, in particular, code version changing in single project and code reuse among projects. Further, CER could be utilized to explore best practices across large-scale project set.","PeriodicalId":20631,"journal":{"name":"Proceedings of the 8th Asia-Pacific Symposium on Internetware","volume":"27 1","pages":"13:1-13:4"},"PeriodicalIF":0.0,"publicationDate":"2012-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89447028","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

A group recommendation approach for service selection 一种服务选择的群体推荐方法

Proceedings of the 8th Asia-Pacific Symposium on Internetware Pub Date : 2012-10-30 DOI: 10.1145/2430475.2430485

Tao Liu, Feng Xu, Yuan Yao, Jian Lu

引用次数: 2