Matches in SemOpenAlex for { <https://semopenalex.org/work/W1990198424> ?p ?o ?g. }
Showing items 1 to 48 of
48
with 100 items per page.
- W1990198424 abstract "We proposed an approach in modeling and analysis of workflow based on temporal logic of action. A workflow model is divided in to two parts: the description of scheduler as well as database updating and the description of properties, each part is expressed in a TLA formula. The analysis of properties is composed by scheduling analysis and database properties analysis and their proof process is equivalence to the verification of the implementation relationship between the model formula and the formula of its properties. Thus, established an unified framework for modeling and property analysis of workflow in deferent levels." @default.
- W1990198424 created "2016-06-24" @default.
- W1990198424 creator A5019657060 @default.
- W1990198424 creator A5070639411 @default.
- W1990198424 date "2009-01-01" @default.
- W1990198424 modified "2023-09-26" @default.
- W1990198424 title "Modeling and Analysis of Workflow Based on TLA" @default.
- W1990198424 cites W2015234709 @default.
- W1990198424 cites W2069450150 @default.
- W1990198424 cites W2072445657 @default.
- W1990198424 cites W2120312005 @default.
- W1990198424 cites W2137628657 @default.
- W1990198424 cites W2160493209 @default.
- W1990198424 cites W2170808163 @default.
- W1990198424 doi "https://doi.org/10.4304/jcp.4.1.27-34" @default.
- W1990198424 hasPublicationYear "2009" @default.
- W1990198424 type Work @default.
- W1990198424 sameAs 1990198424 @default.
- W1990198424 citedByCount "2" @default.
- W1990198424 countsByYear W19901984242020 @default.
- W1990198424 crossrefType "journal-article" @default.
- W1990198424 hasAuthorship W1990198424A5019657060 @default.
- W1990198424 hasAuthorship W1990198424A5070639411 @default.
- W1990198424 hasConcept C177212765 @default.
- W1990198424 hasConcept C41008148 @default.
- W1990198424 hasConcept C77088390 @default.
- W1990198424 hasConceptScore W1990198424C177212765 @default.
- W1990198424 hasConceptScore W1990198424C41008148 @default.
- W1990198424 hasConceptScore W1990198424C77088390 @default.
- W1990198424 hasIssue "1" @default.
- W1990198424 hasLocation W19901984241 @default.
- W1990198424 hasOpenAccess W1990198424 @default.
- W1990198424 hasPrimaryLocation W19901984241 @default.
- W1990198424 hasRelatedWork W1544898319 @default.
- W1990198424 hasRelatedWork W1972443906 @default.
- W1990198424 hasRelatedWork W2081035100 @default.
- W1990198424 hasRelatedWork W2384869196 @default.
- W1990198424 hasRelatedWork W2497175360 @default.
- W1990198424 hasRelatedWork W2506306745 @default.
- W1990198424 hasRelatedWork W2795043317 @default.
- W1990198424 hasRelatedWork W2964552794 @default.
- W1990198424 hasRelatedWork W3118799476 @default.
- W1990198424 hasRelatedWork W3206324740 @default.
- W1990198424 hasVolume "4" @default.
- W1990198424 isParatext "false" @default.
- W1990198424 isRetracted "false" @default.
- W1990198424 magId "1990198424" @default.
- W1990198424 workType "article" @default.