Matches in SemOpenAlex for { <https://semopenalex.org/work/W1570484199> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1570484199 abstract "A method for modeling and analyzing workflows based on Temporal Logic of Actions is presented. After a brief review of TLA, present the semantic of workflow process using TLA and illustrate how to modeling and analysis workflow using TLA. In TLA, both the workflow model and its properties are modeled by TLA formulas. Analysis of workflow model in TLA is carried out by validating the implication relationship between two formulas. Finally, the process of modeling and analysis is validated through a case study" @default.
- W1570484199 created "2016-06-24" @default.
- W1570484199 creator A5017059428 @default.
- W1570484199 creator A5088943410 @default.
- W1570484199 date "2005-03-21" @default.
- W1570484199 modified "2023-09-25" @default.
- W1570484199 title "Using temporal logics for modeling and analysis of workflows" @default.
- W1570484199 cites W2015234709 @default.
- W1570484199 cites W2015688007 @default.
- W1570484199 cites W2057339615 @default.
- W1570484199 cites W2070985281 @default.
- W1570484199 cites W2122571918 @default.
- W1570484199 cites W2165874398 @default.
- W1570484199 cites W2168132955 @default.
- W1570484199 cites W180089572 @default.
- W1570484199 doi "https://doi.org/10.1109/cec-east.2004.72" @default.
- W1570484199 hasPublicationYear "2005" @default.
- W1570484199 type Work @default.
- W1570484199 sameAs 1570484199 @default.
- W1570484199 citedByCount "8" @default.
- W1570484199 countsByYear W15704841992014 @default.
- W1570484199 countsByYear W15704841992017 @default.
- W1570484199 countsByYear W15704841992018 @default.
- W1570484199 crossrefType "proceedings-article" @default.
- W1570484199 hasAuthorship W1570484199A5017059428 @default.
- W1570484199 hasAuthorship W1570484199A5088943410 @default.
- W1570484199 hasConcept C115903868 @default.
- W1570484199 hasConcept C124101348 @default.
- W1570484199 hasConcept C127413603 @default.
- W1570484199 hasConcept C130536060 @default.
- W1570484199 hasConcept C174998907 @default.
- W1570484199 hasConcept C177212765 @default.
- W1570484199 hasConcept C19612761 @default.
- W1570484199 hasConcept C199360897 @default.
- W1570484199 hasConcept C21547014 @default.
- W1570484199 hasConcept C25016198 @default.
- W1570484199 hasConcept C41008148 @default.
- W1570484199 hasConcept C76956256 @default.
- W1570484199 hasConcept C77088390 @default.
- W1570484199 hasConcept C98045186 @default.
- W1570484199 hasConceptScore W1570484199C115903868 @default.
- W1570484199 hasConceptScore W1570484199C124101348 @default.
- W1570484199 hasConceptScore W1570484199C127413603 @default.
- W1570484199 hasConceptScore W1570484199C130536060 @default.
- W1570484199 hasConceptScore W1570484199C174998907 @default.
- W1570484199 hasConceptScore W1570484199C177212765 @default.
- W1570484199 hasConceptScore W1570484199C19612761 @default.
- W1570484199 hasConceptScore W1570484199C199360897 @default.
- W1570484199 hasConceptScore W1570484199C21547014 @default.
- W1570484199 hasConceptScore W1570484199C25016198 @default.
- W1570484199 hasConceptScore W1570484199C41008148 @default.
- W1570484199 hasConceptScore W1570484199C76956256 @default.
- W1570484199 hasConceptScore W1570484199C77088390 @default.
- W1570484199 hasConceptScore W1570484199C98045186 @default.
- W1570484199 hasLocation W15704841991 @default.
- W1570484199 hasOpenAccess W1570484199 @default.
- W1570484199 hasPrimaryLocation W15704841991 @default.
- W1570484199 hasRelatedWork W143953018 @default.
- W1570484199 hasRelatedWork W1530022053 @default.
- W1570484199 hasRelatedWork W1542626875 @default.
- W1570484199 hasRelatedWork W1604338964 @default.
- W1570484199 hasRelatedWork W1866624891 @default.
- W1570484199 hasRelatedWork W189948524 @default.
- W1570484199 hasRelatedWork W1930771207 @default.
- W1570484199 hasRelatedWork W2011006862 @default.
- W1570484199 hasRelatedWork W2099878668 @default.
- W1570484199 hasRelatedWork W2128675861 @default.
- W1570484199 hasRelatedWork W2204954092 @default.
- W1570484199 hasRelatedWork W2357080166 @default.
- W1570484199 hasRelatedWork W2358510610 @default.
- W1570484199 hasRelatedWork W2361994592 @default.
- W1570484199 hasRelatedWork W2362313682 @default.
- W1570484199 hasRelatedWork W2375830745 @default.
- W1570484199 hasRelatedWork W2978727374 @default.
- W1570484199 hasRelatedWork W79595156 @default.
- W1570484199 hasRelatedWork W150412563 @default.
- W1570484199 hasRelatedWork W2574525912 @default.
- W1570484199 isParatext "false" @default.
- W1570484199 isRetracted "false" @default.
- W1570484199 magId "1570484199" @default.
- W1570484199 workType "article" @default.