发布求助
文献互助 智能选刊 最新文献

International Conference on Feature Interactions in Software and Communication Systems最新文献

筛选
英文 中文
IMS Service Broker Feasibility Study in 3GPP Release 8 (Industrial Report) 3GPP第8版IMS服务代理可行性研究(行业报告)
International Conference on Feature Interactions in Software and Communication Systems Pub Date : 2009-12-01 DOI: 10.3233/978-1-60750-014-8-42
F. Lin, R. Morera
{"title":"IMS Service Broker Feasibility Study in 3GPP Release 8 (Industrial Report)","authors":"F. Lin, R. Morera","doi":"10.3233/978-1-60750-014-8-42","DOIUrl":"https://doi.org/10.3233/978-1-60750-014-8-42","url":null,"abstract":"","PeriodicalId":382411,"journal":{"name":"International Conference on Feature Interactions in Software and Communication Systems","volume":"2016 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127453343","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
Feature Interactions in a Software Product Line for E-voting 电子投票软件产品线中的功能交互
International Conference on Feature Interactions in Software and Communication Systems Pub Date : 2009-06-11 DOI: 10.3233/978-1-60750-014-8-91
John Paul Gibson, E. Lallet, Jean-Luc Raffy
{"title":"Feature Interactions in a Software Product Line for E-voting","authors":"John Paul Gibson, E. Lallet, Jean-Luc Raffy","doi":"10.3233/978-1-60750-014-8-91","DOIUrl":"https://doi.org/10.3233/978-1-60750-014-8-91","url":null,"abstract":"A significant number of failures in e-voting systems have arisen because of poorly specified requirements, combined with an ad-hoc approach to engineering multiple variations of similar machines. We demonstrate that e-voting is a suitable domain for leveraging state-of-the-art in software product line (SPL) engineering techniques and tools. We propose, based on examples of typical requirements, that a feature-oriented approach to e-voting domain analysis is a good foundation upon which to carry out commonality and variablity analysis. Simple analysis of our core and optional features (and their variants) leads us to believe that feature interactions are a major problem in voting systems. We conclude that a formal software product line would help to manage the composition of features in such a way as to eliminate interactions in the requirements models, before particular e-voting systems are instantiated.","PeriodicalId":382411,"journal":{"name":"International Conference on Feature Interactions in Software and Communication Systems","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-06-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125976050","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
Feature Interaction as a Context Sharing Problem 作为上下文共享问题的特征交互
International Conference on Feature Interactions in Software and Communication Systems Pub Date : 2009-06-01 DOI: 10.3233/978-1-60750-014-8-133
A. Nhlabatsi, R. Laney, B. Nuseibeh
{"title":"Feature Interaction as a Context Sharing Problem","authors":"A. Nhlabatsi, R. Laney, B. Nuseibeh","doi":"10.3233/978-1-60750-014-8-133","DOIUrl":"https://doi.org/10.3233/978-1-60750-014-8-133","url":null,"abstract":"We argue that the feature interaction problem arises primarily from sharing of context and hence features should be structured and analysed through a notation that makes context explicit. We support this argument with three sets of evidence. Firstly, we express feature interaction through Zave and Jackson’s entailment relation. With the entailment relation, we structure a feature as a relation between three sets of descriptions: requirement, context, and specification. We show that feature interactions arise due to shared context. Secondly, we examine the literature on sources of feature interactions and conclude that inconsistencies between requirements are ultimately manifested on shared context. Finally, we study feature interaction taxonomies and show that in the characterisation of feature interactions in taxonomies, context sharing is central.","PeriodicalId":382411,"journal":{"name":"International Conference on Feature Interactions in Software and Communication Systems","volume":"416 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115590636","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}
引用次数: 11
Online Detection of Feature Interactions of CPL Services CPL服务特征交互的在线检测
International Conference on Feature Interactions in Software and Communication Systems Pub Date : 2009-05-01 DOI: 10.3233/978-1-60750-014-8-19
Lixiang Wang, Jiuyun Xu, S. Reiff-Marganiec
{"title":"Online Detection of Feature Interactions of CPL Services","authors":"Lixiang Wang, Jiuyun Xu, S. Reiff-Marganiec","doi":"10.3233/978-1-60750-014-8-19","DOIUrl":"https://doi.org/10.3233/978-1-60750-014-8-19","url":null,"abstract":"This is the author's final draft of the paper published in Feature Interactions in Software and Communications Systems X / edited by M. Nakamura and Stephan Reiff-Marganiec, published by IOS Press, 2009. The final version is available from http://www.iospress.nl/","PeriodicalId":382411,"journal":{"name":"International Conference on Feature Interactions in Software and Communication Systems","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127248733","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
Feature Interaction Testing: An Industrial Perspective (Industrial Report) 功能交互测试:工业视角(工业报告)
International Conference on Feature Interactions in Software and Communication Systems Pub Date : 1900-01-01 DOI: 10.3233/978-1-60750-014-8-50
J. Hassine
{"title":"Feature Interaction Testing: An Industrial Perspective (Industrial Report)","authors":"J. Hassine","doi":"10.3233/978-1-60750-014-8-50","DOIUrl":"https://doi.org/10.3233/978-1-60750-014-8-50","url":null,"abstract":"","PeriodicalId":382411,"journal":{"name":"International Conference on Feature Interactions in Software and Communication Systems","volume":"149 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114642762","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
Formal Analysis of Smart Home Policies using Compositional Verification 使用成分验证的智能家居政策形式化分析
International Conference on Feature Interactions in Software and Communication Systems Pub Date : 1900-01-01 DOI: 10.3233/978-1-60750-014-8-220
Narges Khakpour, M. Sirjani, S. Jalili
{"title":"Formal Analysis of Smart Home Policies using Compositional Verification","authors":"Narges Khakpour, M. Sirjani, S. Jalili","doi":"10.3233/978-1-60750-014-8-220","DOIUrl":"https://doi.org/10.3233/978-1-60750-014-8-220","url":null,"abstract":"Smart spaces contain a large number of computing devices communicating with each other to perform various high-order tasks. They are governed by predefined policies that users can put according to ...","PeriodicalId":382411,"journal":{"name":"International Conference on Feature Interactions in Software and Communication Systems","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128122688","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
Considering Online Feature Interaction Detection and Resolution for Integrated Services in Home Network System 基于在线特征交互的家庭网络综合业务检测与解决
International Conference on Feature Interactions in Software and Communication Systems Pub Date : 1900-01-01 DOI: 10.3233/978-1-60750-014-8-191
Masahide Nakamura, H. Igaki, Yuhei Yoshimura, Kousuke Ikegami
{"title":"Considering Online Feature Interaction Detection and Resolution for Integrated Services in Home Network System","authors":"Masahide Nakamura, H. Igaki, Yuhei Yoshimura, Kousuke Ikegami","doi":"10.3233/978-1-60750-014-8-191","DOIUrl":"https://doi.org/10.3233/978-1-60750-014-8-191","url":null,"abstract":"This paper presents an online detection and resolution method for fea- ture interactions among integrated services in home network systems. To achieve reasonable online detection and resolution, we introduce three new concepts in this paper. Specifically, (a) activation which explicitly defines the execution lifetime of services, (b) mandatory methods which guarantees essential and optional opera- tions in services, and (c) suspend/resume mechanism which allows lower-priority services to sleep temporarily and to wake up later when all conflicting services are terminated. A case study demonstrates the effectiveness of the proposed method.","PeriodicalId":382411,"journal":{"name":"International Conference on Feature Interactions in Software and Communication Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129379107","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}
引用次数: 24
Feature Diagrams for Change-Oriented Programming 面向变更编程的特征图
International Conference on Feature Interactions in Software and Communication Systems Pub Date : 1900-01-01 DOI: 10.3233/978-1-60750-014-8-107
Peter Ebraert, Andreas Classen, P. Heymans, T. D'Hondt
{"title":"Feature Diagrams for Change-Oriented Programming","authors":"Peter Ebraert, Andreas Classen, P. Heymans, T. D'Hondt","doi":"10.3233/978-1-60750-014-8-107","DOIUrl":"https://doi.org/10.3233/978-1-60750-014-8-107","url":null,"abstract":"Abstract. The idea of feature-oriented programming is to map requirements to fea-tures, concepts that can be composed to form a software product. Change-orientedprogramming (ChOP), in which features are seen as sets of changes that can beapplied to a base program, has recently been proposed as an approach to FOP.Changes are recorded as the programmer works and can encapsulate any developeraction, including the removing of code.Before changes can be combined to form a product, it has to be verified that thereare no harmful interactions between selected changes. There exists, however, noformal model of the current approach that may serve as a reference specificationfor ChOP implementations. In an effort to fill this gap, we propose a formal modelof ChOP, which, as we will show, maps to the well-understood notion of feature di-agram. Thanks to this, we can reuse a number of results in feature diagram researchand apply them to ChOP.Keywords. Formal Methods, Feature-Oriented Programming, Feature Diagrams,Software Product Lines","PeriodicalId":382411,"journal":{"name":"International Conference on Feature Interactions in Software and Communication Systems","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127825102","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
Detecting policy conflicts by model checking UML state machines 通过模型检查UML状态机来检测策略冲突
International Conference on Feature Interactions in Software and Communication Systems Pub Date : 1900-01-01 DOI: 10.3233/978-1-60750-014-8-59
M. T. Beek, S. Gnesi, C. Montangero, L. Semini
{"title":"Detecting policy conflicts by model checking UML state machines","authors":"M. T. Beek, S. Gnesi, C. Montangero, L. Semini","doi":"10.3233/978-1-60750-014-8-59","DOIUrl":"https://doi.org/10.3233/978-1-60750-014-8-59","url":null,"abstract":"Policies are convenient means to modify system behaviour at run-time. Nowadays, policies are created in great numbers by different actors, ranging from system administrators to lay-users. However, this situation may lead naturally to inconsistencies, a problem that has been recognized and termed policy conflict. The adoption of a widely-used notation, with good tool support, to express the policies, can not only support the detection, but also help all the involved actors in understanding and resolving the conflicts. In this respect, a natural candidate is UML due to its current wide use in the industrial practice. In this paper we show how to model check policies expressed in UML to verify whether they are free of conflicts: we define a correspondence between APPEL policies and UML state machines and use UMC as a model checker. We validate the approach with examples taken from the literature.","PeriodicalId":382411,"journal":{"name":"International Conference on Feature Interactions in Software and Communication Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126313101","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}
引用次数: 20
Service specification and validation in the context of the home 在家庭环境中的服务规范和验证
International Conference on Feature Interactions in Software and Communication Systems Pub Date : 1900-01-01 DOI: 10.3233/978-1-60750-014-8-207
L. D. Bousquet, A. Rajan, Catherine Oriat, J. Richier, Germán Vega
{"title":"Service specification and validation in the context of the home","authors":"L. D. Bousquet, A. Rajan, Catherine Oriat, J. Richier, Germán Vega","doi":"10.3233/978-1-60750-014-8-207","DOIUrl":"https://doi.org/10.3233/978-1-60750-014-8-207","url":null,"abstract":"We explore and discuss different ways of expressing service specifications in the context of home automation systems implemented on OSGiTM. We found that the approach used for expressing services affects the amount of service interaction in the system. Some approaches, as opposed to others, artificially increase the number of situations where services are considered to badly interact. We discuss the pros and cons of three approaches for service specification in the context of the home.","PeriodicalId":382411,"journal":{"name":"International Conference on Feature Interactions in Software and Communication Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122070202","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
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信