{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:25:38Z","timestamp":1742394338027},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540213772"},{"type":"electronic","value":"9783540247562"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24756-2_26","type":"book-chapter","created":{"date-parts":[[2010,7,28]],"date-time":"2010-07-28T00:18:31Z","timestamp":1280276311000},"page":"481-500","source":"Crossref","is-referenced-by-count":7,"title":["Using UML Sequence Diagrams as the Basis for a Formal Test Description Language"],"prefix":"10.1007","author":[{"given":"Simon","family":"Pickin","sequence":"first","affiliation":[]},{"given":"Jean-Marc","family":"J\u00e9z\u00e9quel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/3-540-45510-8_9","volume-title":"Modeling and Verification of Parallel Processes","author":"E. Brinksma","year":"2001","unstructured":"Brinksma, E., Tretmans, J.: Testing transition systems: An annotated bibliography. In: Cassez, F., Jard, C., Rozoy, B., Dermot, M. (eds.) MOVEP 2000. LNCS, vol.\u00a02067, p. 187. Springer, Heidelberg (2001)"},{"key":"26_CR2","volume-title":"Distributed Computing","author":"B. Charron-Bost","year":"1996","unstructured":"Charron-Bost, B., Mattern, F., Tel, G.: Synchronous, Asynchronous and Ordered Communication. In: Charron-Bost, B., Mattern, F., Tel, G. (eds.) Distributed Computing, vol.\u00a09(4). Springer, Heidelberg (1996)"},{"key":"26_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36135-9_8","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2002","author":"P.H. Deussen","year":"2002","unstructured":"Deussen, P.H., Tobies, S.: Formal Test Purposes and the Validity of Test Cases. In: Peled, D.A., Vardi, M.Y. (eds.) FORTE 2002. LNCS, vol.\u00a02529. Springer, Heidelberg (2002)"},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"Engels, A., Mauw, S., Reniers, M.A.: A Hierarchy of Communication Models for Message Sequence Charts. Science of Computer Programming 44(3). Elsevier North-Holland (2002).","DOI":"10.1016\/S0167-6423(02)00022-9"},{"key":"26_CR5","unstructured":"European Telecommunications Standards Institute (ETSI): Method for Testing and Specification (MTS); Methdological Approach to the Use of Object-Orientation in the Standards Making Process. ETSI Guide EG 201 872, V1.2.1. ETSI (2001)"},{"key":"26_CR6","unstructured":"European Telecommunications Standards Institute (ETSI): Method for Testing and Specification (MTS); The Testing and Test Control Notation version 3. ETSI Standard ES 201 873 Parts 1 to 6, V2.2.1. ETSI (2003)"},{"key":"26_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-540-45187-7_21","volume-title":"CONCUR 2003 - Concurrency Theory","author":"B. Genest","year":"2003","unstructured":"Genest, B., H\u00e9lou\u00ebt, L., Muscholl, A.: High-Level Message Sequence Charts and Projections. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol.\u00a02761, pp. 311\u2013326. Springer, Heidelberg (2003)"},{"key":"26_CR8","series-title":"Mathematical Structures in Computer Science","volume-title":"An Event Structure Based Semantics for Message Sequence Charts","author":"L. H\u00e9lou\u00ebt","year":"2002","unstructured":"H\u00e9lou\u00ebt, L., Jard, C., Caillaud, B.: An Event Structure Based Semantics for Message Sequence Charts. Mathematical Structures in Computer Science, vol.\u00a012. Cambridge University Press, Cambridge (2002)"},{"key":"26_CR9","unstructured":"H\u00e9lou\u00ebt, L., Le Maigat, P.: Decomposition of Message Sequence Charts. In: Proc. 2nd Workshop of the SDL Forum Society on SDL and MSC (SAM 2000), Grenoble, France (2000), See http:\/\/www.irisa.fr\/manifestations\/2000\/sam2000\/papers.html"},{"key":"26_CR10","unstructured":"International Telecommunications Union\u2014Telecommunication Standardization Sector (ITU-T): Message Sequence Chart. Recommendation Z.120. ITU-T (1999)"},{"key":"26_CR11","unstructured":"Jard, C., J\u00e9ron, T.: TGV: Theory, Principles and Algorithms. In: Proc. 6th world conference on Integrated Design and Process Technology (IDPT 2002) (2002)"},{"key":"26_CR12","unstructured":"Jard, C., Pickin, S.: COTE\u2014Component Testing Using the Unified Modelling Language. ERCIM News Issue 48. ERCIM EEIG (2001)"},{"key":"26_CR13","volume-title":"Distributed Computing","author":"L. Lamport","year":"1986","unstructured":"Lamport, L.: On Interprocess Communication. In: Distributed Computing, vol.\u00a01(2). Springer, Heidelberg (1986)"},{"key":"26_CR14","volume-title":"SDL 1993\u2014Using Objects (Proc. SDL Forum 1993)","author":"S. Mauw","year":"1993","unstructured":"Mauw, S., van Wijk, M., Winter, T.: A Formal Semantics of Sychronous Interworkings. In: Faergemand, Sarma, A. (eds.) SDL 1993\u2014Using Objects (Proc. SDL Forum 1993), Elsevier, North-Holland (1993)"},{"key":"26_CR15","unstructured":"Mitchell, B.: Characterising Concurrent Tests Based on Message Sequence Chart Requirements. In: Proc. Applied Telecommunication Symposium (2001)"},{"key":"26_CR16","unstructured":"Object Management Group (OMG): Unified Modelling Language Specification version 1.5. OMG, Needham, MA, USA (March 2003)"},{"key":"26_CR17","unstructured":"Object Management Group (OMG): UML 2.0 Superstructure Specification. OMG, Needham, MA, USA (August 2003)"},{"key":"26_CR18","unstructured":"Object Management Group (OMG): UML Testing Profile, version 2.0. OMG, Needham, MA, USA (August 2003)"},{"key":"26_CR19","unstructured":"Pickin, S.: Test des Composants Logiciels pour les T\u00e9l\u00e9communications. Ph.D. Thesis. Universit\u00e9 de Rennes, France (2003)"},{"key":"26_CR20","unstructured":"Pickin, S., Jard, C., Heuillard, T., J\u00e9z\u00e9quel, J.M., Defray, P.: A UML-integrated Test Desciption Language for Component Testing. In: Evans, A., France, R., Moreira, A., Rumpe, B. (eds.) Practical UML-Based Rigorous Development Methods. Lecture Notes in Informatics (GI Series), vol.\u00a0P7. Kollen-Druck + Verlag (2001)"},{"key":"26_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36135-9_7","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2002","author":"S. Pickin","year":"2002","unstructured":"Pickin, S., Jard, C., Le Traon, Y., J\u00e9z\u00e9quel, J.M., Le Guennec, A.: System Test Synthesis from UML Models of Distributed Software. In: Peled, D.A., Vardi, M.Y. (eds.) FORTE 2002. LNCS, vol.\u00a02529. Springer, Heidelberg (2002)"},{"key":"26_CR22","doi-asserted-by":"crossref","unstructured":"Sassone, A., Nielsen, M., Winskel, G.: Models for Concurrency: Towards a Classification. Theoretical Computer Science 170(1-2). Elsevier (1996)","DOI":"10.1016\/S0304-3975(96)80710-9"},{"key":"26_CR23","unstructured":"Schmitt, M., Ebner, M., Grabowski, J.: Test Generation with Autolink and Test Composer. In: Proc. 2nd Workshop of the SDL Forum Society on SDL and MSC (SAM 2000), Grenoble, France (2000), See http:\/\/www.irisa.fr\/manifestations\/2000\/sam2000\/papers.html"},{"key":"26_CR24","unstructured":"Tretmans, J.: Specification Based Testing with Formal Methods: From Theory via Tools to Applications. In: Fantechi, A. (ed.) FORTE \/ PSTV 2000 Tutorial Notes (2000)"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24756-2_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T19:33:50Z","timestamp":1559331230000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24756-2_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540213772","9783540247562"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24756-2_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}