Remember Me
Or use your Academic/Social account:


Or use your Academic/Social account:


You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.


Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message


Verify Password:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Calder, M.; Gray, P.; Miller, A.; Unsworth, C. (2012)
Publisher: Springer
Languages: English
Types: Article
Subjects: QA76
Pervasive systems are often context-dependent, component based systems in which components expose interfaces and offer one or more services. These systems may evolve in unpredictable ways, often through component replacement. We present pervasive interface automata as a formalism for modelling components and their composition. Pervasive interface automata are based on the interface automata of Henzinger et al, with several significant differences. We expand their notion of input and output actions to combinations of input, output actions, and callable methods and method calls. Whereas interfaces automata have a refinement relation, we argue the crucial relation in pervasive systems is component replacement, which must include consideration of the services offered by a component and assumptions about the environment. We illustrate pervasive interface autmotata and component replacement with a small case study of a pervasive application for sports predictions.
  • The results below are discovered through our pilot algorithms. Let us know how we are doing!

    • 1. Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services: Concepts, Architectures and Applications. Data-centric systems and applications, Springer-Verlag (2004)
    • 2. Bell, M., Hall, M., Chalmers, M., Gray, P., B., B.: Domino: Exploring mobile collaborative software adaptaion. In: Fishkin, K., Scheile, B., Nixon, P., Quigley, A. (eds.) Proceedings of the 4th international conference on Pervasive Computing (PERVASIVE 2006). Lecture Notes in Computer Science, vol. 3968, pp. 153-168. Springer-Verlag, Dublin, Ireland (May 2006)
    • 3. de Alfaro, L., Henzinger, T.: Interface automata. SIGSOFT Software Engineering Notes 26(5), 109-120 (2001)
    • 4. de Alfaro, L., Henzinger, T.: Interface theories for component-based design. In: Henzinger, T., Kirsch, C. (eds.) Proceedings of the 1st International Workshop on Embedded Software (EMSOFT). Lecture Notes in Computer Science, vol. 2211, pp. 148-165. Springer-Verlag, Tahoe City, CA, USA (October 2001)
    • 5. de Alfaro, L., Henzinger, T.: Interface-based design. Engineering Theories of Software-intensive Systems 195, 83-104 (2005)
    • 6. de Nicola, R., Vaandrager, F.: Action versus state based logics for transition systems. In: Guessarian, I. (ed.) Semantics of Systems of Concurrent Processes. Lecture Notes in Computer Science, vol. 469, pp. 407-419. Springer-Verlag, La Roche Posay, France (April 1990)
    • 7. Google: App inventor for android. http://appinventor.googlelabs.com (July 2010)
    • 8. Honda, K.: Types for dyadic interaction. In: Best, E. (ed.) Proceedings of the 4th International Conference on Concurrency Theory (CONCUR '93). Lecture Notes in Computer Science, vol. 715, pp. 509-523. Springer-Verlag, Hildesheim, Germany (August 1993)
    • 9. Honda, K., Vasconcelos, V., Kubo, M.: Language primitives and type discipline for structured communication-based programming. In: Proceedings of the European Symposium on Programming (ESOP'98). Lecture Notes in Computer Science, vol. 1381, pp. 123-138. Springer-Verlag, Lisbon, Portugal (March-April 1998)
    • 10. Milner, R.: A Calculus of Communicating Systems, Lecture Notes in Computer Science, vol. 92. Springer-Verlag (1980)
    • 11. Cˇerna´, I., Vaˇrekova´, P., Zimmerova, B.: Component substitutability via equivalencies of component-interaction automata. Electronic Notes in Theoretical Computer Science (ENTCS) 182, 39-55 (2007)
  • No related research data.
  • No similar publications.

Share - Bookmark

Download from

Cite this article