Matches in SemOpenAlex for { <https://semopenalex.org/work/W2125972052> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W2125972052 abstract "The Unified Modeling Language 2.0 Interactions language describes inter-component behavior. However, it cannot define meaningful time constraints. OCL for real time is a language for real-time constraints specification well-suited for describing constraints on interactions. This work defines a formal semantics for the merger of those languages. The semantics allows the recognition of valid and invalid behaviors of a system with time constraints. An analysis of the properties derived from the semantics is also done. In particular, the notions of refinement of interactions and refinement of constraints, intended for formal verification, are explored." @default.
- W2125972052 created "2016-06-24" @default.
- W2125972052 creator A5006713267 @default.
- W2125972052 creator A5033159888 @default.
- W2125972052 creator A5072561706 @default.
- W2125972052 date "2008-09-01" @default.
- W2125972052 modified "2023-10-18" @default.
- W2125972052 title "UML 2.0 interactions with OCL/RT constraints" @default.
- W2125972052 cites W1536620573 @default.
- W2125972052 cites W1548031742 @default.
- W2125972052 cites W1581532873 @default.
- W2125972052 cites W1874980535 @default.
- W2125972052 cites W1935984762 @default.
- W2125972052 cites W2012980297 @default.
- W2125972052 cites W2150320481 @default.
- W2125972052 cites W2168914087 @default.
- W2125972052 doi "https://doi.org/10.1109/fdl.2008.4641440" @default.
- W2125972052 hasPublicationYear "2008" @default.
- W2125972052 type Work @default.
- W2125972052 sameAs 2125972052 @default.
- W2125972052 citedByCount "5" @default.
- W2125972052 countsByYear W21259720522015 @default.
- W2125972052 countsByYear W21259720522016 @default.
- W2125972052 crossrefType "proceedings-article" @default.
- W2125972052 hasAuthorship W2125972052A5006713267 @default.
- W2125972052 hasAuthorship W2125972052A5033159888 @default.
- W2125972052 hasAuthorship W2125972052A5072561706 @default.
- W2125972052 hasBestOaLocation W21259720522 @default.
- W2125972052 hasConcept C115903868 @default.
- W2125972052 hasConcept C133264317 @default.
- W2125972052 hasConcept C145644426 @default.
- W2125972052 hasConcept C199360897 @default.
- W2125972052 hasConcept C2777904410 @default.
- W2125972052 hasConcept C41008148 @default.
- W2125972052 hasConcept C41298492 @default.
- W2125972052 hasConceptScore W2125972052C115903868 @default.
- W2125972052 hasConceptScore W2125972052C133264317 @default.
- W2125972052 hasConceptScore W2125972052C145644426 @default.
- W2125972052 hasConceptScore W2125972052C199360897 @default.
- W2125972052 hasConceptScore W2125972052C2777904410 @default.
- W2125972052 hasConceptScore W2125972052C41008148 @default.
- W2125972052 hasConceptScore W2125972052C41298492 @default.
- W2125972052 hasLocation W21259720521 @default.
- W2125972052 hasLocation W21259720522 @default.
- W2125972052 hasOpenAccess W2125972052 @default.
- W2125972052 hasPrimaryLocation W21259720521 @default.
- W2125972052 hasRelatedWork W1775132212 @default.
- W2125972052 hasRelatedWork W1881412220 @default.
- W2125972052 hasRelatedWork W1987499160 @default.
- W2125972052 hasRelatedWork W2121047523 @default.
- W2125972052 hasRelatedWork W2143894868 @default.
- W2125972052 hasRelatedWork W2145823386 @default.
- W2125972052 hasRelatedWork W2295033459 @default.
- W2125972052 hasRelatedWork W2381137142 @default.
- W2125972052 hasRelatedWork W2753288322 @default.
- W2125972052 hasRelatedWork W1731380002 @default.
- W2125972052 isParatext "false" @default.
- W2125972052 isRetracted "false" @default.
- W2125972052 magId "2125972052" @default.
- W2125972052 workType "article" @default.