FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2094686098> ?p ?o ?g. }

• W2094686098 endingPage "276" @default.
• W2094686098 startingPage "261" @default.
• W2094686098 abstract "Due to the critical role of workflows in organizations, their design must be assisted by automatic formal verification approaches. The aim is to prove formally, before implementation, their correctness w.r.t. the required properties such as achieving safely the expected services (soundness property). In this perspective, time workflow nets (TWF-nets for short) are proposed as a framework to specify and verify the soundness of workflows. The verification process is based on state space abstractions and takes into account the time constraints of workflows. However, it suffers from the state explosion problem due the interleaving semantics of TWF-nets. To attenuate this problem, this paper investigates the combination of a state space abstraction with a partial order reduction technique. Firstly, it shows that to verify soundness of a TWF-net, it suffices to explore its non-equivalent firing sequences. Then, it establishes a selection procedure of the subset of transitions to explore from each abstract state and proves that it covers all its non-equivalent firing sequences. Finally, the effectiveness of the proposed approach is assessed by some experimental results." @default.
• W2094686098 created "2016-06-24" @default.
• W2094686098 creator A5028283340 @default.
• W2094686098 creator A5064585406 @default.
• W2094686098 date "2014-10-01" @default.
• W2094686098 modified "2023-09-27" @default.
• W2094686098 title "Partial order reduction for checking soundness of time workflow nets" @default.
• W2094686098 cites W1528441743 @default.
• W2094686098 cites W1549845882 @default.
• W2094686098 cites W1560730347 @default.
• W2094686098 cites W1589633291 @default.
• W2094686098 cites W1861370427 @default.
• W2094686098 cites W1925636530 @default.
• W2094686098 cites W1997427041 @default.
• W2094686098 cites W2013690164 @default.
• W2094686098 cites W2027595901 @default.
• W2094686098 cites W2036670017 @default.
• W2094686098 cites W2041743477 @default.
• W2094686098 cites W2071160859 @default.
• W2094686098 cites W2079420020 @default.
• W2094686098 cites W2093320800 @default.
• W2094686098 cites W2105859895 @default.
• W2094686098 cites W2122762495 @default.
• W2094686098 cites W2132472209 @default.
• W2094686098 cites W2137543433 @default.
• W2094686098 cites W2137594927 @default.
• W2094686098 cites W2138447175 @default.
• W2094686098 cites W2151612633 @default.
• W2094686098 doi "https://doi.org/10.1016/j.ins.2014.06.006" @default.
• W2094686098 hasPublicationYear "2014" @default.
• W2094686098 type Work @default.
• W2094686098 sameAs 2094686098 @default.
• W2094686098 citedByCount "7" @default.
• W2094686098 countsByYear W20946860982015 @default.
• W2094686098 countsByYear W20946860982016 @default.
• W2094686098 countsByYear W20946860982017 @default.
• W2094686098 countsByYear W20946860982020 @default.
• W2094686098 countsByYear W20946860982021 @default.
• W2094686098 crossrefType "journal-article" @default.
• W2094686098 hasAuthorship W2094686098A5028283340 @default.
• W2094686098 hasAuthorship W2094686098A5064585406 @default.
• W2094686098 hasConcept C105795698 @default.
• W2094686098 hasConcept C110251889 @default.
• W2094686098 hasConcept C111335779 @default.
• W2094686098 hasConcept C111472728 @default.
• W2094686098 hasConcept C11413529 @default.
• W2094686098 hasConcept C124304363 @default.
• W2094686098 hasConcept C138885662 @default.
• W2094686098 hasConcept C177212765 @default.
• W2094686098 hasConcept C184337299 @default.
• W2094686098 hasConcept C199360897 @default.
• W2094686098 hasConcept C2524010 @default.
• W2094686098 hasConcept C33923547 @default.
• W2094686098 hasConcept C39920170 @default.
• W2094686098 hasConcept C41008148 @default.
• W2094686098 hasConcept C48103436 @default.
• W2094686098 hasConcept C55439883 @default.
• W2094686098 hasConcept C72434380 @default.
• W2094686098 hasConcept C77088390 @default.
• W2094686098 hasConcept C80444323 @default.
• W2094686098 hasConcept C94633896 @default.
• W2094686098 hasConcept C98045186 @default.
• W2094686098 hasConceptScore W2094686098C105795698 @default.
• W2094686098 hasConceptScore W2094686098C110251889 @default.
• W2094686098 hasConceptScore W2094686098C111335779 @default.
• W2094686098 hasConceptScore W2094686098C111472728 @default.
• W2094686098 hasConceptScore W2094686098C11413529 @default.
• W2094686098 hasConceptScore W2094686098C124304363 @default.
• W2094686098 hasConceptScore W2094686098C138885662 @default.
• W2094686098 hasConceptScore W2094686098C177212765 @default.
• W2094686098 hasConceptScore W2094686098C184337299 @default.
• W2094686098 hasConceptScore W2094686098C199360897 @default.
• W2094686098 hasConceptScore W2094686098C2524010 @default.
• W2094686098 hasConceptScore W2094686098C33923547 @default.
• W2094686098 hasConceptScore W2094686098C39920170 @default.
• W2094686098 hasConceptScore W2094686098C41008148 @default.
• W2094686098 hasConceptScore W2094686098C48103436 @default.
• W2094686098 hasConceptScore W2094686098C55439883 @default.
• W2094686098 hasConceptScore W2094686098C72434380 @default.
• W2094686098 hasConceptScore W2094686098C77088390 @default.
• W2094686098 hasConceptScore W2094686098C80444323 @default.
• W2094686098 hasConceptScore W2094686098C94633896 @default.
• W2094686098 hasConceptScore W2094686098C98045186 @default.
• W2094686098 hasLocation W20946860981 @default.
• W2094686098 hasLocation W20946860982 @default.
• W2094686098 hasLocation W20946860983 @default.
• W2094686098 hasOpenAccess W2094686098 @default.
• W2094686098 hasPrimaryLocation W20946860981 @default.
• W2094686098 hasRelatedWork W1546995467 @default.
• W2094686098 hasRelatedWork W1605725717 @default.
• W2094686098 hasRelatedWork W1842616663 @default.
• W2094686098 hasRelatedWork W1868864221 @default.
• W2094686098 hasRelatedWork W2397320769 @default.
• W2094686098 hasRelatedWork W2521118016 @default.
• W2094686098 hasRelatedWork W3023081192 @default.
• W2094686098 hasRelatedWork W4221158947 @default.
• W2094686098 hasRelatedWork W4385437822 @default.
• W2094686098 hasRelatedWork W4385767802 @default.

• next