TERMOS: A Formal Language for Scenarios in Mobile Computing Systems

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.

[1]  MicskeiZoltán,et al.  The many meanings of UML 2 Sequence Diagrams , 2011 .

[2]  Nora Koch,et al.  UML for Global Computing , 2003, Global Computing.

[3]  Mario Kusek,et al.  Extending UML Sequence Diagrams to Model Agent Mobility , 2006, AOSE.

[4]  Franco Zambonelli,et al.  Agent-Oriented Software Engineering VII, 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers , 2007, AOSE.

[5]  Jochen Klose.  Live sequence charts: a graphical formalism for the specification of communication behavior , 2003 .

[6]  Rance Cleaveland,et al.  Triggered message sequence charts , 2002, SIGSOFT '02/FSE-10.

[7]  Nicolas Rivière,et al.  Mobile Systems from a Validation Perspective: a Case Study , 2007, Sixth International Symposium on Parallel and Distributed Computing (ISPDC'07).

[8]  Nicolas Rivière,et al.  GraphSeq: A Graph Matching Tool for the Extraction of Mobility Patterns , 2010, 2010 Third International Conference on Software Testing, Verification and Validation.

[9]  David Harel,et al.  LSCs: Breathing Life into Message Sequence Charts , 1999, Formal Methods Syst. Des..

[10]  Christine Julien,et al.  Relying on safe distance to achieve strong partitionable group membership in ad hoc networks , 2004, IEEE Transactions on Mobile Computing.

[11]  Sjouke Mauw,et al.  Message Sequence Chart (MSC) , 1996 .

[12]  Zoltán Micskei,et al.  The many meanings of UML 2 Sequence Diagrams: a survey , 2011, Software & Systems Modeling.

[13]  Vincenzo Grassi,et al.  A UML Profile to Model Mobile Systems , 2004, UML.

[14]  David Harel,et al.  Assert and negate revisited: modal semantics for UML sequence diagrams , 2006, SCESM.

[15]  Nicolas Rivière,et al.  Testing mobile computing applications: toward a scenario language and tools , 2008, WODA.

[16]  Juliana Küster-Filipe,et al.  Modelling concurrent interactions , 2006 .