TOWARDS VERIFYING SERVICE INTEROPERABILITY REQUIREMENTS FOR PERVASIVE COMPUTING ENVIRONMENTS

Yasir Malik, Bessam Abdulrazak

2012

Abstract

Service interoperability verification is key to enable service continuity among pervasive computing environments. Pervasive computing is shifting the computing paradigm toward everywhere computing where number of heterogeneous and autonomous systems offer rich sets of services to assist inhabitants in their daily living. To support continuity of services these systems must provide seamless and flawless interoperability among devices and services. In this paper, We present our ongoing project on verifying the service interoperability in pervasive computing environments. We highlight the potential use of formal methods to verify the interoperability requirements and propose using design by contract technique to model and verify the semantic and pragmatic service interoperability requirements. We also present our verification requirement analysis and the benefits of using this technique with rich support from languages for implementation.

References

  1. Baldoni, M., Baroglio, C., Martelli, A., and Patti, V. (2006). A priori conformance verification for guaranteeing interoperability in open environments. In In Proc. of ICSOC 2006, volume 4294 of LNCS, pages 339-351. Springer.
  2. Baldoni, M., Baroglio, C., Martelli, A., and Patti, V. (2006). A priori conformance verification for guaranteeing interoperability in open environments. In In Proc. of ICSOC 2006, volume 4294 of LNCS, pages 339-351. Springer.
  3. Bottaro, A., Gerodolle, A., and Lalanda, P. (2007). Pervasive service composition in the home network. In Proceedings of the 21st International Conference on Advanced Networking and Applications, AINA 7807, pages 596-603, Washington, DC, USA. IEEE Computer Society.
  4. Bottaro, A., Gerodolle, A., and Lalanda, P. (2007). Pervasive service composition in the home network. In Proceedings of the 21st International Conference on Advanced Networking and Applications, AINA 7807, pages 596-603, Washington, DC, USA. IEEE Computer Society.
  5. Bromberg, Y.-D. and Issarny, V. (2005). Indiss: interoperable discovery system for networked services. In Proceedings of the ACM/IFIP/USENIX 2005 International Conference on Middleware, Middleware 7805, pages 164-183, New York, NY, USA. Springer-Verlag New York, Inc.
  6. Bromberg, Y.-D. and Issarny, V. (2005). Indiss: interoperable discovery system for networked services. In Proceedings of the ACM/IFIP/USENIX 2005 International Conference on Middleware, Middleware 7805, pages 164-183, New York, NY, USA. Springer-Verlag New York, Inc.
  7. Chen, J. and Huang, L. (2009). Formal verification of service composition in pervasive computing environments. In Proceedings of the First Asia-Pacific Symposium on Internetware, Internetware 7809, pages 19:1-19:5, New York, NY, USA. ACM.
  8. Chen, J. and Huang, L. (2009). Formal verification of service composition in pervasive computing environments. In Proceedings of the First Asia-Pacific Symposium on Internetware, Internetware 7809, pages 19:1-19:5, New York, NY, USA. ACM.
  9. Maestre, J. M. and Camacho, E. F. (2009). Smart home interoperability: the domoesi project approach. International Journal of Smart Home, 3:31-44.
  10. Maestre, J. M. and Camacho, E. F. (2009). Smart home interoperability: the domoesi project approach. International Journal of Smart Home, 3:31-44.
  11. Meyer, B. (1992). Applying ”design by contract”. Computer, 25:40-51.
  12. Meyer, B. (1992). Applying ”design by contract”. Computer, 25:40-51.
  13. O'Sullivan, D. and Lewis, D. (2003). Semantically driven service interoperability for pervasive computing. In Proceedings of the 3rd ACM international workshop on Data engineering for wireless and mobile access, MobiDe 7803, pages 17-24, New York, NY, USA. ACM.
  14. O'Sullivan, D. and Lewis, D. (2003). Semantically driven service interoperability for pervasive computing. In Proceedings of the 3rd ACM international workshop on Data engineering for wireless and mobile access, MobiDe 7803, pages 17-24, New York, NY, USA. ACM.
  15. Perumal, T., Ramli, A. R., Leong, C. Y., Mansor, S., and Samsudin, K. (2008a). Interoperability among heterogeneous systems in smart home environment. In Proceedings of the 2008 IEEE International Conference on Signal Image Technology and Internet Based Systems, SITIS 7808, pages 177-186, Washington, DC, USA. IEEE Computer Society.
  16. Perumal, T., Ramli, A. R., Leong, C. Y., Mansor, S., and Samsudin, K. (2008a). Interoperability among heterogeneous systems in smart home environment. In Proceedings of the 2008 IEEE International Conference on Signal Image Technology and Internet Based Systems, SITIS 7808, pages 177-186, Washington, DC, USA. IEEE Computer Society.
  17. Perumal, T., Ramli, A. R., Leong, C. Y., Mansor, S., and Samsudin, K. (2008b). Interoperability for smart home environment using web services. International Journal of Smart Home, 2:1-16.
  18. Perumal, T., Ramli, A. R., Leong, C. Y., Mansor, S., and Samsudin, K. (2008b). Interoperability for smart home environment using web services. International Journal of Smart Home, 2:1-16.
  19. Pokraev, S., Quartel, D. A. C., Steen, M. W. A., and Reichert, M. (2006a). A method for formal verification of service interoperability. In Proceedings of 2006 IEEE International Conference on Web Services 18- 22 September 2006, Chicago, Illinois, USA, pages 895-900. IEEE Computer Society.
  20. Pokraev, S., Quartel, D. A. C., Steen, M. W. A., and Reichert, M. (2006a). A method for formal verification of service interoperability. In Proceedings of 2006 IEEE International Conference on Web Services 18- 22 September 2006, Chicago, Illinois, USA, pages 895-900. IEEE Computer Society.
  21. Pokraev, S., Quartel, D. A. C., Steen, M. W. A., and Reichert, M. (2006b). Requirements and method for assessment of service interoperability. In Proceedings of the 2006 4th International Conference on Service Oriented Computing, ICSOC 7806, December 4-7, 2006, Chicago, USA, volume 4294 of Lecture Notes in Computer Science, pages 1-14. Springer.
  22. Pokraev, S., Quartel, D. A. C., Steen, M. W. A., and Reichert, M. (2006b). Requirements and method for assessment of service interoperability. In Proceedings of the 2006 4th International Conference on Service Oriented Computing, ICSOC 7806, December 4-7, 2006, Chicago, USA, volume 4294 of Lecture Notes in Computer Science, pages 1-14. Springer.
  23. Roussaki, I., Papaioannou, I., Tsesmetzis, D., Kantorovitch, J., Kalaoja, J., and Poortinga, R. (2008). Ontology based service modelling for composability in smart home environments. In Mhlhuser, M., Ferscha, A., and Aitenbichler, E., editors, Constructing Ambient Intelligence, volume 11 of Communications in Computer and Information Science, pages 411-420. Springer Berlin Heidelberg.
  24. Roussaki, I., Papaioannou, I., Tsesmetzis, D., Kantorovitch, J., Kalaoja, J., and Poortinga, R. (2008). Ontology based service modelling for composability in smart home environments. In Mhlhuser, M., Ferscha, A., and Aitenbichler, E., editors, Constructing Ambient Intelligence, volume 11 of Communications in Computer and Information Science, pages 411-420. Springer Berlin Heidelberg.
  25. Wan, H., Drey, Z., You, Z., and Liu, L. (2010). Formal Modeling and Verification of Services Managements for Pervasive Computing Environment. In Proceedings of The 7th International Conference on Service Systems and Service Management, Tokyo Japan.
  26. Wan, H., Drey, Z., You, Z., and Liu, L. (2010). Formal Modeling and Verification of Services Managements for Pervasive Computing Environment. In Proceedings of The 7th International Conference on Service Systems and Service Management, Tokyo Japan.
  27. Weiser, M. (1999). The computer for the 21st century. SIGMOBILE Mob. Comput. Commun. Rev., 3(3):3-11.
  28. Weiser, M. (1999). The computer for the 21st century. SIGMOBILE Mob. Comput. Commun. Rev., 3(3):3-11.
Download


Paper Citation


in Harvard Style

Malik Y. and Abdulrazak B. (2012). TOWARDS VERIFYING SERVICE INTEROPERABILITY REQUIREMENTS FOR PERVASIVE COMPUTING ENVIRONMENTS . In Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems - Volume 1: PECCS, ISBN 978-989-8565-00-6, pages 220-223. DOI: 10.5220/0003907202200223


in Harvard Style

Malik Y. and Abdulrazak B. (2012). TOWARDS VERIFYING SERVICE INTEROPERABILITY REQUIREMENTS FOR PERVASIVE COMPUTING ENVIRONMENTS . In Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems - Volume 1: PECCS, ISBN 978-989-8565-00-6, pages 220-223. DOI: 10.5220/0003907202200223


in Bibtex Style

@conference{peccs12,
author={Yasir Malik and Bessam Abdulrazak},
title={TOWARDS VERIFYING SERVICE INTEROPERABILITY REQUIREMENTS FOR PERVASIVE COMPUTING ENVIRONMENTS},
booktitle={Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems - Volume 1: PECCS,},
year={2012},
pages={220-223},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003907202200223},
isbn={978-989-8565-00-6},
}


in Bibtex Style

@conference{peccs12,
author={Yasir Malik and Bessam Abdulrazak},
title={TOWARDS VERIFYING SERVICE INTEROPERABILITY REQUIREMENTS FOR PERVASIVE COMPUTING ENVIRONMENTS},
booktitle={Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems - Volume 1: PECCS,},
year={2012},
pages={220-223},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003907202200223},
isbn={978-989-8565-00-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems - Volume 1: PECCS,
TI - TOWARDS VERIFYING SERVICE INTEROPERABILITY REQUIREMENTS FOR PERVASIVE COMPUTING ENVIRONMENTS
SN - 978-989-8565-00-6
AU - Malik Y.
AU - Abdulrazak B.
PY - 2012
SP - 220
EP - 223
DO - 10.5220/0003907202200223


in EndNote Style

TY - CONF
JO - Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems - Volume 1: PECCS,
TI - TOWARDS VERIFYING SERVICE INTEROPERABILITY REQUIREMENTS FOR PERVASIVE COMPUTING ENVIRONMENTS
SN - 978-989-8565-00-6
AU - Malik Y.
AU - Abdulrazak B.
PY - 2012
SP - 220
EP - 223
DO - 10.5220/0003907202200223