Mobile and Ubiquitous Systems: Computing, Networking, and Services. 7th International ICST Conference, MobiQuitous 2010, Sydeny, Australia, December 6-9, 2010, Revised Selected Papers

Research Article

TERMOS: A Formal Language for Scenarios in Mobile Computing Systems

Download64 downloads
  • @INPROCEEDINGS{10.1007/978-3-642-29154-8_24,
        author={H\^{e}l\'{e}ne Waeselynck and Zolt\^{a}n Micskei and Nicolas Rivi\'{e}re and \^{A}ron Hamvas and Irina Nitu},
        title={TERMOS: A Formal Language for Scenarios in Mobile Computing Systems},
        proceedings={Mobile and Ubiquitous Systems: Computing, Networking, and Services. 7th International ICST Conference, MobiQuitous 2010, Sydeny, Australia, December 6-9, 2010, Revised Selected Papers},
        proceedings_a={MOBIQUITOUS},
        year={2012},
        month={10},
        keywords={Mobile computing systems UML Sequence Diagrams formal semantics testing},
        doi={10.1007/978-3-642-29154-8_24}
    }
    
  • Hélène Waeselynck
    Zoltán Micskei
    Nicolas Rivière
    Áron Hamvas
    Irina Nitu
    Year: 2012
    TERMOS: A Formal Language for Scenarios in Mobile Computing Systems
    MOBIQUITOUS
    Springer
    DOI: 10.1007/978-3-642-29154-8_24
Hélène Waeselynck,*, Zoltán Micskei1,*, Nicolas Rivière,*, Áron Hamvas1, Irina Nitu
  • 1: Budapest University of Technology and Economics
*Contact email: waeselyn@laas.fr, micskeiz@mit.bme.hu, nriviere@laas.fr

Abstract

This paper presents TERMOS, a UML-based formal language for specifying scenarios in mobile computing systems. TERMOS scenarios are used for the verification of test traces. They capture key properties to be checked on the traces, considering both the spatial configuration of nodes and their communication. We give an overview of the TERMOS design and semantics. As part of the semantics, we present the principle of an algorithm that computes the orders of events from a scenario. Two proof-of-concept prototypes have been developed to study the realization of the algorithm.