{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:00:32Z","timestamp":1725490832018},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540640394"},{"type":"electronic","value":"9783540696872"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-69687-3_5","type":"book-chapter","created":{"date-parts":[[2007,9,2]],"date-time":"2007-09-02T22:05:07Z","timestamp":1188770707000},"page":"23-28","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["The Formalization and Simulation of a Network Management Model"],"prefix":"10.1007","author":[{"given":"Jorge L. Tellez","family":"Portas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Watrin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tayeb Ben","family":"Meriem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1998,5,15]]},"reference":[{"key":"5_CR1","unstructured":"A. Hamel, V. Troley, A. Sutter, D. Laville, J. Stoschek et P. Lann. First results of an experimental Coloured Section Ring. ECOC\u201996, September 15\u201319, 1996."},{"issue":"3","key":"5_CR2","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1049\/el:19960118","volume":"32","author":"A. Hamel","year":"1996","unstructured":"A. Hamel, V. Troley, A. Sutter, L. Blain, et F. Chatter. Increased capacity in a MS protection ring using WDM technique and OADM: \u201cThe coloured section ring\u201d. Electronic Letters, 1st. February 1996 Vol. 32 N 3 pp234\u2013235.","journal-title":"Electronic Letters, 1st"},{"key":"5_CR3","unstructured":"Atelier B from Steria M\u00e9diterran\u00e9e. \nhttp:\/\/www.atelierb.societe.com"},{"key":"5_CR4","unstructured":"B. Mermet, Sp\u00e9cification de services et gestion des interactions, Lettre B, Publication Steria M\u00e9diterran\u00e9e, April 97"},{"key":"5_CR5","unstructured":"D. Sidou, S. Mazziotta, R. Eberhardt, TIMS: a TMN-based Information Model Simulator, Principles and Applications to a Simple Case Study. \nhttp:\/\/www.eurecom.fr\/~sidou\/"},{"key":"5_CR6","unstructured":"ISO 9646-3. Tree and tabular Combined Notation."},{"key":"5_CR7","unstructured":"ISO\/IEC JTC1\/SC21 N 9982, Liaison Statement to ITU-T Question 30\/SG15 Concerning the Use of Formal Techniques for the Specification of Managed Object Behaviour, November 1995"},{"key":"5_CR8","unstructured":"ITU-T Recommendation Z.100 SDL Specification and Description Language"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"J. Keller. An extension of GDMO for formalising Managed Object Behaviour, CNET Lannion, 1995.","DOI":"10.1007\/978-0-387-34945-9_15"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"J.-R. Abrial. The B-Book: Assigning Programs to Meanings, Cambridge University Press, 1996. ISBN 0-521-49619-5.","DOI":"10.1017\/CBO9780511624162"},{"key":"5_CR11","unstructured":"L. Andrey, O. Festor, E. Nataf, A. Schaff et S. Tata. Validation des bases d\u2019information de gestion. Experience multi-FDT sur un mod\u00e8le de gestion configuration d\u2019interconnexion des commutateurs"},{"key":"5_CR12","unstructured":"NEtwork Manager Object Tester. \nhttp:\/\/www.semagroup.com"},{"key":"5_CR13","unstructured":"O. Festor, Formalisation du comportement des objets g\u00e9r\u00e9s dans le cadre du mod\u00e8le OSI. PhD Thesis, Universit\u00e9 Henri Poincare, Nancy I, Centre de Recherche en Informatique de Nancy (CRIN), octobre 94."},{"key":"5_CR14","volume-title":"Methodological guidelines for B formal method","author":"S. Traverson","year":"1997","unstructured":"S. Traverson, Methodological guidelines for B formal method. PhD Thesis, Ecole Nationale Sup\u00e9rieure des T\u00e9l\u00e9communications, Paris France, July 11 1997."}],"container-title":["Lecture Notes in Computer Science","Object-Oriented Technologys"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-69687-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T01:09:18Z","timestamp":1586135358000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-69687-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540640394","9783540696872"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-69687-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"15 May 1998","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}