{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T14:41:45Z","timestamp":1648996905442},"reference-count":26,"publisher":"Elsevier BV","issue":"11","license":[{"start":{"date-parts":[[1993,6,1]],"date-time":"1993-06-01T00:00:00Z","timestamp":738892800000},"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":[[1993,6]]},"DOI":"10.1016\/0169-7552(93)90030-8","type":"journal-article","created":{"date-parts":[[2003,8,7]],"date-time":"2003-08-07T23:11:16Z","timestamp":1060297876000},"page":"1243-1263","source":"Crossref","is-referenced-by-count":3,"title":["Extending ASN.1 into a full-fledged constraint language in the context of OSI protocol conformance testing"],"prefix":"10.1016","volume":"25","author":[{"given":"A.P.","family":"Varvitsiotis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.I.","family":"Stassinopoulos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0169-7552(93)90030-8_BIB1","unstructured":"Abstract Test Suite Specification (Initiator and Responder) for FTAM ENV41207 (to be released by the Open Systems Testing Consortium Secretariat, Brussels)."},{"key":"10.1016\/0169-7552(93)90030-8_BIB2","unstructured":"CCITT Recommendation X.218, Reliable Transfer: Model and Service Definition (also ISO IS 9066-1)."},{"key":"10.1016\/0169-7552(93)90030-8_BIB3","unstructured":"CCITT Recommendation X.219, Remote Operations: Model, Notation and Service Definition."},{"key":"10.1016\/0169-7552(93)90030-8_BIB4","unstructured":"CCITT Recommendation X.228, Reliable Transfer: Protocol Specification (also ISO IS 9066-2)."},{"key":"10.1016\/0169-7552(93)90030-8_BIB5","unstructured":"CCITT Recommendation X.229, Remote Operations: Protocol Specification."},{"key":"10.1016\/0169-7552(93)90030-8_BIB6","series-title":"Bericht No. 83-03","article-title":"ACT ONE: an algebraic specification language with two levels of semantics","author":"Ehrig","year":"1983"},{"key":"10.1016\/0169-7552(93)90030-8_BIB7","series-title":"Introduction to Automata Theory, Languages, and Computation","author":"Hopcroft","year":"1979"},{"key":"10.1016\/0169-7552(93)90030-8_BIB8","unstructured":"ISO IS 7498, Information Processing Systems\u2014Open Systems Interconnection-Basic Reference Model."},{"key":"10.1016\/0169-7552(93)90030-8_BIB9","unstructured":"ISO IS 8571-1, Information Processing Systems-Open Systems Interconnection-File Transfer, Access and Management-Part 1: General Introduction."},{"key":"10.1016\/0169-7552(93)90030-8_BIB10","unstructured":"ISO IS 8571-2, Information Processing Systems-Open Systems Interconnection-File Transfer, Access and Management-Part 2: Virtual Filestore Definition."},{"key":"10.1016\/0169-7552(93)90030-8_BIB11","unstructured":"ISO IS 8571-3, Information Processing Systems-Open Systems Interconnection-File Transfer, Access and Management-Part 3: File Service Definition."},{"key":"10.1016\/0169-7552(93)90030-8_BIB12","unstructured":"ISO IS 8571-4, Information Processing Systems-Open Systems Interconnection-File Transfer. Access and Management-Part 4: File Protocol Definition."},{"key":"10.1016\/0169-7552(93)90030-8_BIB13","unstructured":"ISO IS 8649, Information Processing Systems-Open Systems Interconnection-Service Definition for the Association Control Service Element."},{"key":"10.1016\/0169-7552(93)90030-8_BIB14","unstructured":"ISO IS 8650, Information Processing Systems-Open Systems Interconnection-Protocol Definition for the Association Control Service Element."},{"key":"10.1016\/0169-7552(93)90030-8_BIB15","unstructured":"ISO IS 8822, Information Processing Systems-Open Systems Interconnection-Connection oriented presentation service definition."},{"key":"10.1016\/0169-7552(93)90030-8_BIB16","unstructured":"ISO IS 8823, Information Processing Systems-Open Systems Interconnection-Connection oriented presentation protocol definition."},{"key":"10.1016\/0169-7552(93)90030-8_BIB17","series-title":"Information Processing Systems-Open Systems Interconnection-Abstract Syntax Notation (ASN.1)","author":"ISO IS 8824","year":"1990"},{"key":"10.1016\/0169-7552(93)90030-8_BIB18","series-title":"Information Processing Systems-Open Systems Interconnection-Basic Encoding Rules for Abstract Syntax Notation (ASN.1)","author":"ISO IS 8825","year":"1990"},{"key":"10.1016\/0169-7552(93)90030-8_BIB19","unstructured":"ISO IS 9646-1, Information Processing Systems-Open Systems Interconnection-OSI Conformance Testing Methodology and Framework-Part 1: General Concepts."},{"key":"10.1016\/0169-7552(93)90030-8_BIB20","unstructured":"ISO IS 9646-2, Information Processing Systems-Open Systems Interconnection-OSI Conformance Testing Methodology and Framework-Part 2: Abstract Test Suite Specification."},{"key":"10.1016\/0169-7552(93)90030-8_BIB21","series-title":"Information Processing Systems-Open Systems Interconnection-OSI Conformance Testing Methodology and Framework-Part 3: The Tree and Tabular Combined Notation (TTCN)","author":"ISO\/IEC JTC1\/SC 21","year":"1989"},{"key":"10.1016\/0169-7552(93)90030-8_BIB22","series-title":"The C Programming Language","author":"Kernighan","year":"1988"},{"key":"10.1016\/0169-7552(93)90030-8_BIB23","author":"Rose","year":"1988"},{"key":"10.1016\/0169-7552(93)90030-8_BIB24","series-title":"Teletraffic and Data Traffic: Socio-Economic Aspects, Proc. 13th International Teletraffic Congress (ITC-13)","first-page":"465","article-title":"Structured analysis for layered communication systems","author":"Sabatakakis","year":"1991"},{"key":"10.1016\/0169-7552(93)90030-8_BIB25","doi-asserted-by":"crossref","DOI":"10.1109\/2.58215","article-title":"A specifier's introduction to formal methods","author":"Wing","year":"1990","journal-title":"IEEE Comput."},{"key":"10.1016\/0169-7552(93)90030-8_BIB26","unstructured":"yacc: Yet Another Compiler-Compiler, in: Programming Utilities and Libraries Section of the UNIXTM Manual."}],"container-title":["Computer Networks and ISDN Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169755293900308?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169755293900308?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T07:26:55Z","timestamp":1552634815000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0169755293900308"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,6]]},"references-count":26,"journal-issue":{"issue":"11","published-print":{"date-parts":[[1993,6]]}},"alternative-id":["0169755293900308"],"URL":"https:\/\/doi.org\/10.1016\/0169-7552(93)90030-8","relation":{},"ISSN":["0169-7552"],"issn-type":[{"value":"0169-7552","type":"print"}],"subject":[],"published":{"date-parts":[[1993,6]]}}}