ETSI recommends a number of technologies to define its recommendations such as SDL, TTCN-3, and ASN.1 which happen to be the technological bricks on which PragmaDev Studio is built.
An ASN.1 description is static but comes with a number of standardized ways to encode and decode the information in a machine independant way. To name a few: BER (Basic Encoding Rule), PER (Packet Encoding Rule), XER (XML Encoding Rule).
ASN.1 is supported by PragmaDev Specifier and PragmaDev Tester in model edition and execution.
PragmaDev Specifier is based on SDL. The dynamic of the protocol can be graphically described with formally defined state machines. Once the syntax is correct a simulator can execute the model and interact with it in order to verify it behaves correctly. When the model is updated, the previously verified scenario can be run again automatically to prevent any regression.
TTCN-3 is THE standard notation for conformance. In the telecommunication industry ETSI conformance test suites are published in TTCN-3. PragmaDev Tester can edit these test cases, and execute them to run against a model or a real implementation of the system.
SDL, MSC, ASN.1, TTCN and UML are all languages, which ETSI recommends for use within telecom standards, particularly those specifying protocols. Each specification language offers different facilities which are valuable to standards writers. Thus, an optimum combination of languages needs to be found.
Further details are given on the page dedicated to each language, however, the principal uses of each language are as follows:
However, applying a language does not guarantee success if it is being used in a bad way or if the working method is ineffective. In order to combat these potential hazards, ETSI has produced guidelines for how the languages should be used for standard specifications. These are summarized in the table below. For more detailed advice, consult the 'Making Better Standards' website, which provides guidance and assistance to anybody involved in writing communications standards.
List of ETSI Guides giving guidelines on how specification languages should be used for standard specifications:
|General use of SDL, MSC and ASN.1||v||v||v||EG 201 383|
|Descriptive SDL||v||v||v||EG 202 106|
|SDL Handbook||v||v||v||ETR 298|
|Validation of SDL in standards||v||EG 201 015|
|Object-orientation in standards making||v||v||EG 201 872|
|Guide to the use of TTCN-2||v||v||EG 202 103|