Matches in SemOpenAlex for { <https://semopenalex.org/work/W25182015> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W25182015 startingPage "21" @default.
- W25182015 abstract "We present a comprehensive formal semantics for a UML state machine kernel which also considers the use and manipulation of complex structured data. We refer to the UML standard Version 2.1.1 which was published in year 2007. There has been no work that completely integrates complex structured data into a UML state machine semantics. We follow a ”semantics-first” approach (in opposite to a ”complete-notation-first” approach) in which we consider a sound basic kernel of the UML state machine notation, and extend this kernel only ater a thorough investigation of the impacts. We define an operational semantics which is intended to be implemented in a standard programming language. Currently we use such an implementation to automatically generate test cases out of a state machine specification. This document is intended to be adapted if necessary. We will indicate that by the version number given above, whereat the major version number indicates changes of the considered subset and the minor version number indicates adoptions and corrections." @default.
- W25182015 created "2016-06-24" @default.
- W25182015 creator A5004196671 @default.
- W25182015 date "2008-01-01" @default.
- W25182015 modified "2023-09-25" @default.
- W25182015 title "An Executable Formal Semantics for a UML State Machine Kernel Considering Complex Structured Data" @default.
- W25182015 cites W103442735 @default.
- W25182015 cites W1515710041 @default.
- W25182015 cites W1524841331 @default.
- W25182015 cites W1534869992 @default.
- W25182015 cites W1551331198 @default.
- W25182015 cites W1570069626 @default.
- W25182015 cites W1588335385 @default.
- W25182015 cites W1590686765 @default.
- W25182015 cites W1595858173 @default.
- W25182015 cites W1758496109 @default.
- W25182015 cites W1977237988 @default.
- W25182015 cites W2020034474 @default.
- W25182015 cites W2121163444 @default.
- W25182015 cites W2125493459 @default.
- W25182015 cites W2129395888 @default.
- W25182015 cites W2144973245 @default.
- W25182015 cites W70247492 @default.
- W25182015 hasPublicationYear "2008" @default.
- W25182015 type Work @default.
- W25182015 sameAs 25182015 @default.
- W25182015 citedByCount "1" @default.
- W25182015 crossrefType "journal-article" @default.
- W25182015 hasAuthorship W25182015A5004196671 @default.
- W25182015 hasConcept C145644426 @default.
- W25182015 hasConcept C156325763 @default.
- W25182015 hasConcept C160145156 @default.
- W25182015 hasConcept C167822520 @default.
- W25182015 hasConcept C184337299 @default.
- W25182015 hasConcept C199360897 @default.
- W25182015 hasConcept C2777904410 @default.
- W25182015 hasConcept C33923547 @default.
- W25182015 hasConcept C41008148 @default.
- W25182015 hasConcept C45357846 @default.
- W25182015 hasConcept C80444323 @default.
- W25182015 hasConcept C94375191 @default.
- W25182015 hasConceptScore W25182015C145644426 @default.
- W25182015 hasConceptScore W25182015C156325763 @default.
- W25182015 hasConceptScore W25182015C160145156 @default.
- W25182015 hasConceptScore W25182015C167822520 @default.
- W25182015 hasConceptScore W25182015C184337299 @default.
- W25182015 hasConceptScore W25182015C199360897 @default.
- W25182015 hasConceptScore W25182015C2777904410 @default.
- W25182015 hasConceptScore W25182015C33923547 @default.
- W25182015 hasConceptScore W25182015C41008148 @default.
- W25182015 hasConceptScore W25182015C45357846 @default.
- W25182015 hasConceptScore W25182015C80444323 @default.
- W25182015 hasConceptScore W25182015C94375191 @default.
- W25182015 hasLocation W251820151 @default.
- W25182015 hasOpenAccess W25182015 @default.
- W25182015 hasPrimaryLocation W251820151 @default.
- W25182015 hasRelatedWork W1222965787 @default.
- W25182015 hasRelatedWork W1489045083 @default.
- W25182015 hasRelatedWork W1517797129 @default.
- W25182015 hasRelatedWork W1544324534 @default.
- W25182015 hasRelatedWork W1552255008 @default.
- W25182015 hasRelatedWork W1561530488 @default.
- W25182015 hasRelatedWork W1592508745 @default.
- W25182015 hasRelatedWork W1922627211 @default.
- W25182015 hasRelatedWork W1947925521 @default.
- W25182015 hasRelatedWork W2024047464 @default.
- W25182015 hasRelatedWork W2158402267 @default.
- W25182015 hasRelatedWork W2170134832 @default.
- W25182015 hasRelatedWork W2483754430 @default.
- W25182015 hasRelatedWork W2543293958 @default.
- W25182015 hasRelatedWork W3134173190 @default.
- W25182015 hasRelatedWork W3139409662 @default.
- W25182015 hasRelatedWork W61382109 @default.
- W25182015 hasRelatedWork W649136448 @default.
- W25182015 hasRelatedWork W99640918 @default.
- W25182015 hasRelatedWork W2503975863 @default.
- W25182015 isParatext "false" @default.
- W25182015 isRetracted "false" @default.
- W25182015 magId "25182015" @default.
- W25182015 workType "article" @default.