Specification and Description Language (original) (raw)
SDL és un llenguatge d'especificació formal i visual normat per la ITU-T en l'estàndard Z.100, així com l'acrònim de Specification and Description Language. El llenguatge SDL està dissenyat per a l'especificació de sistemes complexos, interactius, orientats a esdeveniments, de temps real o que presentin un comportament paral·lel, i on mòduls o entitats independents es comuniquin per mitjà de senyals per efectuar la seva funció.
| Property | Value |
|---|---|
| dbo:abstract | SDL és un llenguatge d'especificació formal i visual normat per la ITU-T en l'estàndard Z.100, així com l'acrònim de Specification and Description Language. El llenguatge SDL està dissenyat per a l'especificació de sistemes complexos, interactius, orientats a esdeveniments, de temps real o que presentin un comportament paral·lel, i on mòduls o entitats independents es comuniquin per mitjà de senyals per efectuar la seva funció. (ca) Die Spezifikations- und Beschreibungssprache (SDL, englisch Specification and Description Language) ist eine von der ITU-T, d. h. dem Telekommunikations-Standardisierungs-Sektor der Internationalen Fernmeldeunion, in den sogenannten Standards (Recommendations) Z.100ff definierte Modellierungssprache. Sie ist im Telekommunikationsbereich verbreitet, um (verteilte) Systeme mittels erweiterter Zustandsautomaten (Prozesse) zu beschreiben. Die verschiedenen Prozesse werden über Kanäle verbunden und können darüber Signale austauschen und sich damit gegenseitig beeinflussen. Ein in SDL spezifiziertes System kann man entweder als Text (Textual Phrase Representation/PR) oder in graphischer Form (Graphic Representation/GR) darstellen. (de) SDL es un lenguaje de especificación formal y visual normado por la ITU-T en el estándar Z.100, así como el acrónimo de Specification and Description Language. El lenguaje SDL está diseñado para la especificación de sistemas complejos, interactivos, orientados a eventos, de tiempo real o que presenten un comportamiento paralelo, y donde módulos o entidades independientes se comuniquen por medio de señales para efectuar su función. (es) Le Specification and Description Language (SDL) ou Langage de description et de spécification (LDS) est un standard de l'Union internationale des télécommunications (ITU-T) sous la référence Z.100. Ce langage a pour objectif de décrire de manière non ambiguë les protocoles de télécommunications. On retrouve ainsi des descriptions SDL dans les standards de l'ETSI tels que le X.25 ou le GSM. (fr) Specification and Description Language (SDL) is a specification language targeted at the unambiguous specification and description of the behaviour of reactive and distributed systems. (en) Lo Specification and Description Language (SDL) è un linguaggio di specifica definito dall'ITU-T e orientato alla del comportamento di sistemi hardware/software per le telecomunicazioni, distribuiti e . La semantica del linguaggio è basata sul modello formale delle macchine a stati finiti ("Finite State Machine(s)", FSM). Il linguaggio comprende una notazione grafica (nota come SDL/GR) e una testuale (SDL/PR); le due notazioni sono semanticamente equivalenti e interscambiabili. La seconda è orientata soprattutto all'interscambio e all'archiviazione dei documenti di specifica realizzati in SDL. La prima versione del linguaggio venne sviluppata nel 1976 (SDL-76). Successive revisioni ebbero luogo nel 1980 (SDL-80), nel 1984 (SDL-84), nel 1988 (SDL-88), nel 1992 (SDL-92) e nel 1999-2000 (SDL-2000). Le ultime versioni del linguaggio (a partire da SDL-92) hanno acquisito elementi del paradigma object-oriented, e per l'ultima versione (SDL-2000) è stata realizzata un'integrazione con il linguaggio di modellazione a oggetti UML nella forma di un profilo UML dedicato a SDL. (it) 仕様及び記述言語（しようおよびきじゅつげんご、SDL: Specification and Description Language）は、システムの仕様を記述するための言語であり、曖昧さのない仕様記述を実現するために作られた。主な対象は受動的な分散システムである。スウェーデンの計算機科学者イヴァー・ヤコブソンは、ソフトウェア開発を行うために青写真 (blueprints) が必要であると考え、仕様記述言語、 SDL(Specification and Description Language) の最初の版の開発者の一人となり、SDLは電話業界での標準となった(ITU-T勧告)。 (ja) SDL (Specification and Description Language - Linguagem de Especificação e Descrição) é uma linguagem padrão para especificação e descrição formal de sistemas de tempo real. Está inserido no conceito presente na indústria de telecomunicações, porém pode ser utilizado em outras áreas de aplicações. Foi normatizada pela União Internacional de Telecomunicações (ITU-T) na Recomendação Z.100. A linguagem possui duas representações equivalentes: uma gráfica (SDL/GR) e outra textual (SDL/PR). (pt) Specification and Description Language (SDL) är ett formellt språk som standardiserats av ITU (rekommendation Z.100). Språket har sina rötter inom telekomindustrin, och är ursprungligen avsett för att specificera och beskriva beteendet i ett system, som modelleras som kommunicerande tillståndsmaskiner (processer). Exempelvis kan kommunikationsprotokoll specificeras och analyseras. Språket är fullständigt och konsistent, vilket möjliggör generering av körbar kod från en SDL-modell – det går alltså att använda som ett programspråk. Språket har både en textuell och en grafisk notation, SDL/PR respektive SDL/GR SDL används ofta i kombination med MSC, ASN.1 och TTCN. (sv) Specification and Description Language (SDL) — это язык спецификаций с формальной семантикой. Предназначен для получения недвусмысленного описания поведения реактивных и распределенных систем. Разработан и стандартизован МККТТ. Основывается на моделях расширенных конечных автоматов (ESFM (англ.)) для описания поведения системы и абстрактных типов данных. Является смешанным языком спецификаций, так как позволяет определять как динамическую часть системы (коммуникацию процессов), так и статическую (типы данных). (ru) |
| dbo:thumbnail | wiki-commons:Special:FilePath/SdlArchitecture.jpg?width=300 |
| dbo:wikiPageExternalLink | http://sdl-forum.org/Tools/index.htm http://www.itu.int/rec/T-REC-z http://sdl-forum.org/Society/AboutUs.htm |
| dbo:wikiPageID | 2246590 (xsd:integer) |
| dbo:wikiPageLength | 7828 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1093106391 (xsd:integer) |
| dbo:wikiPageWikiLink | dbc:Software_modeling_language dbc:Diagrams dbc:ITU-T_recommendations dbr:Specification_(technical_standard) dbr:Specification_language dbc:Telecommunication_protocols dbc:Formal_specification_languages dbr:Unified_Modeling_Language dbr:Ivar_Jacobson dbr:ASN.1 dbr:Message_Sequence_Chart dbr:ITU-T dbr:TNSDL dbr:TTCN-3 dbr:Turing_completeness dbr:Finite_state_machine dbr:Distributed_system dbr:File:SdlStateMachine.png dbr:File:SdlArchitecture.JPG dbr:File:SdlChannels.png dbr:File:SdlSymbols.jpg |
| dbp:wikiPageUsesTemplate | dbt:As_of dbt:Authority_control dbt:Commons_category dbt:Reflist |
| dct:subject | dbc:Software_modeling_language dbc:Diagrams dbc:ITU-T_recommendations dbc:Telecommunication_protocols dbc:Formal_specification_languages |
| gold:hypernym | dbr:Language |
| rdf:type | owl:Thing dbo:Language |
| rdfs:comment | SDL és un llenguatge d'especificació formal i visual normat per la ITU-T en l'estàndard Z.100, així com l'acrònim de Specification and Description Language. El llenguatge SDL està dissenyat per a l'especificació de sistemes complexos, interactius, orientats a esdeveniments, de temps real o que presentin un comportament paral·lel, i on mòduls o entitats independents es comuniquin per mitjà de senyals per efectuar la seva funció. (ca) SDL es un lenguaje de especificación formal y visual normado por la ITU-T en el estándar Z.100, así como el acrónimo de Specification and Description Language. El lenguaje SDL está diseñado para la especificación de sistemas complejos, interactivos, orientados a eventos, de tiempo real o que presenten un comportamiento paralelo, y donde módulos o entidades independientes se comuniquen por medio de señales para efectuar su función. (es) Le Specification and Description Language (SDL) ou Langage de description et de spécification (LDS) est un standard de l'Union internationale des télécommunications (ITU-T) sous la référence Z.100. Ce langage a pour objectif de décrire de manière non ambiguë les protocoles de télécommunications. On retrouve ainsi des descriptions SDL dans les standards de l'ETSI tels que le X.25 ou le GSM. (fr) Specification and Description Language (SDL) is a specification language targeted at the unambiguous specification and description of the behaviour of reactive and distributed systems. (en) 仕様及び記述言語（しようおよびきじゅつげんご、SDL: Specification and Description Language）は、システムの仕様を記述するための言語であり、曖昧さのない仕様記述を実現するために作られた。主な対象は受動的な分散システムである。スウェーデンの計算機科学者イヴァー・ヤコブソンは、ソフトウェア開発を行うために青写真 (blueprints) が必要であると考え、仕様記述言語、 SDL(Specification and Description Language) の最初の版の開発者の一人となり、SDLは電話業界での標準となった(ITU-T勧告)。 (ja) SDL (Specification and Description Language - Linguagem de Especificação e Descrição) é uma linguagem padrão para especificação e descrição formal de sistemas de tempo real. Está inserido no conceito presente na indústria de telecomunicações, porém pode ser utilizado em outras áreas de aplicações. Foi normatizada pela União Internacional de Telecomunicações (ITU-T) na Recomendação Z.100. A linguagem possui duas representações equivalentes: uma gráfica (SDL/GR) e outra textual (SDL/PR). (pt) Specification and Description Language (SDL) — это язык спецификаций с формальной семантикой. Предназначен для получения недвусмысленного описания поведения реактивных и распределенных систем. Разработан и стандартизован МККТТ. Основывается на моделях расширенных конечных автоматов (ESFM (англ.)) для описания поведения системы и абстрактных типов данных. Является смешанным языком спецификаций, так как позволяет определять как динамическую часть системы (коммуникацию процессов), так и статическую (типы данных). (ru) Die Spezifikations- und Beschreibungssprache (SDL, englisch Specification and Description Language) ist eine von der ITU-T, d. h. dem Telekommunikations-Standardisierungs-Sektor der Internationalen Fernmeldeunion, in den sogenannten Standards (Recommendations) Z.100ff definierte Modellierungssprache. Sie ist im Telekommunikationsbereich verbreitet, um (verteilte) Systeme mittels erweiterter Zustandsautomaten (Prozesse) zu beschreiben. Die verschiedenen Prozesse werden über Kanäle verbunden und können darüber Signale austauschen und sich damit gegenseitig beeinflussen. (de) Lo Specification and Description Language (SDL) è un linguaggio di specifica definito dall'ITU-T e orientato alla del comportamento di sistemi hardware/software per le telecomunicazioni, distribuiti e . La semantica del linguaggio è basata sul modello formale delle macchine a stati finiti ("Finite State Machine(s)", FSM). (it) Specification and Description Language (SDL) är ett formellt språk som standardiserats av ITU (rekommendation Z.100). Språket har sina rötter inom telekomindustrin, och är ursprungligen avsett för att specificera och beskriva beteendet i ett system, som modelleras som kommunicerande tillståndsmaskiner (processer). Exempelvis kan kommunikationsprotokoll specificeras och analyseras. Språket är fullständigt och konsistent, vilket möjliggör generering av körbar kod från en SDL-modell – det går alltså att använda som ett programspråk. SDL används ofta i kombination med MSC, ASN.1 och TTCN. (sv) |
| rdfs:label | SDL (ca) Specification and Description Language (de) SDL (lenguaje de especificación) (es) Specification and Description Language (fr) Specification and Description Language (it) 仕様及び記述言語 (ja) Specification and Description Language (en) SDL (linguagem) (pt) Specification and Description Language (sv) Specification and Description Language (ru) |
| owl:sameAs | freebase:Specification and Description Language wikidata:Specification and Description Language dbpedia-ca:Specification and Description Language dbpedia-de:Specification and Description Language dbpedia-es:Specification and Description Language dbpedia-fr:Specification and Description Language dbpedia-it:Specification and Description Language dbpedia-ja:Specification and Description Language dbpedia-pt:Specification and Description Language dbpedia-ru:Specification and Description Language dbpedia-sv:Specification and Description Language https://global.dbpedia.org/id/4nTse |
| prov:wasDerivedFrom | wikipedia-en:Specification_and_Description_Language?oldid=1093106391&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/SdlStateMachine.png wiki-commons:Special:FilePath/SdlArchitecture.jpg wiki-commons:Special:FilePath/SdlChannels.png wiki-commons:Special:FilePath/SdlSymbols.jpg |
| foaf:isPrimaryTopicOf | wikipedia-en:Specification_and_Description_Language |
| is dbo:wikiPageDisambiguates of | dbr:Description_language dbr:SDL |
| is dbo:wikiPageRedirects of | dbr:List_of_SDL_tools dbr:SDL-RT dbr:Langage_de_description_et_de_spécification dbr:Specification_and_Design_Language |
| is dbo:wikiPageWikiLink of | dbr:PragmaDev_Studio dbr:List_of_Unified_Modeling_Language_tools dbr:List_of_build_automation_software dbr:Message_sequence_chart dbr:UniPro dbr:John_Nissen dbr:List_of_SDL_tools dbr:DEVS dbr:Library_of_Congress_Classification:Class_Q_--_Science dbr:Protocol_engineering dbr:Conceptual_clustering dbr:Description_language dbr:PLEX_(programming_language) dbr:Specification_(technical_standard) dbr:Activity_diagram dbr:Domain-specific_language dbr:Abstract_state_machine dbr:Formal_methods dbr:ASN.1 dbr:AXE_telephone_exchange dbr:Modeling_language dbr:Reachability_analysis dbr:Real-time_testing dbr:Software_development dbr:SDL dbr:Visual_programming_language dbr:ITU-T dbr:Event-driven_finite-state_machine dbr:Finite-state_machine dbr:Telelogic dbr:TNSDL dbr:UML_tool dbr:SDL-RT dbr:Outline_of_the_United_Nations dbr:Langage_de_description_et_de_spécification dbr:Specification_and_Design_Language |
| is foaf:primaryTopic of | wikipedia-en:Specification_and_Description_Language |
