First International Workshop on Software Engineering for Pervasive Computing Applications, Systems, and Environments (SEPCASE '07)最新文献

Exploring the Role of Software Architecture in Dynamic and Fault Tolerant Pervasive Systems 探讨软件架构在动态和容错普及系统中的作用

First International Workshop on Software Engineering for Pervasive Computing Applications, Systems, and Environments (SEPCASE '07) Pub Date : 2007-05-20 DOI: 10.1109/SEPCASE.2007.6

Chiyoung Seo, Sam Malek, George T. Edwards, D. Popescu, N. Medvidović, Brad Petrus, Sharmila Ravula

引用次数: 19

Pedestrian Navigation Systems: a Case Study of Deep Personalization 行人导航系统:深度个性化的案例研究

First International Workshop on Software Engineering for Pervasive Computing Applications, Systems, and Environments (SEPCASE '07) Pub Date : 2007-05-20 DOI: 10.1109/SEPCASE.2007.9

Xiangkui Yao, S. Fickas

{"title":"Pedestrian Navigation Systems: a Case Study of Deep Personalization","authors":"Xiangkui Yao, S. Fickas","doi":"10.1109/SEPCASE.2007.9","DOIUrl":"https://doi.org/10.1109/SEPCASE.2007.9","url":null,"abstract":"Requirements Engineering (RE) focuses on obtaining the user goals and environmental constraints of a proposed system. In traditional RE, users are treated as a consumer-class: what holds for one member is assumed to hold for the rest. Personalization comes through providing options that a user can set at runtime to tailor features of the system to his or her personal preferences. In our work, we take up the personalization issue in more detail. In particular, we believe that some systems require a \"deep personalization\" that includes knowledge of an individual user's skills and limitations. In some cases, these skills and limitations might not be self-aware, i.e., a user cannot accurately self-reflect on his or her skills and weaknesses. In this paper, we will demonstrate the notion of deep personalization in the domain of personal navigation systems. We find this an interesting domain for several reasons: (1) There is a domain theory of navigation skills that draws from both Cartography and Psychology. (2) There are individual differences in navigation skills. (3) An individual user may not be self-aware of his or her skills. (4) If a system is delivered that does not match the skills of the user, it may be less than effective, and at worst, abandoned.","PeriodicalId":332822,"journal":{"name":"First International Workshop on Software Engineering for Pervasive Computing Applications, Systems, and Environments (SEPCASE '07)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117092749","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}

引用次数: 8

Do No Harm: Model Checking eHome Applications 不伤害:模型检查eHome应用程序

First International Workshop on Software Engineering for Pervasive Computing Applications, Systems, and Environments (SEPCASE '07) Pub Date : 2007-05-20 DOI: 10.1109/SEPCASE.2007.4

Zebin Chen, S. Fickas

{"title":"Do No Harm: Model Checking eHome Applications","authors":"Zebin Chen, S. Fickas","doi":"10.1109/SEPCASE.2007.4","DOIUrl":"https://doi.org/10.1109/SEPCASE.2007.4","url":null,"abstract":"Our group is building eHome applications for the cognitively impaired population. We have chosen to work with an existing framework, OSGi, that allows us to more quickly develop specific applications. We use a combination of traditional testing and formal verification to insure that the OSGi-based applications we build will cause no harm to the cognitively impaired users of our systems. This paper will focus on our results to date of using model checking to verify OSGi applications. In this paper, we describe the construction of a formal model parallel to the OSGi framework, which can be reused for rapid development of formal models for OSGi applications. With this approach, we have found the existence of stale references in several real examples. Stale references are a known concurrency problem in OSGi applications but difficult to get rid of. We argue that domain-specific reuse at the model level is an effective way to bring model checking closer to typical developers and tackle the concurrency errors. We also proposed and verified potential solutions, which can be used as generic paradigms to tackle the stale references problem in OSGi applications.","PeriodicalId":332822,"journal":{"name":"First International Workshop on Software Engineering for Pervasive Computing Applications, Systems, and Environments (SEPCASE '07)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124394069","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

Generative Programming Approach for Building Pervasive Computing Applications 构建普适计算应用的生成式编程方法

First International Workshop on Software Engineering for Pervasive Computing Applications, Systems, and Environments (SEPCASE '07) Pub Date : 2007-05-20 DOI: 10.1109/SEPCASE.2007.8

D. Kulkarni, A. Tripathi

引用次数: 3

The Service Ecosystem: Dynamic Self-Aggregation of Pervasive Communication Services 服务生态系统:普适通信服务的动态自聚合

First International Workshop on Software Engineering for Pervasive Computing Applications, Systems, and Environments (SEPCASE '07) Pub Date : 2007-05-20 DOI: 10.1109/SEPCASE.2007.11

R. Quitadamo, F. Zambonelli, Giacomo Cabri

{"title":"The Service Ecosystem: Dynamic Self-Aggregation of Pervasive Communication Services","authors":"R. Quitadamo, F. Zambonelli, Giacomo Cabri","doi":"10.1109/SEPCASE.2007.11","DOIUrl":"https://doi.org/10.1109/SEPCASE.2007.11","url":null,"abstract":"The continuous growth in ubiquitous computing and network connectivity in our everyday environments calls for a deep rethinking of traditional communication service architectures. In pervasive scenarios, manually configuring communication service/protocols is becoming mostly unthinkable, due to the high heterogeneity of devices and services, and to the decentralized and embedded nature of the involved entities. The next step is towards the \"componentization\" of communication services, i.e. services implemented and exposed by software components, rather than static protocol/service layers. Stack layering is likewise expected to be replaced by the dynamic and flexible aggregation of such components. Canonical software engineering models for component composition and syntactic service interfaces can hardly tackle the openness and dynamicity of such envisioned pervasive communication services. Therefore, this paper proposes an innovative ecology-inspired composition model for pervasive services. The key idea is to exploit semantics as an overlay for service aggregation rather than a mere additional description of a static service.","PeriodicalId":332822,"journal":{"name":"First International Workshop on Software Engineering for Pervasive Computing Applications, Systems, and Environments (SEPCASE '07)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115418015","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}

引用次数: 30

Evaluating User-centric Adaptation with Goal Models 用目标模型评估以用户为中心的适应性

First International Workshop on Software Engineering for Pervasive Computing Applications, Systems, and Environments (SEPCASE '07) Pub Date : 2007-05-20 DOI: 10.1109/SEPCASE.2007.5

Lin Mei, S. Easterbrook

引用次数: 17

Precision: Privacy Enhanced Context-Aware Information Fusion in Ubiquitous Healthcare 精确性:无处不在的医疗保健中隐私增强的上下文感知信息融合

First International Workshop on Software Engineering for Pervasive Computing Applications, Systems, and Environments (SEPCASE '07) Pub Date : 2007-05-20 DOI: 10.1109/SEPCASE.2007.10

Gautham V. Pallapa, Nirmalya Roy, Sajal K. Das

引用次数: 13

Towards Aspect-Oriented Programming for Context-Aware Systems: A Comparative Study 面向上下文感知系统的面向方面编程:比较研究

First International Workshop on Software Engineering for Pervasive Computing Applications, Systems, and Environments (SEPCASE '07) Pub Date : 2007-05-20 DOI: 10.1109/SEPCASE.2007.12

F. Dantas, T. Batista, N. Cacho

引用次数: 20

Addressing Dynamic Contextual Adaptation with a Domain-Specific Language 用领域特定语言处理动态上下文适应

First International Workshop on Software Engineering for Pervasive Computing Applications, Systems, and Environments (SEPCASE '07) Pub Date : 2007-05-20 DOI: 10.1109/SEPCASE.2007.1

S. Fritsch, A. Senart, S. Clarke

引用次数: 7

Aspect-Oriented Model-Driven Development for Mobile Context-Aware Computing 面向方面的模型驱动的移动上下文感知计算开发

First International Workshop on Software Engineering for Pervasive Computing Applications, Systems, and Environments (SEPCASE '07) Pub Date : 2007-05-20 DOI: 10.1109/SEPCASE.2007.3

A. Carton, S. Clarke, A. Senart, V. Cahill

引用次数: 34