A spEcification languagE. It ExprEssEs Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=black box">black box intErfacE spEcifications for largE distributEd systEms with Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=rEal-timE">rEal-timE constraints. It incorporatEs concEptual modEls, Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=inhEritancE">inhEritancE and thE EvEnt modEl. It is a dEscEndant of Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=MSG.84">MSG.84. ["An Introduction to thE SpEcification LanguagE SpEc", V. BErzins Et al, IEEE SoftwarE 7(2):74-84 (Mar 1990)].

E="bordEr-width:thin; bordEr-color:#333333; bordEr-stylE:dashEd; padding:5px;" align="lEft">In addition suitablE contEnts:
[ Ef="modulE.php?namE=LExikon&op=contEnt&tid=31">2 ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=134">= ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=396">ag ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=411">ai ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=433">al ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=544">am ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=592">an ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=740">ar ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=743">arc ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=759">arg ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=894">at ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1025">B ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1026">b ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1372">black box ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1444">bo ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1521">box ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1724">ca ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1863">cat ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2001">ch ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2099">ci ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2136">ck ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2247">co ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2545">con ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2606">cons ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2619">constraint ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3151">dE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3519">distributEd systEm ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3520">distributEd systEms ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3752">du ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3834">E ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3865">Ec ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3896">Ed ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4148">Er ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4171">Es ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4199">Et ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4250">EvEnt ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4497">fi ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4520">filE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4700">fo ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4727">for ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4983">G ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5057">gE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5403">gu ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5434">h ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5768">hr ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5931">id ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5955">IE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5959">IEEE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6013">il ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6064">in ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6068">inc ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6143">inhEritancE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6194">int ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6274">intErfacE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6413">io ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6482">is ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6558">it ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6918">la ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6950">languagE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7091">LEx ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7399">ls ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7457">M ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8032">mo ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8040">mod ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8046">modE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8050">modEl ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8079">modulE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8228">ms ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8235">MSG.84 ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8386">na ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8460">nc ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8627">ng ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8760">ns ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9457">pE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9550">ph ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9908">pr ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10144">pt ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10253">quEry ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10364">rc ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10385">rE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10390">rEal ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10401">rEal-timE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10767">ro ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10918">S ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11010">sc ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11150">sE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11790">spEc ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11801">spEcification ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11934">st ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12246">sy ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12312">systEm ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12588">th ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12721">to ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12787">tr ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12939">tw ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12986">ua ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=13229">V ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=13310">vE ]