Context-aware applications offer a great potential for the future of mobile computing. In order to be developed in an optimal way, such applications need appropriate middleware services. This paper introduces Pervaho, an integrated middleware aimed specifically for supporting the development and testing of mobile context-aware applications. To illustrate the use of Pervaho, we walk through the development of a concrete mobile context-aware application and show how it can be elegantly built on top of Pervaho's location-based publish/subscribe service. We also illustrate how a specialized mobility testing tool significantly simplifies the process of testing proximity-based semantics. We then present the implementation of Pervaho, which is based on a set of communication protocols geared at mesh networks. Finally, we provide a performance analysis of our implementation.
{"title":"Design and Implementation of the Pervaho Middleware for Mobile Context-Aware Applications","authors":"P. Eugster, B. Garbinato, A. Holzer","doi":"10.1109/MCETECH.2008.10","DOIUrl":"https://doi.org/10.1109/MCETECH.2008.10","url":null,"abstract":"Context-aware applications offer a great potential for the future of mobile computing. In order to be developed in an optimal way, such applications need appropriate middleware services. This paper introduces Pervaho, an integrated middleware aimed specifically for supporting the development and testing of mobile context-aware applications. To illustrate the use of Pervaho, we walk through the development of a concrete mobile context-aware application and show how it can be elegantly built on top of Pervaho's location-based publish/subscribe service. We also illustrate how a specialized mobility testing tool significantly simplifies the process of testing proximity-based semantics. We then present the implementation of Pervaho, which is based on a set of communication protocols geared at mesh networks. Finally, we provide a performance analysis of our implementation.","PeriodicalId":299458,"journal":{"name":"2008 International MCETECH Conference on e-Technologies (mcetech 2008)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-01-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126268002","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}
E-learning systems have made considerable progress within the last few years. Nonetheless, the issue of learner privacy has been practically ignored. Existing E-learning standards offer some provisions for privacy and the security of E-learning systems offers some privacy protection, but remains unsatisfactory on several levels. On the other hand, privacy preserving solutions that are appropriate and used in E-commerce environments are inadequate and unsuitable to the context of E-learning. Indeed, while in most E-commerce applications different transactions between the client and the system are pretty much independent, in E-learning the interactions between the learner and system are intertwined into a developing process that depends heavily on the path the leaner is following. In this paper, we introduce the anonymous credentials for E- learning systems (ACES), a set of protocols to preserve learner's privacy in E-learning environments. In particular, the ACES allows learners to provide anonymous credentials throughout the learning process, such as when they need to prove that they possess the necessary requirements to register for a course, and/or to prove that they are the legitimate owners of an anonymous transcript or an anonymous degree. Although the concept of anonymous credentials is not novel, ACES takes into account the specificities of E-learning. Moreover, in order to prevent the misuse of privacy, ACES prevents the possibility of sharing credentials between learners.
{"title":"Anonymous Credentials for Privacy-Preserving E-learning","authors":"E. Aimeur, H. Hage, F. Onana","doi":"10.1109/MCETECH.2008.26","DOIUrl":"https://doi.org/10.1109/MCETECH.2008.26","url":null,"abstract":"E-learning systems have made considerable progress within the last few years. Nonetheless, the issue of learner privacy has been practically ignored. Existing E-learning standards offer some provisions for privacy and the security of E-learning systems offers some privacy protection, but remains unsatisfactory on several levels. On the other hand, privacy preserving solutions that are appropriate and used in E-commerce environments are inadequate and unsuitable to the context of E-learning. Indeed, while in most E-commerce applications different transactions between the client and the system are pretty much independent, in E-learning the interactions between the learner and system are intertwined into a developing process that depends heavily on the path the leaner is following. In this paper, we introduce the anonymous credentials for E- learning systems (ACES), a set of protocols to preserve learner's privacy in E-learning environments. In particular, the ACES allows learners to provide anonymous credentials throughout the learning process, such as when they need to prove that they possess the necessary requirements to register for a course, and/or to prove that they are the legitimate owners of an anonymous transcript or an anonymous degree. Although the concept of anonymous credentials is not novel, ACES takes into account the specificities of E-learning. Moreover, in order to prevent the misuse of privacy, ACES prevents the possibility of sharing credentials between learners.","PeriodicalId":299458,"journal":{"name":"2008 International MCETECH Conference on e-Technologies (mcetech 2008)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-01-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128626210","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}
Web services can be described at various levels and using various notations, e.g., operations (WSDL), orchestration (WS-BPEL), multi-partners collaborations (WS-CDL). The first two provide descriptions similar to those found in typical programming languages, namely, syntactical description of service interface and operational description of service behavior. In this paper, we show how Web services descriptions can be extended with simple declarative behavior specification, using a form of regular expressions. We explain the relationships between such specifications and WS-BPEL abstract processes. We also describe how a concrete, thus executable, WS-BPEL process can be shown to satisfy its associated abstract specification, using the SPIN model-checker.
{"title":"Behavioral Interface Conformance Checking for WS-BPEL Processes","authors":"A. Salah, Guy Tremblay, Aida Chami","doi":"10.1109/MCETECH.2008.16","DOIUrl":"https://doi.org/10.1109/MCETECH.2008.16","url":null,"abstract":"Web services can be described at various levels and using various notations, e.g., operations (WSDL), orchestration (WS-BPEL), multi-partners collaborations (WS-CDL). The first two provide descriptions similar to those found in typical programming languages, namely, syntactical description of service interface and operational description of service behavior. In this paper, we show how Web services descriptions can be extended with simple declarative behavior specification, using a form of regular expressions. We explain the relationships between such specifications and WS-BPEL abstract processes. We also describe how a concrete, thus executable, WS-BPEL process can be shown to satisfy its associated abstract specification, using the SPIN model-checker.","PeriodicalId":299458,"journal":{"name":"2008 International MCETECH Conference on e-Technologies (mcetech 2008)","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-01-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121655870","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}
This paper is a discussion at a theoretical level of creating trust in autonomic systems. The paper focuses especially in creating trust in the policies being used. Policies are an integral part of autonomic systems since they allow for adaptability.
{"title":"Trust and Autonomic Systems","authors":"H. Lutfiyya, M. Perry, C. Yew","doi":"10.1109/MCETECH.2008.36","DOIUrl":"https://doi.org/10.1109/MCETECH.2008.36","url":null,"abstract":"This paper is a discussion at a theoretical level of creating trust in autonomic systems. The paper focuses especially in creating trust in the policies being used. Policies are an integral part of autonomic systems since they allow for adaptability.","PeriodicalId":299458,"journal":{"name":"2008 International MCETECH Conference on e-Technologies (mcetech 2008)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-01-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117009754","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}
Service-oriented architecture (SOA) brings new perspectives not only to software architecture but also to enterprise business processes. SOA promotes the use of loosely coupled services to automate business processes. The automation of business processes raises several challenges for enterprises. One of those challenges relates to the maintenance of business processes, more precisely how to facilitate changes within existing business processes, possibly even at run-time. Furthermore, changing a collaborative business process can have an impact on the contract specified between the parties involved. Thus, a business process may need to adapt to meet a new contract. Some approaches propose solutions to support business process adaptability; however, they do not handle adaptability in the context of multi-partner collaborative business processes. In this paper, we propose a new approach to support adaptability for such collaborative processes. This approach uses a protocol, called Change Protocol for Collaboration (CPC), for managing the changes that can have incidence on the contract.
{"title":"Towards Adaptability Support in Collaborative Business Processes","authors":"I. Khriss, E. Levesque, G. Tremblay, A. Jacques","doi":"10.1109/MCETECH.2008.25","DOIUrl":"https://doi.org/10.1109/MCETECH.2008.25","url":null,"abstract":"Service-oriented architecture (SOA) brings new perspectives not only to software architecture but also to enterprise business processes. SOA promotes the use of loosely coupled services to automate business processes. The automation of business processes raises several challenges for enterprises. One of those challenges relates to the maintenance of business processes, more precisely how to facilitate changes within existing business processes, possibly even at run-time. Furthermore, changing a collaborative business process can have an impact on the contract specified between the parties involved. Thus, a business process may need to adapt to meet a new contract. Some approaches propose solutions to support business process adaptability; however, they do not handle adaptability in the context of multi-partner collaborative business processes. In this paper, we propose a new approach to support adaptability for such collaborative processes. This approach uses a protocol, called Change Protocol for Collaboration (CPC), for managing the changes that can have incidence on the contract.","PeriodicalId":299458,"journal":{"name":"2008 International MCETECH Conference on e-Technologies (mcetech 2008)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-01-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124272677","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}
Advances in information technology change the way e-negotiations, which constitute an important aspect of worldwide e-trading, can be structured and represented. In this paper an e-negotiation framework for building complex negotiation systems with emphasis on their automation is presented. A novel approach for dynamically adapted e-negotiations, that exploits ontologies, semantic Web services, software agent platforms, service oriented architecture and knowledge-bases is described. The relationship between negotiation protocol, process and strategy specification is examined and a way of describing and representing them using a hybrid approach that integrates rules and workflow diagrams is introduced.
{"title":"Towards a Knowledge-Base for Building Complex, Proactive and Service-Oriented E-negotiation Systems","authors":"G. Koumoutsos, K. Thramboulidis","doi":"10.1109/MCETECH.2008.27","DOIUrl":"https://doi.org/10.1109/MCETECH.2008.27","url":null,"abstract":"Advances in information technology change the way e-negotiations, which constitute an important aspect of worldwide e-trading, can be structured and represented. In this paper an e-negotiation framework for building complex negotiation systems with emphasis on their automation is presented. A novel approach for dynamically adapted e-negotiations, that exploits ontologies, semantic Web services, software agent platforms, service oriented architecture and knowledge-bases is described. The relationship between negotiation protocol, process and strategy specification is examined and a way of describing and representing them using a hybrid approach that integrates rules and workflow diagrams is introduced.","PeriodicalId":299458,"journal":{"name":"2008 International MCETECH Conference on e-Technologies (mcetech 2008)","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-01-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124955442","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}
Service composition research mostly focuses on the dynamic (workflow) aspects of compositions. In this paper we consider the static component of service composition and focus on analyzing the data flows between services within a composition. We argue that compatibility of service interfaces is a necessary precondition for service composability, and we show that data flow analysis can be applied to the problem of service composition design to identify compatible service interfaces and to minimize data coupling between services.
{"title":"Considerations of Service Assembly Based on the Analysis of Data Flows between Services","authors":"G. Feuerlicht","doi":"10.1109/MCETECH.2008.38","DOIUrl":"https://doi.org/10.1109/MCETECH.2008.38","url":null,"abstract":"Service composition research mostly focuses on the dynamic (workflow) aspects of compositions. In this paper we consider the static component of service composition and focus on analyzing the data flows between services within a composition. We argue that compatibility of service interfaces is a necessary precondition for service composability, and we show that data flow analysis can be applied to the problem of service composition design to identify compatible service interfaces and to minimize data coupling between services.","PeriodicalId":299458,"journal":{"name":"2008 International MCETECH Conference on e-Technologies (mcetech 2008)","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-01-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122300726","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}
As one can expect, members of a common market are likely to work in quite different domains and use different kinds of schemas to describe their own business data. An ideal world would allow such heterogeneous data to be integrated into some (concrete or virtual) business data repository. It seems illusory to think that all members joining a common marketplace can directly provide data adhering to some predefined federative data scheme (e.g. standard ontology). More flexibility is usually required. Realistically, the integration of a new data source requires a mapping step allowing to compute semantic equivalences between the various schema concepts to be merged. This task can be alleviated by the use of semi-automatic mapping tools which evaluate semantic similarities between concepts. Most of these mapping systems currently rely on linguistic matching and are not so efficient when dealing with highly heterogeneous data sources. Some of them refer to general purpose dictionaries not taking into account the specificity of data sources' domain. To better cope with data source heterogeneity, this article presents INDIGO, a system which can compute semantic matching by taking into account data sources' context. The distinctive feature of INDIGO is to enrich data sources with semantic information extracted from their individual development artifacts. Thanks to this enrichment step, INDIGO can then compute a more accurate mapping between the two data sources thus enhanced. INDIGO was experimented on two case studies presented in this paper. INDIGO's performances are also compared to the results of three matching systems often cited in this research domain.
{"title":"Contextualized Linguistic Matching for Heterogeneous Data Source Integration","authors":"Y. B. Idrissi, J. Vachon","doi":"10.1109/MCETECH.2008.33","DOIUrl":"https://doi.org/10.1109/MCETECH.2008.33","url":null,"abstract":"As one can expect, members of a common market are likely to work in quite different domains and use different kinds of schemas to describe their own business data. An ideal world would allow such heterogeneous data to be integrated into some (concrete or virtual) business data repository. It seems illusory to think that all members joining a common marketplace can directly provide data adhering to some predefined federative data scheme (e.g. standard ontology). More flexibility is usually required. Realistically, the integration of a new data source requires a mapping step allowing to compute semantic equivalences between the various schema concepts to be merged. This task can be alleviated by the use of semi-automatic mapping tools which evaluate semantic similarities between concepts. Most of these mapping systems currently rely on linguistic matching and are not so efficient when dealing with highly heterogeneous data sources. Some of them refer to general purpose dictionaries not taking into account the specificity of data sources' domain. To better cope with data source heterogeneity, this article presents INDIGO, a system which can compute semantic matching by taking into account data sources' context. The distinctive feature of INDIGO is to enrich data sources with semantic information extracted from their individual development artifacts. Thanks to this enrichment step, INDIGO can then compute a more accurate mapping between the two data sources thus enhanced. INDIGO was experimented on two case studies presented in this paper. INDIGO's performances are also compared to the results of three matching systems often cited in this research domain.","PeriodicalId":299458,"journal":{"name":"2008 International MCETECH Conference on e-Technologies (mcetech 2008)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-01-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134356379","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}
For social and technical reasons, various information networks have become an important phenomenon, which it is useful to study and formalize. For this purpose we have developed NetSim, a generic software tool for modeling and simulating diverse network structures. We will see how to use this system to simulate and visualize two quite different network types: a preferential attachment model, and a typical social network. We will also present a modeling language we designed to express different network models to be interpreted by the NetSim system. We will show graphical simulation results that demonstrate the operation of the software.
{"title":"NetSim: a Simulation and Visualization Software for Information Network Modeling","authors":"M. Lord, D. Memmi","doi":"10.1109/MCETECH.2008.12","DOIUrl":"https://doi.org/10.1109/MCETECH.2008.12","url":null,"abstract":"For social and technical reasons, various information networks have become an important phenomenon, which it is useful to study and formalize. For this purpose we have developed NetSim, a generic software tool for modeling and simulating diverse network structures. We will see how to use this system to simulate and visualize two quite different network types: a preferential attachment model, and a typical social network. We will also present a modeling language we designed to express different network models to be interpreted by the NetSim system. We will show graphical simulation results that demonstrate the operation of the software.","PeriodicalId":299458,"journal":{"name":"2008 International MCETECH Conference on e-Technologies (mcetech 2008)","volume":"96 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-01-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114885131","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：