A Structural Operational Semantics for PLEX

摘要: Programming Language for EXchanges, PLEX, is a pseudo-parallel and event-driven real-time language developed by Ericsson. The designed for, used in, central parts of the AXE telephone switching system. has signal paradigm as its top execution level, it event-based in sense that only events, encoded signals, can trigger code execution. Due to fact PLEX program file consist several independent subprograms, combination with an model where new jobs are spawned put queues, we also classify pseudo-parallel. This report presents structural operational semantics fundamental language, i.e., over jumps sending statements, should be seen further perspective, aim extend modify possibility run multi-processor environment. Earlier attempts map description languages, like SDL, have not been successful expected, which probably due paid enough attention. With this report, formal basis investigations direction provided.