Matches in SemOpenAlex for { <https://semopenalex.org/work/W2128454912> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W2128454912 endingPage "542" @default.
- W2128454912 startingPage "533" @default.
- W2128454912 abstract "Article history: Received October 28, 2013 Received in revised format 20 November 2013 Accepted 10 January 2014 Available online January 14 2014 During the past few years, there has been growing interest to use unified modeling language (UML) to consider the functional requirements. However, lacking a tool to detect the accuracy and the logic of diagrams in this language makes a formal model indispensable. In this study, conversion of primary UML model of a system to a colored Petri net has been accomplished in order to examine the precision of the model. For this purpose, first the definition of priority and implementation tags for UML activity diagram are provided; then it is turned into colored Petri net. Second, the proposed model provides translated tags in terms of net transitions and some monitors are used to control the system characteristics. Finally, an executable model of UML activity diagram is provided so that the designer could simulate the model by using the simulation results to detect and to refine the problems of the model. In addition, by checking the results, we find out the proposed method enhances authenticity and accuracy of early models and the ratio of system validation increases compared with previous methods. © 2014 Growing Science Ltd. All rights reserved." @default.
- W2128454912 created "2016-06-24" @default.
- W2128454912 creator A5024520922 @default.
- W2128454912 creator A5068702775 @default.
- W2128454912 date "2014-01-01" @default.
- W2128454912 modified "2023-09-28" @default.
- W2128454912 title "Information systems validation using formal models" @default.
- W2128454912 cites W1524806321 @default.
- W2128454912 cites W1994257332 @default.
- W2128454912 cites W1998400029 @default.
- W2128454912 cites W2053842121 @default.
- W2128454912 cites W2070123002 @default.
- W2128454912 cites W2131566236 @default.
- W2128454912 cites W2142340571 @default.
- W2128454912 cites W2155391106 @default.
- W2128454912 cites W46093711 @default.
- W2128454912 doi "https://doi.org/10.5267/j.msl.2014.1.012" @default.
- W2128454912 hasPublicationYear "2014" @default.
- W2128454912 type Work @default.
- W2128454912 sameAs 2128454912 @default.
- W2128454912 citedByCount "1" @default.
- W2128454912 countsByYear W21284549122015 @default.
- W2128454912 crossrefType "journal-article" @default.
- W2128454912 hasAuthorship W2128454912A5024520922 @default.
- W2128454912 hasAuthorship W2128454912A5068702775 @default.
- W2128454912 hasBestOaLocation W21284549121 @default.
- W2128454912 hasConcept C119599485 @default.
- W2128454912 hasConcept C127413603 @default.
- W2128454912 hasConcept C180198813 @default.
- W2128454912 hasConcept C2522767166 @default.
- W2128454912 hasConcept C3019813237 @default.
- W2128454912 hasConcept C41008148 @default.
- W2128454912 hasConceptScore W2128454912C119599485 @default.
- W2128454912 hasConceptScore W2128454912C127413603 @default.
- W2128454912 hasConceptScore W2128454912C180198813 @default.
- W2128454912 hasConceptScore W2128454912C2522767166 @default.
- W2128454912 hasConceptScore W2128454912C3019813237 @default.
- W2128454912 hasConceptScore W2128454912C41008148 @default.
- W2128454912 hasLocation W21284549121 @default.
- W2128454912 hasLocation W21284549122 @default.
- W2128454912 hasOpenAccess W2128454912 @default.
- W2128454912 hasPrimaryLocation W21284549121 @default.
- W2128454912 hasRelatedWork W1552175039 @default.
- W2128454912 hasRelatedWork W1986236991 @default.
- W2128454912 hasRelatedWork W2096946506 @default.
- W2128454912 hasRelatedWork W2350741829 @default.
- W2128454912 hasRelatedWork W2358668433 @default.
- W2128454912 hasRelatedWork W2376932109 @default.
- W2128454912 hasRelatedWork W2382290278 @default.
- W2128454912 hasRelatedWork W2390279801 @default.
- W2128454912 hasRelatedWork W2748952813 @default.
- W2128454912 hasRelatedWork W2899084033 @default.
- W2128454912 isParatext "false" @default.
- W2128454912 isRetracted "false" @default.
- W2128454912 magId "2128454912" @default.
- W2128454912 workType "article" @default.