Extending ASN.1 into a full-fledged constraint language in the context of OSI protocol conformance testing

Abstract Test Suite Specification (Initiator and Responder) for FTAM ENV41207 (to be released by the Open Systems Testing Consortium Secretariat, Brussels). CCITT Recommendation X.218, Reliable Transfer: Model and Service Definition (also ISO IS 9066-1). CCITT Recommendation X.219, Remote Operations: Model, Notation and Service Definition. CCITT Recommendation X.228, Reliable Transfer: Protocol Specification (also ISO IS 9066-2). CCITT Recommendation X.229, Remote Operations: Protocol Specification. Ehrig, 1983, ACT ONE: an algebraic specification language with two levels of semantics Hopcroft, 1979 ISO IS 7498, Information Processing Systems—Open Systems Interconnection-Basic Reference Model. ISO IS 8571-1, Information Processing Systems-Open Systems Interconnection-File Transfer, Access and Management-Part 1: General Introduction. ISO IS 8571-2, Information Processing Systems-Open Systems Interconnection-File Transfer, Access and Management-Part 2: Virtual Filestore Definition. ISO IS 8571-3, Information Processing Systems-Open Systems Interconnection-File Transfer, Access and Management-Part 3: File Service Definition. ISO IS 8571-4, Information Processing Systems-Open Systems Interconnection-File Transfer. Access and Management-Part 4: File Protocol Definition. ISO IS 8649, Information Processing Systems-Open Systems Interconnection-Service Definition for the Association Control Service Element. ISO IS 8650, Information Processing Systems-Open Systems Interconnection-Protocol Definition for the Association Control Service Element. ISO IS 8822, Information Processing Systems-Open Systems Interconnection-Connection oriented presentation service definition. ISO IS 8823, Information Processing Systems-Open Systems Interconnection-Connection oriented presentation protocol definition. ISO IS 8824, 1990 ISO IS 8825, 1990 ISO IS 9646-1, Information Processing Systems-Open Systems Interconnection-OSI Conformance Testing Methodology and Framework-Part 1: General Concepts. ISO IS 9646-2, Information Processing Systems-Open Systems Interconnection-OSI Conformance Testing Methodology and Framework-Part 2: Abstract Test Suite Specification. ISO/IEC JTC1/SC 21, 1989 Kernighan, 1988 Rose, 1988 Sabatakakis, 1991, Structured analysis for layered communication systems, 465 Wing, 1990, A specifier's introduction to formal methods, IEEE Comput., 10.1109/2.58215 yacc: Yet Another Compiler-Compiler, in: Programming Utilities and Libraries Section of the UNIXTM Manual.