Matches in SemOpenAlex for { <https://semopenalex.org/work/W2019987175> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2019987175 endingPage "256" @default.
- W2019987175 startingPage "239" @default.
- W2019987175 abstract "Most of today's business requirements can only be accomplished through integration of various autonomous systems which were initially designed to serve the needs of particular applications. In the literature workflows are proposed to design these kinds of applications. The key tool for designing such applications is a powerful conceptual specification language. Such a language should be capable of capturing interactions and cooperation between component tasks of workflows among others. These include sequential execution, iteration, choice, parallelism and synchronisation. The central focus of this paper is the verification of such process control aspects in conceptual workflow specifications. As is generally agreed upon, that the later in the software development process an error is detected, the more it will cost to correct it; it is thus of vital importance to detect errors as early as possible in the systems-development process. In this paper some typical verification problems in workflow specifications are identified and their complexity is addressed. It will be proven that some fundamental problems are not tractable and we will show what restriction is needed to allow termination problems to be recognized in polynomial time." @default.
- W2019987175 created "2016-06-24" @default.
- W2019987175 creator A5070043356 @default.
- W2019987175 creator A5082275248 @default.
- W2019987175 creator A5085238027 @default.
- W2019987175 date "1998-01-01" @default.
- W2019987175 modified "2023-10-17" @default.
- W2019987175 title "Verification problems in conceptual workflow specifications" @default.
- W2019987175 cites W1536297652 @default.
- W2019987175 cites W2015234709 @default.
- W2019987175 cites W2035244158 @default.
- W2019987175 cites W2050398833 @default.
- W2019987175 cites W2057397288 @default.
- W2019987175 cites W2083567135 @default.
- W2019987175 cites W2090360773 @default.
- W2019987175 cites W2093754087 @default.
- W2019987175 cites W4249538237 @default.
- W2019987175 cites W4254394961 @default.
- W2019987175 doi "https://doi.org/10.1016/s0169-023x(97)00032-3" @default.
- W2019987175 hasPublicationYear "1998" @default.
- W2019987175 type Work @default.
- W2019987175 sameAs 2019987175 @default.
- W2019987175 citedByCount "85" @default.
- W2019987175 countsByYear W20199871752013 @default.
- W2019987175 countsByYear W20199871752014 @default.
- W2019987175 countsByYear W20199871752015 @default.
- W2019987175 countsByYear W20199871752020 @default.
- W2019987175 crossrefType "journal-article" @default.
- W2019987175 hasAuthorship W2019987175A5070043356 @default.
- W2019987175 hasAuthorship W2019987175A5082275248 @default.
- W2019987175 hasAuthorship W2019987175A5085238027 @default.
- W2019987175 hasConcept C115903868 @default.
- W2019987175 hasConcept C120665830 @default.
- W2019987175 hasConcept C121332964 @default.
- W2019987175 hasConcept C127413603 @default.
- W2019987175 hasConcept C168167062 @default.
- W2019987175 hasConcept C177212765 @default.
- W2019987175 hasConcept C192209626 @default.
- W2019987175 hasConcept C19612761 @default.
- W2019987175 hasConcept C199360897 @default.
- W2019987175 hasConcept C201995342 @default.
- W2019987175 hasConcept C26517878 @default.
- W2019987175 hasConcept C38652104 @default.
- W2019987175 hasConcept C41008148 @default.
- W2019987175 hasConcept C77088390 @default.
- W2019987175 hasConcept C97355855 @default.
- W2019987175 hasConcept C98045186 @default.
- W2019987175 hasConceptScore W2019987175C115903868 @default.
- W2019987175 hasConceptScore W2019987175C120665830 @default.
- W2019987175 hasConceptScore W2019987175C121332964 @default.
- W2019987175 hasConceptScore W2019987175C127413603 @default.
- W2019987175 hasConceptScore W2019987175C168167062 @default.
- W2019987175 hasConceptScore W2019987175C177212765 @default.
- W2019987175 hasConceptScore W2019987175C192209626 @default.
- W2019987175 hasConceptScore W2019987175C19612761 @default.
- W2019987175 hasConceptScore W2019987175C199360897 @default.
- W2019987175 hasConceptScore W2019987175C201995342 @default.
- W2019987175 hasConceptScore W2019987175C26517878 @default.
- W2019987175 hasConceptScore W2019987175C38652104 @default.
- W2019987175 hasConceptScore W2019987175C41008148 @default.
- W2019987175 hasConceptScore W2019987175C77088390 @default.
- W2019987175 hasConceptScore W2019987175C97355855 @default.
- W2019987175 hasConceptScore W2019987175C98045186 @default.
- W2019987175 hasIssue "3" @default.
- W2019987175 hasLocation W20199871751 @default.
- W2019987175 hasOpenAccess W2019987175 @default.
- W2019987175 hasPrimaryLocation W20199871751 @default.
- W2019987175 hasRelatedWork W1998651692 @default.
- W2019987175 hasRelatedWork W2049143847 @default.
- W2019987175 hasRelatedWork W2350255802 @default.
- W2019987175 hasRelatedWork W2350748972 @default.
- W2019987175 hasRelatedWork W2376671203 @default.
- W2019987175 hasRelatedWork W2380987729 @default.
- W2019987175 hasRelatedWork W2381204656 @default.
- W2019987175 hasRelatedWork W2385499106 @default.
- W2019987175 hasRelatedWork W2387628393 @default.
- W2019987175 hasRelatedWork W2391168633 @default.
- W2019987175 hasVolume "24" @default.
- W2019987175 isParatext "false" @default.
- W2019987175 isRetracted "false" @default.
- W2019987175 magId "2019987175" @default.
- W2019987175 workType "article" @default.