Matches in SemOpenAlex for { <https://semopenalex.org/work/W2158402267> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2158402267 abstract "UML is widely used today for modelling complex systems. However, the tool support capabilities for UML is limited, partially due to its lack of precise semantics. There are some approaches that try to solve this by defining a formal semantics for UML, nonetheless it usually proves hard to implement the corresponding dynamic semantics. The paper presents an approach to define an executable semantics for UML that would enable tool vendors to build intelligent tools (symbolic execution, consistency checkers, etc.). We use Abstract State Machines (ASM) as an underlying formalism for our semantics definition, which is composed of static semantics and dynamic semantics. A part of the static semantics was done by expressing in ASM the UML meta-model and well formedness rules defined in the UML standard. The dynamic semantics is based on a set of behaviour primitives (time, communication, etc.). We define the ASM transition rules corresponding to UML actions. Using this semantic, we have been able to perform a symbolic execution of a UML model." @default.
- W2158402267 created "2016-06-24" @default.
- W2158402267 creator A5018426477 @default.
- W2158402267 date "2002-11-08" @default.
- W2158402267 modified "2023-09-24" @default.
- W2158402267 title "More meaningful UML models" @default.
- W2158402267 cites W1486021370 @default.
- W2158402267 cites W1552391866 @default.
- W2158402267 cites W1574057703 @default.
- W2158402267 cites W1885142743 @default.
- W2158402267 cites W1998017916 @default.
- W2158402267 cites W2127391147 @default.
- W2158402267 cites W3016740592 @default.
- W2158402267 cites W418655815 @default.
- W2158402267 doi "https://doi.org/10.1109/tools.2000.891365" @default.
- W2158402267 hasPublicationYear "2002" @default.
- W2158402267 type Work @default.
- W2158402267 sameAs 2158402267 @default.
- W2158402267 citedByCount "10" @default.
- W2158402267 countsByYear W21584022672012 @default.
- W2158402267 countsByYear W21584022672013 @default.
- W2158402267 countsByYear W21584022672016 @default.
- W2158402267 countsByYear W21584022672018 @default.
- W2158402267 crossrefType "proceedings-article" @default.
- W2158402267 hasAuthorship W2158402267A5018426477 @default.
- W2158402267 hasConcept C145644426 @default.
- W2158402267 hasConcept C146499914 @default.
- W2158402267 hasConcept C146939238 @default.
- W2158402267 hasConcept C156325763 @default.
- W2158402267 hasConcept C160145156 @default.
- W2158402267 hasConcept C184337299 @default.
- W2158402267 hasConcept C199360897 @default.
- W2158402267 hasConcept C2777904410 @default.
- W2158402267 hasConcept C41008148 @default.
- W2158402267 hasConcept C41298492 @default.
- W2158402267 hasConceptScore W2158402267C145644426 @default.
- W2158402267 hasConceptScore W2158402267C146499914 @default.
- W2158402267 hasConceptScore W2158402267C146939238 @default.
- W2158402267 hasConceptScore W2158402267C156325763 @default.
- W2158402267 hasConceptScore W2158402267C160145156 @default.
- W2158402267 hasConceptScore W2158402267C184337299 @default.
- W2158402267 hasConceptScore W2158402267C199360897 @default.
- W2158402267 hasConceptScore W2158402267C2777904410 @default.
- W2158402267 hasConceptScore W2158402267C41008148 @default.
- W2158402267 hasConceptScore W2158402267C41298492 @default.
- W2158402267 hasLocation W21584022671 @default.
- W2158402267 hasOpenAccess W2158402267 @default.
- W2158402267 hasPrimaryLocation W21584022671 @default.
- W2158402267 hasRelatedWork W1222965787 @default.
- W2158402267 hasRelatedWork W1489045083 @default.
- W2158402267 hasRelatedWork W1517797129 @default.
- W2158402267 hasRelatedWork W1544324534 @default.
- W2158402267 hasRelatedWork W1563632920 @default.
- W2158402267 hasRelatedWork W1592267339 @default.
- W2158402267 hasRelatedWork W1592508745 @default.
- W2158402267 hasRelatedWork W1607436658 @default.
- W2158402267 hasRelatedWork W1922627211 @default.
- W2158402267 hasRelatedWork W1926460446 @default.
- W2158402267 hasRelatedWork W2016656281 @default.
- W2158402267 hasRelatedWork W2024047464 @default.
- W2158402267 hasRelatedWork W2035687157 @default.
- W2158402267 hasRelatedWork W2067573892 @default.
- W2158402267 hasRelatedWork W2075390294 @default.
- W2158402267 hasRelatedWork W2106216655 @default.
- W2158402267 hasRelatedWork W2133550868 @default.
- W2158402267 hasRelatedWork W2159597605 @default.
- W2158402267 hasRelatedWork W2483754430 @default.
- W2158402267 hasRelatedWork W649136448 @default.
- W2158402267 isParatext "false" @default.
- W2158402267 isRetracted "false" @default.
- W2158402267 magId "2158402267" @default.
- W2158402267 workType "article" @default.