{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:28:42Z","timestamp":1742387322568},"reference-count":42,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1992,8,1]],"date-time":"1992-08-01T00:00:00Z","timestamp":712627200000},"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 and ISDN Systems"],"published-print":{"date-parts":[[1992,8]]},"DOI":"10.1016\/0169-7552(92)90123-8","type":"journal-article","created":{"date-parts":[[2003,9,3]],"date-time":"2003-09-03T11:09:00Z","timestamp":1062587340000},"page":"43-61","source":"Crossref","is-referenced-by-count":4,"title":["An integrated environment for developing communication protocols"],"prefix":"10.1016","volume":"25","author":[{"given":"J\u00fcrgen M","family":"Scgneider","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lothar F","family":"Mackert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georg","family":"Z\u00f6rntlein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roelof J","family":"Velthuys","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ufo","family":"B\u00e4r","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0169-7552(92)90123-8_BIB1","series-title":"Proc. 1st International Conference on Formal Description Techniques for Communication Protocols and Distributed Systems\u2014FORTE 88","first-page":"169","article-title":"The Boyer-Moore theorem-prover and LOTOS","author":"Aujla","year":"1989"},{"key":"10.1016\/0169-7552(92)90123-8_BIB2","article-title":"Werkzeuge zur Entwicklung und Ausf\u00fchrung von OSI Conformance Tests f\u00fcr TTCN","author":"B\u00e4r","year":"1989","journal-title":"Masters Thesis, University of Kaiserslautern, Germany"},{"key":"10.1016\/0169-7552(92)90123-8_BIB3","author":"Barr","year":"1981"},{"key":"10.1016\/0169-7552(92)90123-8_BIB4","series-title":"Proc. IFIP WG6.1 7th International Symposium","first-page":"139","article-title":"Usage of protocol development tools: the results of a survey","volume":"VII","author":"Bochmann","year":"1987"},{"key":"10.1016\/0169-7552(92)90123-8_BIB5","series-title":"Proc. IFIP WG6.1 9th International Symposium","article-title":"Combining ASN.1 support with the LOTOS language","volume":"IX","author":"Bochmann","year":"1990"},{"key":"10.1016\/0169-7552(92)90123-8_BIB6","series-title":"Proc. IFIP 77","first-page":"229","article-title":"A unified method for the specification and verification of protocols","author":"Bochmann","year":"1977"},{"issue":"4","key":"10.1016\/0169-7552(92)90123-8_BIB7","doi-asserted-by":"crossref","first-page":"624","DOI":"10.1109\/TCOM.1980.1094685","article-title":"Formal methods in communication protocol design","volume":"28","author":"Bochmann","year":"1980","journal-title":"IEEE Trans. Comm."},{"key":"10.1016\/0169-7552(92)90123-8_BIB8","series-title":"Proc. IFIP TC6 2nd International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols\u2014FORTE 89","first-page":"83","article-title":"An evaluation of the LCF theorem prover using LOTOS","volume":"II","author":"Booth","year":"1990"},{"key":"10.1016\/0169-7552(92)90123-8_BIB9","article-title":"On the design of extended LOTOS","author":"Brinksma","year":"1988","journal-title":"Ph.D. Thesis, University of Twente, Enschede, The Netherlands"},{"key":"10.1016\/0169-7552(92)90123-8_BIB10","series-title":"Proc. IFIP TC6 2nd International Workshop","first-page":"349","article-title":"A formal approach to conformance testing","author":"Brinksma","year":"1990"},{"key":"10.1016\/0169-7552(92)90123-8_BIB11","series-title":"Proc. IFIP WG6.1 9th International Symposium","article-title":"A software environment for OSI protocol testing systems","volume":"IX","author":"Chan","year":"1990"},{"key":"10.1016\/0169-7552(92)90123-8_BIB12","series-title":"Proc. IFIP TC6 2nd International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols\u2014FORTE 89","first-page":"43","article-title":"Tools for LOTOS specification style transformation","volume":"II","author":"Eijk","year":"1990"},{"key":"10.1016\/0169-7552(92)90123-8_BIB13","series-title":"Proc. IFIP WG6.1 10th International Symposium","article-title":"On the use of specification styles for automated protocol implementation from LOTOS to C","volume":"X","author":"Eijk","year":"1990"},{"key":"10.1016\/0169-7552(92)90123-8_BIB14","article-title":"A toolkit for specifying and implementing communication protocols","author":"Fleischmann","year":"1987"},{"key":"10.1016\/0169-7552(92)90123-8_BIB15","article-title":"On the formal definition and representation of architectural concepts","author":"Gotzhein","year":"1989"},{"issue":"3","key":"10.1016\/0169-7552(92)90123-8_BIB16","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1109\/32.4654","article-title":"Development of Veda, a prototyping tool for distributed algorithms","volume":"14","author":"Jard","year":"1988","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0169-7552(92)90123-8_BIB17","series-title":"Abstraction and Specification in Program Development","author":"Liskov","year":"1986"},{"issue":"4","key":"10.1016\/0169-7552(92)90123-8_BIB18","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1002\/spe.4380180406","article-title":"An interpreter for LOTOS, a specification language for distributed systems","volume":"18","author":"Logrippo","year":"1988","journal-title":"Software-Practice and Experience"},{"key":"10.1016\/0169-7552(92)90123-8_BIB19","series-title":"Proc. IFIP WG6.1 7th International Symposium","first-page":"77","article-title":"Communicating rule systems","volume":"VII","author":"Mackert","year":"1987"},{"key":"10.1016\/0169-7552(92)90123-8_BIB20","series-title":"Proc. International Conference on Distributed Computing Systems","article-title":"A generalized conformance test tool for communication protocols","author":"Mackert","year":"1988"},{"key":"10.1016\/0169-7552(92)90123-8_BIB21","article-title":"Modellierung und Implementierung kommunizierender Systeme mit Hilfe von Regeln","author":"Neumeier-Mackert","year":"1988","journal-title":"Doctoral Dissertation, University of Erlangen-N\u00fcrnberg, Germany"},{"key":"10.1016\/0169-7552(92)90123-8_BIB22","series-title":"Proc. 1st International Conference on Networking in Open Systems","article-title":"A knowledge-based protocol engineering environment","author":"Neumeier-Mackert","year":"1988"},{"key":"10.1016\/0169-7552(92)90123-8_BIB23","article-title":"CRS supported development of TTCN test cases","author":"Roorda","year":"1990","journal-title":"Master Thesis, University of Twente, Enschede, The Netherlands"},{"key":"10.1016\/0169-7552(92)90123-8_BIB24","series-title":"Proc. IFIP WG6.1 8th International Symposium","first-page":"3","article-title":"Protocol engineering: a critical assessment","volume":"VIII","author":"Rudin","year":"1988"},{"key":"10.1016\/0169-7552(92)90123-8_BIB25","series-title":"Proc. 1st International Conference on Formal Description Techniques for Communication Protocols and Distributed Systems\u2014FORTE 88","first-page":"15","article-title":"The ESTELLE simulator prototype of the ESPRIT-SEDOS project","author":"de Saqui-Sannes","year":"1989"},{"key":"10.1016\/0169-7552(92)90123-8_BIB26","article-title":"Integration von ASN.1 in C","author":"Scheere","year":"1989","journal-title":"Project Thesis, University of Karlsruhe, Germany"},{"key":"10.1016\/0169-7552(92)90123-8_BIB27","article-title":"Transition system semantics for communicating rule systems","author":"Schneider","year":"1988"},{"key":"10.1016\/0169-7552(92)90123-8_BIB28","series-title":"Proc. IFIP TC6 2nd International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols\u2014FORTE 89","first-page":"421","article-title":"Executable communicating rule systems","volume":"II","author":"Schneider","year":"1990"},{"key":"10.1016\/0169-7552(92)90123-8_BIB29","series-title":"Proc. GI\/ITG, 7. Fachtagung \u201cKommunikation in verteilten Systemen\u201d","article-title":"Formal description of X.25 applying a rule-based approach","author":"Schneider","year":"1991"},{"key":"10.1016\/0169-7552(92)90123-8_BIB30","article-title":"Synthese prozeduraler Programme aus regelbasierten Spezifikationen","author":"Schott","year":"1990","journal-title":"Masters Thesis, University of Kaiserslautern, Germany"},{"key":"10.1016\/0169-7552(92)90123-8_BIB31","series-title":"Proc. IFIP TC6 2nd International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols\u2014FORTE 89","first-page":"437","article-title":"Experience with formal methods in protocol development","volume":"II","author":"Sidhu","year":"1990"},{"issue":"4","key":"10.1016\/0169-7552(92)90123-8_BIB32","doi-asserted-by":"crossref","DOI":"10.1109\/32.16602","article-title":"Formal methods for protocol testing: a detailed study","volume":"15","author":"Sidhu","year":"1989","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0169-7552(92)90123-8_BIB33","series-title":"Proc. 1st International Conference on Formal Description Techniques for Communication Protocols and Distributed Systems\u2014FORTE 88","first-page":"91","article-title":"An object-oriented model for ESTELLE","author":"Sijelmassi","year":"1989"},{"key":"10.1016\/0169-7552(92)90123-8_BIB34","series-title":"Computer Networks","author":"Tanenbaum","year":"1988"},{"key":"10.1016\/0169-7552(92)90123-8_BIB35","series-title":"Proc. IFIP TC6 2nd International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols\u2014FORTE 89","first-page":"517","article-title":"From 1 notation to another one: an ACT-ONE semantics for ASN.1","volume":"II","author":"Thomas","year":"1990"},{"key":"10.1016\/0169-7552(92)90123-8_BIB36","series-title":"Results of the ESPRIT SEDOS Project","first-page":"391","article-title":"HIPPO, a LOTOS simulator","author":"Tretmans","year":"1989"},{"key":"10.1016\/0169-7552(92)90123-8_BIB37","series-title":"Proc. IFIP TC6 2nd International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols\u2014FORTE 89","first-page":"117","article-title":"A LOTOS-based development strategy","volume":"II","author":"Turner","year":"1990"},{"key":"10.1016\/0169-7552(92)90123-8_BIB38","series-title":"Proc. IFIP TC6 2nd International Workshop","first-page":"231","article-title":"Protocol conformance testing with communicating rule systems","author":"Velthuys","year":"1990"},{"key":"10.1016\/0169-7552(92)90123-8_BIB39","series-title":"Proc. IFIP TC6\/WG6.1 11th International Symposium","article-title":"Structuring mechanisms for the formal description technique CRS","volume":"XI","author":"Velthuys","year":"1991"},{"key":"10.1016\/0169-7552(92)90123-8_BIB40","series-title":"Proc. International Seminar on Networking in Open Systems","first-page":"338","article-title":"Formal specification in OSI","volume":"Vol. 248","author":"Vissers","year":"1987"},{"issue":"3","key":"10.1016\/0169-7552(92)90123-8_BIB41","doi-asserted-by":"crossref","first-page":"384","DOI":"10.1109\/32.4658","article-title":"Semi-automatic implementation of protocols using an Estelle-C compiler","volume":"14","author":"Vuong","year":"1988","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0169-7552(92)90123-8_BIB42","series-title":"ITEX\u2014an interactive TTCN editor and executor","author":"Wiles","year":"1989"}],"container-title":["Computer Networks and ISDN Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169755292901238?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169755292901238?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T07:54:59Z","timestamp":1551081299000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0169755292901238"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,8]]},"references-count":42,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1992,8]]}},"alternative-id":["0169755292901238"],"URL":"https:\/\/doi.org\/10.1016\/0169-7552(92)90123-8","relation":{},"ISSN":["0169-7552"],"issn-type":[{"value":"0169-7552","type":"print"}],"subject":[],"published":{"date-parts":[[1992,8]]}}}