Towards Application Suitability for PvC Environments

Andres Flores, Macario Polo

2005

Abstract

Pervasive Computing Environments should support the feeling of continuity on user’s daily tasks. This concept relies on the availability of different resources (in this work that will mean availability of applications). We propose a framework for a component-based integration process, centred on the concept of composing/adapting applications at run-time. Central to the problem is the task of component assessment, at syntactic and semantic levels. Our aim is to apply metadata-based techniques and a process-oriented simulation which resorts to well establlished verification tools.

References

  1. Cechich, A., Piattini, M., Vallecillo, A.: Component-based Software Quality: Methods and Techniques. Volume 2693 of LNCS. Springer-Verlag (2003)
  2. Weyuker, E.J.: Testing component-based software: A cautionary tale. IEEE Software (1998) 54-59
  3. Harrold, M., Liang, D., Sinha, S.: An Approach to Analyzing and Testing Component-based Systems. In: ICSE'99, 1stWrkshp on Testing Distr. CBS, Los Angeles, CA., US (1999)
  4. Garlan, D., Schmerl, B.: Component-based Software Engineering in Pervasive Computing Environments. In: Workshop on Component-Based Software Engineering: Component Certification and System Prediction (held during 4thICSE'01), Toronto, Canada (2001)
  5. Wang, Z. and Garlan, D.: Task-Driven Computing. Technical Report CMU-CS-00- 154, Carnegie Mellon University, School of Computer Science (2000) http://reportsarchive.adm.cs.cmu.edu/anon/2000/abstracts/00-154.html.
  6. Garlan, D.e.: Software Architecture-based Adaptation for Pervasive Systems. In: ARCS'02. Volume 2299 of LNCS., Karlsruhe, Germany (2002) 67-82
  7. Flores, A., Augusto, J.C., Polo, M., Varea, M.: Towards Context-aware Testing for Semantic Interoperability on PvC Environments. In: IEEE 17th SMC'04, special session: CRIPUC, The Hague, Netherlands (2004) 1136-1141
  8. Euzenat, J.: Towards a principled approach to Semantic Interoperability. In: Wrkshp on Ontologies and Inf. Sharing, (IJCAI'01), Seattle, US (2001) 19-25
  9. Koné, O.: An Interoperability Testing Approach to Wireless Application Protocols. JUCS, Journal of Universal Computer Science 9 (2003) 1220-1243
  10. Pahl, C.: An Ontology for Software Component Matching. In: FASE'03. LNCS 2621, pp. 6-21, Berlin, Germany, Springer-Verlag (2003)
  11. Flores, A., Polo, M.: Dynamic Assembly & Integration on Component-based Systems. In: 4th JIISIC, Madrid, Espan˜a (2004) 349-360
  12. Cechich, A., Polo, M.: COTS Component Testing through Aspect-based Metadata. In: Building Quality into Components - Testing and Debugging. Springer-Verlag (2005)
  13. Orso, A., Harrold, M., Rosenblum, D.: Component Metadata for Software Engineering Tasks. In: 2nd EDO'00, Springer-Verlag LNCS 1999, pp.129-144, Davis, CA, USA (2000)
  14. Kirani, S.: Specification and Verification of Object-Oriented Programs. PhD thesis, Computer Science, University of Minnesota, Minneapolis, USA (1994)
  15. Brada, P.: Towards Automated Component Compatibility Assessment. In: 6th Wrkshp on Comp-oriented Prog, at ECOOP'01, Budapest, Hungary (2001)
  16. Baxter, I., Yahin, A., Moura, L., Sant'Anna, M., Bier, L.: Clone Detection Using Abstract Syntax Trees. In: ICSM'98, pp. 368-377, Maryland, USA (1998)
  17. Chen, H., Finin, T., Joshi, A.: Semantic Web in the Context Broker Architecture. In: 2nd IEEE PerCom'04, Orlando, US (2004) 277
  18. Ranganathan, A., Campbell, R.: An infrastructure for context-awareness based on first order logic. Personal and Ubiquitous Computing 7 (2003) 353-364
  19. et.al., B.B.: Systems and Software Verification (Model Checking Techniques and Tools). Springer-Verlag (1999)
Download


Paper Citation


in Harvard Style

Flores A. and Polo M. (2005). Towards Application Suitability for PvC Environments . In Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2005) ISBN 972-8865-22-8, pages 58-62. DOI: 10.5220/0002577400580062


in Bibtex Style

@conference{msvveis05,
author={Andres Flores and Macario Polo},
title={Towards Application Suitability for PvC Environments},
booktitle={Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2005)},
year={2005},
pages={58-62},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002577400580062},
isbn={972-8865-22-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2005)
TI - Towards Application Suitability for PvC Environments
SN - 972-8865-22-8
AU - Flores A.
AU - Polo M.
PY - 2005
SP - 58
EP - 62
DO - 10.5220/0002577400580062