{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,6]],"date-time":"2023-01-06T16:50:47Z","timestamp":1673023847100},"reference-count":16,"publisher":"Elsevier BV","issue":"17","license":[{"start":{"date-parts":[[1999,6,1]],"date-time":"1999-06-01T00:00:00Z","timestamp":928195200000},"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":[[1999,6]]},"DOI":"10.1016\/s1389-1286(99)00062-6","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T22:57:10Z","timestamp":1027637830000},"page":"1817-1834","source":"Crossref","is-referenced-by-count":8,"title":["Service validation"],"prefix":"10.1016","volume":"31","author":[{"given":"Pierre","family":"Combes","sequence":"first","affiliation":[]},{"given":"B\u00e9atrice","family":"Renard","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1389-1286(99)00062-6_BIB1","unstructured":"C. Capelmann, P. Combes, J. Petterson, B. Renard, J.L. Ruiz, Consistent interaction detection \u2013 a comprehensive approach integrated with service creation, in: Feature Interaction in Telecommunication Networks IV, IOS Press, Amsterdam, 1997."},{"key":"10.1016\/S1389-1286(99)00062-6_BIB2","doi-asserted-by":"crossref","unstructured":"A.R. Cavalli, B.M. Chin, K. Chon, Testing methods for SDL systems, Computer Networks and ISDN Systems 28 (1996) 1669\u20131683.","DOI":"10.1016\/0169-7552(95)00125-5"},{"key":"10.1016\/S1389-1286(99)00062-6_BIB3","unstructured":"CCITT (now ITU-T), New Recommendations Q1200 - Q series: Intelligent Network Recommendation, Technical report, CCITT, COM XI-R 210-E, 1992."},{"key":"10.1016\/S1389-1286(99)00062-6_BIB4","doi-asserted-by":"crossref","unstructured":"P. Combes, F. Olsen, S. Pickin, B. Renard, MSCs to express service requirements as properties on a SDL model: application to service interaction detection, 7th SDL Forum, September 1995.","DOI":"10.1016\/B978-0-444-82269-7.50025-3"},{"key":"10.1016\/S1389-1286(99)00062-6_BIB5","doi-asserted-by":"crossref","unstructured":"D. Hogrefe, Validation of SDL systems, Computer Networks and ISDN Systems 28 (1996) 1659\u20131667.","DOI":"10.1016\/0169-7552(95)00124-7"},{"key":"10.1016\/S1389-1286(99)00062-6_BIB6","unstructured":"MSC 96, Z120, ITU-TS Recommendation Z120: Message Sequence Chart (MSC), ITU-TS, Geneva, Switzerland, 1996."},{"key":"10.1016\/S1389-1286(99)00062-6_BIB7","unstructured":"ObjectGeode, GEODE Simulator V3.1 - Reference Manual, Verilog, 1997."},{"key":"10.1016\/S1389-1286(99)00062-6_BIB8","unstructured":"P103 Eurescom Project, Evolution of the Intelligent Network. Framework for Service Description with Supporting Architecture, Deliverable D6a."},{"key":"10.1016\/S1389-1286(99)00062-6_BIB9","unstructured":"P509 Eurescom Project, Handling Service Interaction in the Service Life Cycle, Deliverable 2, April 1997."},{"key":"10.1016\/S1389-1286(99)00062-6_BIB10","unstructured":"K. Kimbler, Addressing the interaction problem at the enterprise level, in: Feature Interaction in Telecommunication Networks IV, IOS Press, Amsterdam, 1997."},{"key":"10.1016\/S1389-1286(99)00062-6_BIB11","unstructured":"B. Renard, P. Combes, F. Olsen, An SDL\/MSC environment for service interaction detection, Intelligent Network International Conference (ICIN), Bordeaux, November 1996."},{"key":"10.1016\/S1389-1286(99)00062-6_BIB12","unstructured":"SCORE, Report on Methods and Tools for Service Creation, Service Interaction Analysis, Deliverable D206-Vol1, R2017\/SCO\/WP2\/DS\/P\/031\/b1, RACE Project 2017, December 1995."},{"key":"10.1016\/S1389-1286(99)00062-6_BIB13","unstructured":"SCREEN, ACTS 96, Advanced Communications Technologies and Services, Project Summaries, September 1996."},{"key":"10.1016\/S1389-1286(99)00062-6_BIB14","unstructured":"SDL 96, Z100 - Addendum, ITU, Geneva, Switzerland, 1996."},{"key":"10.1016\/S1389-1286(99)00062-6_BIB15","unstructured":"SDT Tool 3.1, Combitech Group Telelogic, 1996."},{"key":"10.1016\/S1389-1286(99)00062-6_BIB16","unstructured":"SPECS Consortium, Specification and Programming Environment for Communication Software, North-Holland, Amsterdam, 1993."}],"container-title":["Computer Networks"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1389128699000626?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1389128699000626?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,13]],"date-time":"2019-04-13T22:25:53Z","timestamp":1555194353000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1389128699000626"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,6]]},"references-count":16,"journal-issue":{"issue":"17","published-print":{"date-parts":[[1999,6]]}},"alternative-id":["S1389128699000626"],"URL":"https:\/\/doi.org\/10.1016\/s1389-1286(99)00062-6","relation":{},"ISSN":["1389-1286"],"issn-type":[{"value":"1389-1286","type":"print"}],"subject":[],"published":{"date-parts":[[1999,6]]}}}