Matches in SemOpenAlex for { <https://semopenalex.org/work/W4323660280> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W4323660280 endingPage "103739" @default.
- W4323660280 startingPage "103739" @default.
- W4323660280 abstract "UML diagrams are the conventional methods for visual modeling systems. Among them, the Statechart diagrams are used to show the runtime behavior of a system, but the correctness of such diagrams is the primary concern of the designers because of concurrency issues like livelock, inaccessible states, and non-deterministic states. Process algebra methods have the capabilities that are suitable for verification and validation of Statecharts. To this end, in this paper, process algebra language LOTOS (Language Of Temporal Ordering Specification) is used as the target language, and a method is presented to map UML Statecharts to the LOTOS processes, called USLP. Then the correctness of the proposed mappings is proved by demonstrating the isomorphism relation between the Labeled Transition System (LTS) of a Statechart and the LTS of its transformed LOTOS specification. Next, tools CADP (Construction and Analysis of Distributed Processes) is used for verification and validation of the mapped LOTOS models, and the CSP process algebra and its tools, FDR are used to verify the properties could not be verified by the LOTOS and its toolset. The experimental results show our approach can: (1) verify some properties (the issues) that are not verified by other approaches and (2) reduce the space that should be searched to verify the properties." @default.
- W4323660280 created "2023-03-10" @default.
- W4323660280 creator A5032967106 @default.
- W4323660280 creator A5062301410 @default.
- W4323660280 creator A5064120418 @default.
- W4323660280 date "2023-08-01" @default.
- W4323660280 modified "2023-09-26" @default.
- W4323660280 title "Using a process algebra interface for verification and validation of UML statecharts" @default.
- W4323660280 cites W1970560823 @default.
- W4323660280 cites W2018568588 @default.
- W4323660280 cites W2039319112 @default.
- W4323660280 cites W2039856183 @default.
- W4323660280 cites W2091661303 @default.
- W4323660280 cites W2135692276 @default.
- W4323660280 cites W2182532498 @default.
- W4323660280 cites W2507213574 @default.
- W4323660280 cites W2521390033 @default.
- W4323660280 cites W2756108008 @default.
- W4323660280 cites W2773588639 @default.
- W4323660280 cites W2907736084 @default.
- W4323660280 cites W2955510165 @default.
- W4323660280 cites W3099369614 @default.
- W4323660280 cites W4246447992 @default.
- W4323660280 doi "https://doi.org/10.1016/j.csi.2023.103739" @default.
- W4323660280 hasPublicationYear "2023" @default.
- W4323660280 type Work @default.
- W4323660280 citedByCount "0" @default.
- W4323660280 crossrefType "journal-article" @default.
- W4323660280 hasAuthorship W4323660280A5032967106 @default.
- W4323660280 hasAuthorship W4323660280A5062301410 @default.
- W4323660280 hasAuthorship W4323660280A5064120418 @default.
- W4323660280 hasConcept C113843644 @default.
- W4323660280 hasConcept C129307140 @default.
- W4323660280 hasConcept C145644426 @default.
- W4323660280 hasConcept C157915830 @default.
- W4323660280 hasConcept C161771561 @default.
- W4323660280 hasConcept C173608175 @default.
- W4323660280 hasConcept C193702766 @default.
- W4323660280 hasConcept C199360897 @default.
- W4323660280 hasConcept C21285288 @default.
- W4323660280 hasConcept C2777904410 @default.
- W4323660280 hasConcept C41008148 @default.
- W4323660280 hasConcept C55439883 @default.
- W4323660280 hasConcept C80444323 @default.
- W4323660280 hasConcept C98045186 @default.
- W4323660280 hasConceptScore W4323660280C113843644 @default.
- W4323660280 hasConceptScore W4323660280C129307140 @default.
- W4323660280 hasConceptScore W4323660280C145644426 @default.
- W4323660280 hasConceptScore W4323660280C157915830 @default.
- W4323660280 hasConceptScore W4323660280C161771561 @default.
- W4323660280 hasConceptScore W4323660280C173608175 @default.
- W4323660280 hasConceptScore W4323660280C193702766 @default.
- W4323660280 hasConceptScore W4323660280C199360897 @default.
- W4323660280 hasConceptScore W4323660280C21285288 @default.
- W4323660280 hasConceptScore W4323660280C2777904410 @default.
- W4323660280 hasConceptScore W4323660280C41008148 @default.
- W4323660280 hasConceptScore W4323660280C55439883 @default.
- W4323660280 hasConceptScore W4323660280C80444323 @default.
- W4323660280 hasConceptScore W4323660280C98045186 @default.
- W4323660280 hasFunder F4320323435 @default.
- W4323660280 hasLocation W43236602801 @default.
- W4323660280 hasOpenAccess W4323660280 @default.
- W4323660280 hasPrimaryLocation W43236602801 @default.
- W4323660280 hasRelatedWork W1496409793 @default.
- W4323660280 hasRelatedWork W1521353230 @default.
- W4323660280 hasRelatedWork W1548537923 @default.
- W4323660280 hasRelatedWork W163665164 @default.
- W4323660280 hasRelatedWork W2134760321 @default.
- W4323660280 hasRelatedWork W2158446781 @default.
- W4323660280 hasRelatedWork W2234667902 @default.
- W4323660280 hasRelatedWork W3217722979 @default.
- W4323660280 hasRelatedWork W4206956498 @default.
- W4323660280 hasRelatedWork W4365450507 @default.
- W4323660280 hasVolume "86" @default.
- W4323660280 isParatext "false" @default.
- W4323660280 isRetracted "false" @default.
- W4323660280 workType "article" @default.