TERMOS: A Formal Language for Scenarios in Mobile Computing Systems
| Cím | TERMOS: A Formal Language for Scenarios in Mobile Computing Systems |
| Közlemény típusa | Book Chapter |
| Kiadás éve | 2012 |
| Szerzők | Waeselynck, H., Micskei, Z., Rivière, N., Hamvas, Á., and Nitu, I. |
| Szerkesztő | Sénac, P., Ott, M., and Seneviratne, A. |
| Könyvcím | Mobile and Ubiquitous Systems: Computing, Networking, and Services |
| Sorozatcím | Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering |
| Kötet | 73 |
| Pagination | 285-296 |
| Kiadó | Springer Berlin Heidelberg |
| ISBN-szám | 978-3-642-29154-8 |
| Összefoglalás | 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. |
| URL | http://dx.doi.org/10.1007/978-3-642-29154-8_24 |
| DOI | 10.1007/978-3-642-29154-8_24 |
| Refereed Designation | Refereed |
