FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2155391106> ?p ?o ?g. }

• W2155391106 endingPage "145" @default.
• W2155391106 startingPage "128" @default.
• W2155391106 abstract "This paper presents a technique and a tool for model-checking operational (design level) UML models based on a mapping to a model of communicating extended timed automata. The target language of the mapping is the IF format, for which existing model-checking and simulation tools can be used. Our approach takes into consideration most of the structural and behavioural features of UML, including object-oriented aspects. It handles the combination of operations, state machines, inheritance and polymorphism, with a particular semantic profile for communication and concurrency. We adopt a UML profile that includes extensions for expressing timing. The breadth of concepts covered by our mapping is an important point, as many previous approaches for applying formal validation to UML put much stronger limitations on the considered models. For expressing properties about models, a formalism called UML observers is defined in this paper. Observers reuse existing concepts like classes and state machines, and they allow expressing a significant class of linear temporal properties. The approach is implemented in a tool that imports UML models from an XMI repository, thus supporting several editors like Rational Rose, Rhapsody or Argo. The generated IF models may be simulated and verified via an interface that presents feedback in the vocabulary of the original UML model." @default.
• W2155391106 created "2016-06-24" @default.
• W2155391106 creator A5018426477 @default.
• W2155391106 creator A5074935721 @default.
• W2155391106 date "2005-12-23" @default.
• W2155391106 modified "2023-10-14" @default.
• W2155391106 title "Validating timed UML models by simulation and verification" @default.
• W2155391106 cites W1486021370 @default.
• W2155391106 cites W1497879578 @default.
• W2155391106 cites W1508451833 @default.
• W2155391106 cites W1526808427 @default.
• W2155391106 cites W1534958051 @default.
• W2155391106 cites W1553922847 @default.
• W2155391106 cites W1574837706 @default.
• W2155391106 cites W1581960837 @default.
• W2155391106 cites W1582964729 @default.
• W2155391106 cites W1592267339 @default.
• W2155391106 cites W1597414920 @default.
• W2155391106 cites W1782531476 @default.
• W2155391106 cites W1977237988 @default.
• W2155391106 cites W1985161650 @default.
• W2155391106 cites W2000947342 @default.
• W2155391106 cites W2013380671 @default.
• W2155391106 cites W2020034474 @default.
• W2155391106 cites W2025975926 @default.
• W2155391106 cites W2050435310 @default.
• W2155391106 cites W2101508170 @default.
• W2155391106 cites W2106216655 @default.
• W2155391106 cites W2115309705 @default.
• W2155391106 cites W2121163444 @default.
• W2155391106 cites W2128843729 @default.
• W2155391106 cites W2129395888 @default.
• W2155391106 cites W2130953425 @default.
• W2155391106 cites W2135747418 @default.
• W2155391106 cites W2140527460 @default.
• W2155391106 cites W2141706812 @default.
• W2155391106 cites W2156027773 @default.
• W2155391106 cites W2159720139 @default.
• W2155391106 cites W2169170386 @default.
• W2155391106 cites W2171427669 @default.
• W2155391106 cites W4206056772 @default.
• W2155391106 cites W4239339565 @default.
• W2155391106 cites W4250917348 @default.
• W2155391106 cites W750017119 @default.
• W2155391106 doi "https://doi.org/10.1007/s10009-005-0205-x" @default.
• W2155391106 hasPublicationYear "2005" @default.
• W2155391106 type Work @default.
• W2155391106 sameAs 2155391106 @default.
• W2155391106 citedByCount "90" @default.
• W2155391106 countsByYear W21553911062012 @default.
• W2155391106 countsByYear W21553911062013 @default.
• W2155391106 countsByYear W21553911062014 @default.
• W2155391106 countsByYear W21553911062015 @default.
• W2155391106 countsByYear W21553911062016 @default.
• W2155391106 countsByYear W21553911062017 @default.
• W2155391106 countsByYear W21553911062018 @default.
• W2155391106 countsByYear W21553911062019 @default.
• W2155391106 countsByYear W21553911062020 @default.
• W2155391106 countsByYear W21553911062021 @default.
• W2155391106 countsByYear W21553911062023 @default.
• W2155391106 crossrefType "journal-article" @default.
• W2155391106 hasAuthorship W2155391106A5018426477 @default.
• W2155391106 hasAuthorship W2155391106A5074935721 @default.
• W2155391106 hasBestOaLocation W21553911062 @default.
• W2155391106 hasConcept C115903868 @default.
• W2155391106 hasConcept C133264317 @default.
• W2155391106 hasConcept C145644426 @default.
• W2155391106 hasConcept C146939238 @default.
• W2155391106 hasConcept C199360897 @default.
• W2155391106 hasConcept C202446494 @default.
• W2155391106 hasConcept C2777904410 @default.
• W2155391106 hasConcept C41008148 @default.
• W2155391106 hasConcept C41298492 @default.
• W2155391106 hasConceptScore W2155391106C115903868 @default.
• W2155391106 hasConceptScore W2155391106C133264317 @default.
• W2155391106 hasConceptScore W2155391106C145644426 @default.
• W2155391106 hasConceptScore W2155391106C146939238 @default.
• W2155391106 hasConceptScore W2155391106C199360897 @default.
• W2155391106 hasConceptScore W2155391106C202446494 @default.
• W2155391106 hasConceptScore W2155391106C2777904410 @default.
• W2155391106 hasConceptScore W2155391106C41008148 @default.
• W2155391106 hasConceptScore W2155391106C41298492 @default.
• W2155391106 hasIssue "2" @default.
• W2155391106 hasLocation W21553911061 @default.
• W2155391106 hasLocation W21553911062 @default.
• W2155391106 hasOpenAccess W2155391106 @default.
• W2155391106 hasPrimaryLocation W21553911061 @default.
• W2155391106 hasRelatedWork W1510078815 @default.
• W2155391106 hasRelatedWork W1789694677 @default.
• W2155391106 hasRelatedWork W1994499229 @default.
• W2155391106 hasRelatedWork W2020544977 @default.
• W2155391106 hasRelatedWork W2119284483 @default.
• W2155391106 hasRelatedWork W2119426499 @default.
• W2155391106 hasRelatedWork W2121047523 @default.
• W2155391106 hasRelatedWork W2381137142 @default.
• W2155391106 hasRelatedWork W2391415470 @default.
• W2155391106 hasRelatedWork W4244561441 @default.
• W2155391106 hasVolume "8" @default.

• next