Matches in SemOpenAlex for { <https://semopenalex.org/work/W289084211> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W289084211 endingPage "151" @default.
- W289084211 startingPage "142" @default.
- W289084211 abstract "The work presented herein suggests a working method for the transformation of UML specifications to an event driven logic based formalism. The result models a fully expressive set of UML language constructs from the source language, in a first order model at meta level, and extend this with subclasses together with their relations in accordance with an input specification. The translation of any specification within this subset of the language is then achieved by just extending the meta model. The resulting model is expressed in first order logic. In this way the transformation preserves the conceptual integrity of the source specifications and provides a basis for further integration and verification." @default.
- W289084211 created "2016-06-24" @default.
- W289084211 creator A5009750520 @default.
- W289084211 creator A5028109093 @default.
- W289084211 date "2003-01-01" @default.
- W289084211 modified "2023-09-23" @default.
- W289084211 title "UML as a first order transition logic" @default.
- W289084211 hasPublicationYear "2003" @default.
- W289084211 type Work @default.
- W289084211 sameAs 289084211 @default.
- W289084211 citedByCount "5" @default.
- W289084211 countsByYear W2890842112020 @default.
- W289084211 crossrefType "proceedings-article" @default.
- W289084211 hasAuthorship W289084211A5009750520 @default.
- W289084211 hasAuthorship W289084211A5028109093 @default.
- W289084211 hasConcept C133264317 @default.
- W289084211 hasConcept C142362112 @default.
- W289084211 hasConcept C145644426 @default.
- W289084211 hasConcept C153349607 @default.
- W289084211 hasConcept C154945302 @default.
- W289084211 hasConcept C199360897 @default.
- W289084211 hasConcept C2776436953 @default.
- W289084211 hasConcept C2777904410 @default.
- W289084211 hasConcept C2779791154 @default.
- W289084211 hasConcept C41008148 @default.
- W289084211 hasConcept C41298492 @default.
- W289084211 hasConcept C558565934 @default.
- W289084211 hasConcept C73301696 @default.
- W289084211 hasConcept C80444323 @default.
- W289084211 hasConcept C86610423 @default.
- W289084211 hasConceptScore W289084211C133264317 @default.
- W289084211 hasConceptScore W289084211C142362112 @default.
- W289084211 hasConceptScore W289084211C145644426 @default.
- W289084211 hasConceptScore W289084211C153349607 @default.
- W289084211 hasConceptScore W289084211C154945302 @default.
- W289084211 hasConceptScore W289084211C199360897 @default.
- W289084211 hasConceptScore W289084211C2776436953 @default.
- W289084211 hasConceptScore W289084211C2777904410 @default.
- W289084211 hasConceptScore W289084211C2779791154 @default.
- W289084211 hasConceptScore W289084211C41008148 @default.
- W289084211 hasConceptScore W289084211C41298492 @default.
- W289084211 hasConceptScore W289084211C558565934 @default.
- W289084211 hasConceptScore W289084211C73301696 @default.
- W289084211 hasConceptScore W289084211C80444323 @default.
- W289084211 hasConceptScore W289084211C86610423 @default.
- W289084211 hasLocation W2890842111 @default.
- W289084211 hasOpenAccess W289084211 @default.
- W289084211 hasPrimaryLocation W2890842111 @default.
- W289084211 hasRelatedWork W1498165689 @default.
- W289084211 hasRelatedWork W1500956261 @default.
- W289084211 hasRelatedWork W1532666139 @default.
- W289084211 hasRelatedWork W1551156974 @default.
- W289084211 hasRelatedWork W1987805319 @default.
- W289084211 hasRelatedWork W2007218229 @default.
- W289084211 hasRelatedWork W2014310676 @default.
- W289084211 hasRelatedWork W2076944532 @default.
- W289084211 hasRelatedWork W2112144052 @default.
- W289084211 hasRelatedWork W2130221748 @default.
- W289084211 hasRelatedWork W2379799369 @default.
- W289084211 hasRelatedWork W2394760531 @default.
- W289084211 hasRelatedWork W2754783449 @default.
- W289084211 hasRelatedWork W2756108008 @default.
- W289084211 hasRelatedWork W2887487915 @default.
- W289084211 hasRelatedWork W2891366467 @default.
- W289084211 hasRelatedWork W2921438158 @default.
- W289084211 hasRelatedWork W2930651717 @default.
- W289084211 hasRelatedWork W3121324694 @default.
- W289084211 hasRelatedWork W992348267 @default.
- W289084211 isParatext "false" @default.
- W289084211 isRetracted "false" @default.
- W289084211 magId "289084211" @default.
- W289084211 workType "article" @default.