The Problem PAL SolvesASL RefresheriMatix ASL - the Abstract Server Language - is a protocol and software-construction toolkit we built in order to help develop OpenAMQ. The concept of ASL is loosely based on the concept of formal grammars such as ASN.1, but in typical iMatix fashion is rather more aggressive in aiming to generate high-quality code and documentation. ASL is a formal language, a grammar. It does not define the low-level wire-protocol but rather the higher-level language that a protocol carries. We describe this language in terms of "methods", grouped into "classes". The specific technology used to carry these methods depends on the specific implementation. Thus, ASL is abstract. ASL is an extensible framework - a single ASL grammar can be fed to any number of different back-end "targets", each generating some different output. Today we have targets for:
This diagram shows the overall ASL code generation process: .----------------. | ASL grammar | ASL grammar written as XML files, using | for protocol P | inheritence and other XNF techniques. `----------------' : +------------------+ | ASL front-end | GSL parser, generated from asl.xnf. | parser | using the iMatix XNF toolkit. +------------------+ : .----------------. | Denormalised, | Data structure held in memory. | validated tree | `----------------' : +------------------+ | Specific | GSL code generator, written by hand. | back-end target | +------------------+ : .----------------. | Generated text | Documentation or code as desired. | outputs | `----------------' We can summarise the approach that drives ASL:
Note the major benefit of using ASL: writing a large and rich protocol is very cheap, as 100% of the protocol support both at the client and server side is generated, leaving only the functional implementation of the protocol methods as work for the programmer. Large-scale TestingBy making it cheap to design and implement functionality on top of a standard technical base, ASL also encourages very large and explicit protocols. While a hand-built protocol might use a single method for several purposes, ASL would encourage the definition of several individual methods. This clarity is very pleasant for the application developer, but it means that testing must also happen on a large scale. This - cheap large-scale testing - is the problem that PAL solves. The PAL ArchitectureThese diagrams show how PAL fits into the toolchain. First, the process of constructing a PAL generator for a particular protocol, 'P': .----------------. | ASL grammar | ASL grammar written as XML files, using | "p.asl" | inheritence and other XNF techniques. `----------------' : +------------------+ | ASL front-end | GSL parser, generated from asl.xnf. | parser | using the iMatix XNF toolkit. | "asl_gen.gsl" | +------------------+ : .----------------. | Denormalised, | Data structure held in memory. | validated tree | `----------------' : +------------------+ | PAL | GSL code generator, hand-made. | back-end target | | "asl_pal.gsl" | +------------------+ : : +-----------+ +-----------+ | PAL XNF | | PAL stdc | GSL code generators, hand-made | driver | | driver | +-----------+ +-----------+ : : .-----------. : | PAL/P | : XNF grammar of PAL language | grammar | : specifically for protocol 'P' `-----------' : : : .-----------. .-----------. | front-end | | stdc | Components of a PAL generator | for PAL/P | | target | specifically for protocol 'P' `-----------' `-----------' gsl -target:pal p.asl gsl p_pal.xnf Second, the process of turning a PAL script into executable code: .----------------. | PAL/P script | PAL script written as XML files, using | "example.pal" | include and other XNF techniques. `----------------' : +------------------+ | PAL/P front-end | GSL parser, generated from p.asl | parser | (see previous diagram). | "p_pal_gen.gsl" | +------------------+ : .----------------. | Denormalised, | Data structure held in memory. | validated tree | `----------------' : +------------------+ | stdc | GSL code generator, generated from | back-end target | p.asl (see previous diagram). | "p_pal_stdc.gsl" | +------------------+ : .----------------. | Source code | Generated C test program. | "example.c" | `----------------' To illustrate, these are the commands that would be used to perform the above chain, for a script called "example": gsl example.pal The resulting test program is compiled and linked as usual.
|
iMatix Corporation |