{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T23:47:02Z","timestamp":1743119222562,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642291531"},{"type":"electronic","value":"9783642291548"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29154-8_24","type":"book-chapter","created":{"date-parts":[[2012,4,20]],"date-time":"2012-04-20T23:18:00Z","timestamp":1334963880000},"page":"285-296","source":"Crossref","is-referenced-by-count":5,"title":["TERMOS: A Formal Language for Scenarios in Mobile Computing Systems"],"prefix":"10.1007","author":[{"given":"H\u00e9l\u00e8ne","family":"Waeselynck","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zolt\u00e1n","family":"Micskei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Rivi\u00e8re","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00c1ron","family":"Hamvas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Irina","family":"Nitu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","unstructured":"ITU-T: Recommendation Z.120: Message Sequence Chart (MSC) (2004)"},{"key":"24_CR2","unstructured":"Object Management Group: UML 2.2 Superstructure Specification, formal\/09-02-02 (2009), \n                    \n                      http:\/\/www.omg.org\/docs\/formal\/09-02-02.pdf"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"Nguyen, M.D., Waeselynck, H., Rivi\u00e8re, N.: Testing Mobile Computing Applications: Toward a Scenario Language and Tools. In: Int. Workshop on Dynamic Analysis (WODA 2008), pp. 29\u201335 (2008)","DOI":"10.1145\/1401827.1401834"},{"key":"24_CR4","volume-title":"3rd IEEE Int. Conf. on Software Testing, Verification and Validation (ICST 2010)","author":"M.D. Nguyen","year":"2010","unstructured":"Nguyen, M.D., Waeselynck, H., Rivi\u00e8re, N.: GraphSeq: a Graph Matching Tool for the Extraction of Mobility Patterns. In: 3rd IEEE Int. Conf. on Software Testing, Verification and Validation (ICST 2010). IEEE CS Press, Paris (2010)"},{"key":"24_CR5","unstructured":"Waeselynck, H., et al.: Refined Design and Testing Framework, Methodology and Application Results, Hidenets D5.3 (2008), \n                    \n                      http:\/\/www.hidenets.aau.dk\/Public+Deliverables"},{"key":"24_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-40042-4_1","volume-title":"Global Computing. Programming Environments, Languages, Security, and Analysis of Systems","author":"H. Baumeister","year":"2003","unstructured":"Baumeister, H., Koch, N., Kosiuczenko, P., Stevens, P., Wirsing, M.: UML for Global Computing. In: Priami, C. (ed.) GC 2003. LNCS, vol.\u00a02874, pp. 1\u201324. Springer, Heidelberg (2003)"},{"key":"24_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/978-3-540-30187-5_10","volume-title":"<\u2009<UML>\u2009> 2004 - The Unified Modeling Language","author":"V. Grassi","year":"2004","unstructured":"Grassi, V., Mirandola, R., Sabetta, A.: A UML Profile to Model Mobile Systems. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol.\u00a03273, pp. 128\u2013142. Springer, Heidelberg (2004)"},{"key":"24_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-540-70945-9_4","volume-title":"Agent-Oriented Software Engineering VII","author":"M. Kusek","year":"2007","unstructured":"Kusek, M., Jezic, G.: Extending UML Sequence Diagrams to Model Agent Mobility. In: Padgham, L., Zambonelli, F. (eds.) AOSE VII \/ AOSE 2006. LNCS, vol.\u00a04405, pp. 51\u201363. Springer, Heidelberg (2007)"},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"Micskei, Z., Waeselynck, H.: The Many Meanings of UML 2 Sequence Diagrams: a Survey, Software and Systems Modeling, Online first (2010), doi:10.1007\/s10270-010-0157-9","DOI":"10.1007\/s10270-010-0157-9"},{"issue":"1","key":"24_CR10","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1023\/A:1011227529550","volume":"19","author":"W. Damm","year":"2001","unstructured":"Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. Form. Methods Syst. Des.\u00a019(1), 45\u201380 (2001), doi:10.1023\/A:1011227529550","journal-title":"Form. Methods Syst. Des."},{"issue":"8","key":"24_CR11","doi-asserted-by":"publisher","first-page":"587","DOI":"10.1109\/TSE.2006.82","volume":"32","author":"B. Sengupta","year":"2006","unstructured":"Sengupta, B., Cleaveland, R.: Triggered Message Sequence Charts. IEEE Trans. on Software Engineering\u00a032(8), 587\u2013607 (2006)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"24_CR12","unstructured":"Klose, J.: Live Sequence Charts: a Graphical Formalism for the Specification of Communication Behavior. PhD thesis, C. v. O. Universitat Oldenburg (2003)"},{"issue":"2","key":"24_CR13","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/j.tcs.2005.09.068","volume":"351","author":"J. K\u00fcster-Filipe","year":"2006","unstructured":"K\u00fcster-Filipe, J.: Modelling Concurrent Interactions. Theoretical Computer Science\u00a0351(2), 203\u2013220 (2006)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"24_CR14","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/s10270-007-0054-z","volume":"7","author":"D. Harel","year":"2008","unstructured":"Harel, D., Maoz, S.: Assert and negate revisited: Modal semantics for UML sequence diagrams. Software and Systems Modeling\u00a07(2), 237\u2013253 (2008)","journal-title":"Software and Systems Modeling"},{"key":"24_CR15","volume-title":"6th Int. Symp. on Parallel and Distributed Computing (ISPDC 2007)","author":"H. Waeselynck","year":"2007","unstructured":"Waeselynck, H., Micskei, Z., Nguyen, M.D., Rivi\u00e8re, N.: Mobile Systems from a Validation Perspective: a Case Study. In: 6th Int. Symp. on Parallel and Distributed Computing (ISPDC 2007), July 5-8. IEEE Press, Hagenberg (2007)"},{"issue":"2","key":"24_CR16","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1109\/TMC.2004.14","volume":"3","author":"Q. Huang","year":"2004","unstructured":"Huang, Q., Julien, C., Roman, G.: Relying on Safe Distance to Achieve Strong Partitionable Group Membership in Ad Hoc Networks. IEEE Trans. on Mobile Computing\u00a03(2), 192\u2013204 (2004)","journal-title":"IEEE Trans. on Mobile Computing"}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","Mobile and Ubiquitous Systems: Computing, Networking, and Services"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29154-8_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T01:22:54Z","timestamp":1558401774000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29154-8_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642291531","9783642291548"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29154-8_24","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"type":"print","value":"1867-8211"},{"type":"electronic","value":"1867-822X"}],"subject":[],"published":{"date-parts":[[2012]]}}}