Specif
ICation and Design Language. Defined by the
ITU-T (recommendation Z100) to provide a tool for unambiguous specif
ICation and description of the behaviour of telecommun
ICations systems. The area of appl
ICation also includes process control and real-time appl
ICations. SDL provides a Graph
IC Representation (SDL/GR) and a textual Phrase Representation (SDL/PR), wh
ICh are equivalent representations of the same semant
ICs. A system is specified as a set of interconnected
abstract machines wh
ICh are extensions of the
Finite State Machine (FSM). 1. System Software Development Language. System software for the B1700. "System Software Development Language Reference Manual", 1081346, Burroughs Corp (Dec 1974). 2. Specif
ICation and Description Language.
ITU-T. Specif
ICation language with both graph
ICal and character-based syntaxes for defining interacting extended finite state machines. Used to specify discrete interactive systems such as industrial process control, traff
IC control, and telecommun
ICation systems. Proc Plenary Assembly, Melbourne 14-1988-11-25, Fasc X.1, CCITT. "Telecommun
ICations Systems Engineering Using SDL", R. Saracco et al, N-H 1989. Available from Verilog, MD. (See XDL). 3. Shared Dataspace Language. "A Shared Dataspace Language Supporting Large-Scale Concurrency", G. Roman et al, Proc 8th Intl Conf Distrib Comp Sys, IEEE 1988, pp.265-272. 4. Structure Definition Language. Used internally by DEC to define and generate the symbols used for VAX/VMS internal data structures in various languages. 5. System Description Language. language used by the Eiffel/S implementation of Eiffel to assemble clusters into a system. (see Lace).
In addition suitable contents:
[ 2 ] [ = ] [ abstract machine ] [ af ] [ ag ] [ ai ] [ al ] [ am ] [ an ] [ app ] [ applICation ] [ ar ] [ arc ] [ arg ] [ as ] [ at ] [ av ] [ B ] [ b ] [ ba ] [ base ] [ be ] [ bi ] [ bo ] [ bot ] [ bs ] [ by ] [ C ] [ ca ] [ cat ] [ cc ] [ CCITT ] [ ch ] [ char ] [ character ] [ ci ] [ cl ] [ cluster ] [ co ] [ com ] [ communICation system ] [ con ] [ connect ] [ control ] [ cr ] [ cu ] [ cy ] [ D ] [ data ] [ data structure ] [ de ] [ DEC ] [ disc ] [ du ] [ E ] [ ec ] [ ed ] [ ee ] [ eh ] [ Eiffel ] [ er ] [ era ] [ es ] [ et ] [ extend ] [ extension ] [ fi ] [ file ] [ finite ] [ Finite State Machine ] [ fo ] [ for ] [ fr ] [ FS ] [ FSM ] [ G ] [ ge ] [ gen ] [ generate ] [ gh ] [ gi ] [ gn ] [ gr ] [ graph ] [ gu ] [ h ] [ hr ] [ hs ] [ id ] [ IE ] [ ie ] [ IEEE ] [ iff ] [ il ] [ in ] [ inc ] [ include ] [ int ] [ interactive ] [ io ] [ is ] [ IT ] [ it ] [ ITU ] [ ITU-T ] [ la ] [ Lace ] [ language ] [ lb ] [ Lex ] [ li ] [ ls ] [ lu ] [ ly ] [ M ] [ ma ] [ Mac ] [ Mach ] [ machine ] [ man ] [ MD ] [ Mel ] [ mm ] [ mo ] [ mod ] [ module ] [ mp ] [ ms ] [ mu ] [ N ] [ na ] [ nc ] [ ne ] [ nf ] [ ng ] [ ni ] [ nn ] [ ns ] [ nu ] [ om ] [ op ] [ pa ] [ pe ] [ ph ] [ pl ] [ pm ] [ port ] [ porting ] [ PR ] [ pr ] [ process ] [ pt ] [ query ] [ rc ] [ re ] [ real ] [ real-time ] [ rete ] [ ro ] [ ru ] [ S ] [ sa ] [ sam ] [ sc ] [ script ] [ SD ] [ se ] [ semantICs ] [ set ] [ si ] [ sig ] [ so ] [ software ] [ space ] [ Spec ] [ spec ] [ specifICation ] [ st ] [ state ] [ state machine ] [ struct ] [ su ] [ sy ] [ syntax ] [ system ] [ T ] [ text ] [ th ] [ to ] [ tool ] [ tr ] [ tw ] [ ua ] [ ug ] [ up ] [ us ] [ V ] [ va ] [ var ] [ VAX ] [ VAX/VMS ] [ ve ] [ Verilog ] [ vi ] [ VM ] [ VMS ] [ X ] [ XDL ] [ Z ]