Matches in SemOpenAlex for { <https://semopenalex.org/work/W1747803203> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1747803203 endingPage "214" @default.
- W1747803203 startingPage "200" @default.
- W1747803203 abstract "Over a period of 30 years, ITU-T's Specification and Description Language (SDL) has matured to a sophisticated formal modelling language for distributed systems and communication protocols. The language definition of SDL-2000, the latest version of SDL, is complex and difficult to maintain. Full tool support for SDL is costly to implement. Therefore, only subsets of SDL are currently supported by tools. These SDL subsets - called SDL profiles - already cover a wide range of systems, and are often sufficient in practice. In this paper, we present a formalised approach for extracting the formal semantics for SDL profiles from the complete SDL semantics. Based on this formalisation, we then define a notion of profile consistency. Finally, we present our SDL-profile tool, and report on our experiences." @default.
- W1747803203 created "2016-06-24" @default.
- W1747803203 creator A5049868278 @default.
- W1747803203 creator A5072346732 @default.
- W1747803203 date "2007-07-03" @default.
- W1747803203 modified "2023-09-27" @default.
- W1747803203 title "SDL Profiles – Formal Semantics and Tool Support" @default.
- W1747803203 cites W1498294936 @default.
- W1747803203 cites W1502188990 @default.
- W1747803203 cites W1604299575 @default.
- W1747803203 cites W1973097078 @default.
- W1747803203 cites W2124981297 @default.
- W1747803203 doi "https://doi.org/10.1007/978-3-540-71289-3_17" @default.
- W1747803203 hasPublicationYear "2007" @default.
- W1747803203 type Work @default.
- W1747803203 sameAs 1747803203 @default.
- W1747803203 citedByCount "2" @default.
- W1747803203 crossrefType "book-chapter" @default.
- W1747803203 hasAuthorship W1747803203A5049868278 @default.
- W1747803203 hasAuthorship W1747803203A5072346732 @default.
- W1747803203 hasBestOaLocation W17478032031 @default.
- W1747803203 hasConcept C111498074 @default.
- W1747803203 hasConcept C115903868 @default.
- W1747803203 hasConcept C116253237 @default.
- W1747803203 hasConcept C146072743 @default.
- W1747803203 hasConcept C146499914 @default.
- W1747803203 hasConcept C154945302 @default.
- W1747803203 hasConcept C184337299 @default.
- W1747803203 hasConcept C199360897 @default.
- W1747803203 hasConcept C201677973 @default.
- W1747803203 hasConcept C2776436953 @default.
- W1747803203 hasConcept C2985583900 @default.
- W1747803203 hasConcept C41008148 @default.
- W1747803203 hasConcept C75606506 @default.
- W1747803203 hasConcept C90069079 @default.
- W1747803203 hasConceptScore W1747803203C111498074 @default.
- W1747803203 hasConceptScore W1747803203C115903868 @default.
- W1747803203 hasConceptScore W1747803203C116253237 @default.
- W1747803203 hasConceptScore W1747803203C146072743 @default.
- W1747803203 hasConceptScore W1747803203C146499914 @default.
- W1747803203 hasConceptScore W1747803203C154945302 @default.
- W1747803203 hasConceptScore W1747803203C184337299 @default.
- W1747803203 hasConceptScore W1747803203C199360897 @default.
- W1747803203 hasConceptScore W1747803203C201677973 @default.
- W1747803203 hasConceptScore W1747803203C2776436953 @default.
- W1747803203 hasConceptScore W1747803203C2985583900 @default.
- W1747803203 hasConceptScore W1747803203C41008148 @default.
- W1747803203 hasConceptScore W1747803203C75606506 @default.
- W1747803203 hasConceptScore W1747803203C90069079 @default.
- W1747803203 hasLocation W17478032031 @default.
- W1747803203 hasOpenAccess W1747803203 @default.
- W1747803203 hasPrimaryLocation W17478032031 @default.
- W1747803203 hasRelatedWork W1499154523 @default.
- W1747803203 hasRelatedWork W1518366467 @default.
- W1747803203 hasRelatedWork W1567915323 @default.
- W1747803203 hasRelatedWork W1568183443 @default.
- W1747803203 hasRelatedWork W1578243924 @default.
- W1747803203 hasRelatedWork W1708684578 @default.
- W1747803203 hasRelatedWork W1907546655 @default.
- W1747803203 hasRelatedWork W2020544977 @default.
- W1747803203 hasRelatedWork W2022163307 @default.
- W1747803203 hasRelatedWork W2064162456 @default.
- W1747803203 hasRelatedWork W2065511052 @default.
- W1747803203 hasRelatedWork W2151309769 @default.
- W1747803203 hasRelatedWork W2400712635 @default.
- W1747803203 hasRelatedWork W2600976358 @default.
- W1747803203 hasRelatedWork W3092295579 @default.
- W1747803203 hasRelatedWork W3098529355 @default.
- W1747803203 hasRelatedWork W62050315 @default.
- W1747803203 hasRelatedWork W1779952571 @default.
- W1747803203 hasRelatedWork W3107785719 @default.
- W1747803203 isParatext "false" @default.
- W1747803203 isRetracted "false" @default.
- W1747803203 magId "1747803203" @default.
- W1747803203 workType "book-chapter" @default.