{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:14:35Z","timestamp":1759032875472},"reference-count":24,"publisher":"Elsevier BV","issue":"5","license":[{"start":{"date-parts":[[2002,12,1]],"date-time":"2002-12-01T00:00:00Z","timestamp":1038700800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer Networks"],"published-print":{"date-parts":[[2002,12]]},"DOI":"10.1016\/s1389-1286(02)00354-7","type":"journal-article","created":{"date-parts":[[2002,11,4]],"date-time":"2002-11-04T19:41:17Z","timestamp":1036438877000},"page":"599-620","source":"Crossref","is-referenced-by-count":6,"title":["An open animation tool: application to telecommunication systems"],"prefix":"10.1016","volume":"40","author":[{"given":"Pierre","family":"Combes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabrice","family":"Dubois","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B\u00e9atrice","family":"Renard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1389-1286(02)00354-7_BIB1","doi-asserted-by":"crossref","unstructured":"M. Alabau, P. Combes, B. Renard, IN service prototyping using SDL models and animation, SDL Forum, Montreal, 1999","DOI":"10.1016\/B978-044450228-5\/50002-3"},{"key":"10.1016\/S1389-1286(02)00354-7_BIB2","doi-asserted-by":"crossref","unstructured":"B. Algayres, Y. Lejeune, F. Hogonnet, GOAL: Observing SDL behaviours with GEODE, 7th SDL forum, Oslo, September 1995","DOI":"10.1016\/B978-0-444-82269-7.50023-X"},{"key":"10.1016\/S1389-1286(02)00354-7_BIB3","series-title":"The Unified Modelling Language, Reference Guide","author":"Booch","year":"1999"},{"key":"10.1016\/S1389-1286(02)00354-7_BIB4","unstructured":"I. Aggoun, P. Combes, Observers in the SCE and the SEE to detect and resolve service interactions, 4th FIW, Montreal, 1997"},{"key":"10.1016\/S1389-1286(02)00354-7_BIB5","unstructured":"C. Capellmann, P. Combes, J. Petterson, B. Renard, J.L. Ruiz, Consistent interaction detection\u2013\u2013a comprehensive approach integrated with service creation, 4th FIW, Montreal, 1997"},{"key":"10.1016\/S1389-1286(02)00354-7_BIB6","doi-asserted-by":"crossref","unstructured":"P. Combes, S. Pickin, Formalisation of a user view of network and services for feature interaction detection, 2th FIW, 1994","DOI":"10.1109\/INW.1994.723295"},{"key":"10.1016\/S1389-1286(02)00354-7_BIB7","doi-asserted-by":"crossref","first-page":"1817","DOI":"10.1016\/S1389-1286(99)00062-6","article-title":"Service validation","volume":"31","author":"Combes","year":"1999","journal-title":"Computer Network and ISDN Systems"},{"key":"10.1016\/S1389-1286(02)00354-7_BIB8","unstructured":"P. Combes, L. Castaignet, F. Dubois, B. Nicolas, B. Renard, Feature-driven service analysis and design in an open architecture, ICIN 2001, Bordeaux"},{"key":"10.1016\/S1389-1286(02)00354-7_BIB9","unstructured":"P. Combes, F. Dubois, B. Nicolas, Une d\u00e9marche associant UML et SDL pour l\u2019analyse, la conception et la validation de services de t\u00e9l\u00e9communication, MSR 2001, Toulouse"},{"key":"10.1016\/S1389-1286(02)00354-7_BIB10","unstructured":"ObjectGeode, GEODE Editor and Simulator V4.2\u2013\u2013Reference Manual, Telelogic, 2001"},{"key":"10.1016\/S1389-1286(02)00354-7_BIB11","unstructured":"ITU-T, Specification and description language, recommendation Z.100, November 1999"},{"key":"10.1016\/S1389-1286(02)00354-7_BIB12","unstructured":"ITU-T, Message sequence chart, November 1999"},{"key":"10.1016\/S1389-1286(02)00354-7_BIB13","unstructured":"Java Command Language. Available from http:\/\/tcl.activestate.com\/software\/java\/"},{"key":"10.1016\/S1389-1286(02)00354-7_BIB14","unstructured":"K. Kimbler, C.H. Hagenfelt, N. Widell, J. Ellsberger, G. Berman, SDL framework for prototyping and validation of IN services, SDL Forum, Montreal, 1999"},{"issue":"32","key":"10.1016\/S1389-1286(02)00354-7_BIB15","first-page":"433","article-title":"Feature interaction detection: a LOTOS-based approach","author":"Logrippo","year":"2000","journal-title":"Computer Network and ISDN Systems"},{"key":"10.1016\/S1389-1286(02)00354-7_BIB16","unstructured":"OMG, Unified Modelling Language (V 1.3), formal\/2000-03-01, 2000"},{"key":"10.1016\/S1389-1286(02)00354-7_BIB17","unstructured":"Parlay API specification. Available from http:\/\/www.parlay.org"},{"key":"10.1016\/S1389-1286(02)00354-7_BIB18","unstructured":"The Tcl scripting language. Available from http:\/\/tcl.activestate.com\/"},{"key":"10.1016\/S1389-1286(02)00354-7_BIB19","unstructured":"K.J. Turner, A. McClenaghan, C. Chan, Specification and animation of reactive systems, in: V. Atalay (Ed.), Proceedings of the International Symposium on Computer and Information Systems XI, Antalya, Turkey, November 1996"},{"key":"10.1016\/S1389-1286(02)00354-7_BIB20","series-title":"Realising Architectural Feature Descriptions using LOTOS. Parallel Computers, Networks and Distributed Systems","author":"Turner","year":"2000"},{"key":"10.1016\/S1389-1286(02)00354-7_BIB21","doi-asserted-by":"crossref","unstructured":"L. Verhaard, K. Kimbler, D. Sobirk, C. Hagenfeldt, T. Tallinger, M. Stolt, Simulated IN CS-2 infrastructure for service animation and validation, in: Proceedings of IN2000 Workshop, Cape Town, South Africa, May 2000","DOI":"10.1109\/INW.2000.868204"},{"key":"10.1016\/S1389-1286(02)00354-7_BIB22","unstructured":"Virtual Home Environment. 3GPP TS 23.127. Available from http:\/\/www.3gpp.org"},{"key":"10.1016\/S1389-1286(02)00354-7_BIB23","unstructured":"Wireless Application Protocol, WAP_white_paper. Available from http:\/\/www.wapforum.org"},{"key":"10.1016\/S1389-1286(02)00354-7_BIB24","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0287-8_13","article-title":"Modular Feature Integration and Validation in a Synchronous Context","author":"Zuanon","year":"2001"}],"container-title":["Computer Networks"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1389128602003547?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1389128602003547?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,9]],"date-time":"2019-04-09T10:52:58Z","timestamp":1554807178000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1389128602003547"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,12]]},"references-count":24,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2002,12]]}},"alternative-id":["S1389128602003547"],"URL":"https:\/\/doi.org\/10.1016\/s1389-1286(02)00354-7","relation":{},"ISSN":["1389-1286"],"issn-type":[{"value":"1389-1286","type":"print"}],"subject":[],"published":{"date-parts":[[2002,12]]}}}