Partial constraint checking for context consistency in pervasive computing

ACM Transactions on Software Engineering and Methodology

Volumn 19, Issue 3, 2010, Pages

  Xu, Chang ^a   Cheung, S C ^a   Chan, W K ^b   Ye, Chunyang ^a  

^a HONG KONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Hong Kong)

^b CITY UNIVERSITY OF HONG KONG   (Hong Kong)

Author keywords

Constraints; Performance; Pervasive computing; Validation

Indexed keywords

CONSISTENCY CONSTRAINTS; CONVENTIONAL APPROACH; ENVIRONMENTAL NOISE; INCONSISTENCY DETECTION; PARTIAL CONSTRAINTS; PERFORMANCE IMPROVEMENTS; PERVASIVE COMPUTING; PERVASIVE COMPUTING ENVIRONMENT; RIGOROUS APPROACH; SIMULATION EXPERIMENTS; SUBEXPRESSION; USE CONTEXT;

GENE EXPRESSION; MIDDLEWARE;

COMPUTER SOFTWARE REUSABILITY;

EID: 76149141809     PISSN: 1049331X     EISSN: 15577392     Source Type: Journal    
DOI: 10.1145/1656250.1656253     Document Type: Article

References (67)

1. ADI, A. AND ETZION, O. 2004. Amit: The situation manager. VLDB J. 13, 2, 177-203.
2. AGRAWAL, J., DIAL, Y., GYLLSTROM, D., AND IMMERMAN, N. 2008. Efficient pattern matching over event streams. In Proceedings of the Joint ACM SIGMOD/PODS Conference. 147-160
3. ARGOUML. 2009. http://argouml.tigris.org/.
4. BU, Y., GU, T., TAO, X., LI, J., CHEN, S., AND LV, J. 2006. Managing quality of context in pervasive computing. In Proceedings of the 6th International Conference on Quality Software. 193-200.
5. BU, Y., LI, J., CHEN, S., TAO, X., AND LV, J. 2005. An enhanced ontology based context model and fusion mechanism. In Proceedings of the IFIP International Conference on Embedded and Ubiquitous Computing. 920-929.
6. BUNNINGEN, A. H. V., FENG, L., AND APERS, P. M. 2005. Context for ubiquitous data management. In Proceedings of the International Workshop on Ubiquitous Data Management. 17-24.
7. CAPRA, L., EMMERICH, W., AND MASCOLO, C. 2003. CARISMA: Context-aware reflective middleware system for mobile applications. IEEE Trans. Softw. Eng. 29, 10, 929-945.
8. CHAN, W. K., CHEN, T. Y., LU, H., TSE, T. H., AND YAU S. S. 2006. Integration testing of context-sensitive middleware-based applications: A metamorphic approach. Int. J. Softw. Eng. Knowl. Eng. 16, 5, 677-703.
9. CHEN, G. AND KOTZ, D. 2000. A Survey on context-aware mobile computing research. Tech. rep. TR2000-381. Department of Computer Science, Dartmouth College, Hanover, NH.
10. CHEN, T. Y., POON, P. L., AND TSE, T. H. 2003. A choice relation framework for supporting category-partition test case generation. IEEE Trans. Softw. Eng. 29, 7, 577-593.
11. CHOMICKI, J., LOBO, J., AND NAQVI, S. 2003. Conflict resolution using logic programming. IEEE Trans. Knowl. Data Eng. 15, 1, 244-249.
12. COCCI, R., TRAN, T., DIAO, Y., AND SHENOY, P. 2008. Efficient data interpretation and compression over RFID streams. In Proceedings of the 24th International Conference on Data Engineering. 1445-1447.
13. DEMSKY, B. AND RINARD, M. C. 2006. Goal-directed reasoning for specification-based data structure repair. IEEE Trans. Softw. Eng. 32, 12, 931-951.
14. DEY, A. K., ABOWD, G. D., AND SALBER, D. 1999. A context-based infrastructure for smart environments. In Proceedings of the 1st International Workshop on Managing Interactions in Smart Environments. 114-128.
15. EASTERBROOK, S. AND CHECHIK,M. 2001. Aframework for multi-valued reasoning over inconsistent viewpoints. In Proceedings of the 23rd International Conference on Software Engineering. 411-420.
16. EGYED, A. 2006. Instant consistency checking for the UML. In Proceedings of the 28th International Conference on Software Engineering. 381-390.
17. EGYED, A. 2007. Fixing inconsistencies in UML design models. In Proceedings of the 29th International Conference on Software Engineering. 292-301
18. EPC. 2009. Low Level Reader Protocol(LLRP). http://www.epcglobalinc.org/ standards/llrp.
19. FELTY, A. P. AND NAMJOSHI, K. S. 2003. Feature specification and automated conflict detection. ACM Trans. Softw. Eng. Methodol. 12), 1, 3-27.
20. GARFINKEL, S. AND ROSENBERG, B. 2005. RFID: Applications, Security, and Privacy. Addison-Wesley, Reading, MA.
21. GEHRKE, J. AND MADDEN, S. 2004. Query processing in sensor networks. IEEE Pervas. Comput. 3, 1, 46-55.
22. GERVASI, V. AND ZOWGHI, D. 2005. Reasoning about inconsistencies in natural language requirements. ACM Trans. Softw. Eng. Methodol. 14, 3, 277-330.
23. GRISWOLD, W. G. BOYER, R., BROWN, S. W., AND TAN, M. T. 2003. A component architecture for an extensible, highly integrated context-aware computing infrastructure. In Proceedings of the 25th International Conference on Software Engineering. 363-372.
24. HARROP, P. AND HOLLAND, G. 2005. RFID for postal and courier services. http://www.idtechex.com/pdfs/en/R264Q5829.pdf.
25. HAUSWIRTH, M. AND JAZAYERI, M. 1999. A component and communication model for push systems. In Proceedings of the Joint European Software Engineering Conference and the ACM Symposium on the Foundations of Software Engineering. 20-38.
26. HENRICKSEN, K. AND INDULSKA, J. 2004a. A software engineering framework for context-aware pervasive computing. In Proceedings of the 2nd IEEE Conference on Pervasive Computing and Communications. 77-86.
27. HENRICKSEN, K. AND INDULSKA, J. 2004b. Modelling and using imperfect context information. In Proceedings of the 2nd IEEE Conference on Pervasive Computing and Communications Workshops. 33-37.
28. HINZE, A. 2003. Efficient filtering of composite events. In Proceedings of the 20th British National Conference on Databases. 207-225.
29. INSUK, P., LEE, D., AND HYUN, S.J. 2005. Adynamic context-conflict management scheme for group-aware ubiquitous computing environments. In Proceedings of the 29th Annual International Computer Software and Applications Conference. 359-364.
30. JAZAYERI, M. AND OBERLEITNER, J. 2005. Predicting incompatibility of transformations in model-driven development. Electron. Notes Theoret. Comput. Sci. 127, 3, 129-137.
31. JEFFERY, S. R., GAROFALAKIS, M., AND FRANKIN, M. J. 2006. Adaptive cleaning for RFID data streams. In Proceedings of the 32nd International Conference on Very Large Data Bases. 163-174.
32. JULIEN, C. AND ROMAN, G. C. 2002. Egocentric context-aware programming in ad hoc mobile environments. In Proceedings of the 10th ACM SIGSOFT Symposium on the Foundations of Software Engineering. 21-30.
33. JULIEN, C. AND ROMAN, G. C. 2006. EgoSpaces: Facilitating rapid development of context-aware mobile applications. IEEE Trans. Softw. Eng. 32, 5, 281-298.
34. LAMSWEERDE, A. V., DARIMONT, R., AND LETIER, E. 1998. Managing conflicts in goal-driven requirements engineering. IEEE Trans. Softw. Eng. 24, 11, 908-926.
35. LU, H., CHAN, W. K., AND TSE, T. H. 2006. Testing context-aware middleware-centric programs: A dataflowapproach andaRFID-based experimentation. InProceedings ofthe 14thACM SIGSOFT Symposium on the Foundations of Software Engineering. 242-252.
36. LU, H., CHAN, W. K., AND TSE, T. H. 2008. Testing pervasive software in the presence of context inconsistency resolution services. In Proceedings of the 30th International Conference on Software Engineering. 61-70.
37. MOK, A. K., KONANA, P., LIU, G., LEE, C. G., AND WOO, H. 2004. Specifying timing constraints and composite events: An application in the design of electronic brokerages. IEEE Trans. Softw. Eng. 30, 12, 841-858.
38. MURPHY, A. L., PICCO, G. P., AND ROMAN, G. C. 2006. LIME: A coordination model and middleware supporting mobility of hosts and agents. ACM Trans. Softw. Eng. Methodol. 15, 3, 279-328.
39. NENTWICH, C., CAPRA, L., EMMERRICH, W., AND FINKELSTEIN, A. 2002. Xlinkit: A consistency checking and smart link generation service. ACM Trans. Internet Tech. 2, 2, 151-185.
40. NENTWICH, C., EMMERICH, W., AND FINKELSTEIN, A. 2003a. Consistency management with repair actions. In Proceedings of the 25th International Conference on Software Engineering. 455-464.
41. NENTWICH, C., EMMERICH, W., FINKELSTEIN, A., AND ELLMER, E. 2003b. Flexible consistency checking. ACM Trans. Softw. Eng. Methodol. 12, 1, 28-63.
42. PAY T O N, J., JULIEN, C., AND ROMAN, G. C. 2007. Automatic consistency assessment for query results in dynamic environments. In Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. 245-254.
43. RANGANATHAN, A., AL-MUHTADI, J., AND CAMBELL, R. H. 2004. Reasoning about uncertain contexts in pervasive computing environments. IEEE Pervas. Comput. 3, 2, 62-70.
44. RANGANATHAN, A. AND CAMPBELL, R. H. 2003. An infrastructure for context-awareness based on first order logic. Person. Ubiq. Comput. 7, 353-364.
45. RANGANATHAN, A., CAMPBELL, R. H., RAV I, A., AND MAHAJAN, A. 2002. ConChat: A context-aware chat program. IEEE Pervas. Comput. 1, 3, 51-57.
46. RAO, J., DORAISWAMY, S., THAKKAR, H., AND COLBY, L. S. 2006. A deferred cleansing method for RFID data analytics. In Proceedings of the 32nd International Conference on Very Large Data Bases. 175-186.
47. RAUSCHMAYER, A., KNAPP, A., AND WIRSING, M. 2004. Consistency checking in an infrastructure for large-scale generative programming. In Proceedings of the 19th International Conference on Automated Software Engineering. 238-247.
48. REISS, S. P. 2006. Incremental maintenance of software artifacts. IEEE Trans. Softw. Eng. 32, 9, 682-697.
49. ROMAN, M., HESS, C., CEROQUEIRA, R., RANGANATHAN, A., CAMPBELL, R. H., AND NAHRSTEDT, K. 2002. A middleware infrastructure for active spaces. IEEE Pervas. Comput. 1, 4, 74-83.
50. SALBER, D., DEY, A. K., AND ABOWD, G. D. 1999. The context toolkit: Aiding the development of context-enabled applications. In Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. 434-441.
51. SATOH, I. 2003. A Testing framework for mobile computing software. IEEE Trans. Softw. Eng. 29, 12, 1112-1121.
52. SCOTNEY, B. AND MCCLEAN, S. 2003. Database aggregation of imprecise and uncertain evidence. Inform. Sci. 155, 3-4, 245-263.
53. SU, Z., AIKEN, A., NIEHREN, J., AND PRIESNITZ, T. 2002. The first-order theory of subtyping constraints. In Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 203-216.
54. TARR, P. AND CLARKE, L. A. 1998. Consistency management for complex applications. In Proceedings of the 20th International Conference on Software Engineering. 230-239.
55. TSE, T. H., YAU, S., CHAN, W. K., LU, H., AND CHEN, T. Y. 2004. Testing context-sensitive middleware-based software applications. In Proceedings of the 28th Annual International Computer Software and Applications Conference. 458-465.
56. WANG, Z., ELBAUM, S., AND ROSENBLUM, D. S. 2007. Automated generation of context-aware tests. In Proceedings of the 29th International Conference on Software Engineering. 406-415.
57. WANT, R., HOPPER, A., FALCAO, V., AND GIBBONS, J. 1992. The Active Badge location system. ACM Trans. Inform. Syst. 10, 1, 91-102.
58. XU, C. AND CHEUNG, S.C. 2005. Inconsistency detection and resolution for context-aware middleware support. In Proceedings of the Joint 10th European Software Engineering Conference and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering. 336-345.
59. XU, C., CHEUNG, S. C., AND CHAN, W. K. 2006. Incremental consistency checking for pervasive context. In Proceedings of the 28th International Conference on Software Engineering. 292-301.
60. XU, C., CHEUNG, S. C., AND CHAN, W. K. 2007a. Goal-directed context validation for adaptive ubiquitous systems. In Proceedings of the International Workshop on Software Engineering for Adaptive and Self-Managing Systems. Article 17, 1-10.
61. XU, C., CHEUNG, S. C., CHAN, W. K., AND YE, C. 2007b. Consistency constraints for context-aware applications. Tech rep. HKUST-CS07-08, Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong, China.
62. XU, C., CHEUNG, S. C., CHAN, W. K., AND YE, C. 2007c. On impact-oriented automatic resolution of pervasive context inconsistency. In Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. 569-572.
63. XU, C., CHEUNG, S. C., CHAN, W. K., AND YE, C. 2008. Heuristics-based strategies for resolving context inconsistencies in pervasive computing applications. In Proceedings of the 28th International Conference on Distributed Computing Systems. 713-721.
64. XU, C., CHEUNG, S. C., LO, C., LEUNG, K. C., AND WEI, J. 2004. Cabot: On the ontology for the middleware supportofcontext-aware pervasive applications. In Proceedings of the IFIP Workshop on Building Intelligent Sensor Networks. 568-575.
65. YAU, S. S. AND KARIM, F. 2004. An adaptive middleware for context-sensitive communications for real-time applications in ubiquitous computing environments. Real-Time Syst. 26, 1, 29-61.
66. YAU, S. S., KARIM, F., WANG, Y., WANG, B., AND GUPTA, S. 2002. Reconfigurable context-sensitive middleware for pervasive computing. IEEE Pervas. Comput. 1, 3, 33-40.
67. ZACHARIADIS, S., MASCOLO, C., AND EMMERICH, W. 2006. The SATIN component system-a meta-model for engineering adaptable mobile systems. IEEE Trans. Softw. Eng. 32, 11, 910-927.