Matches in SemOpenAlex for { <https://semopenalex.org/work/W2900200025> ?p ?o ?g. }
- W2900200025 endingPage "26" @default.
- W2900200025 startingPage "1" @default.
- W2900200025 abstract "Business processes support the design and implementation of software as workflows of local and inter-organisation activities. Tools provide the business process designer with modelling and execution facilities, but they barely provide formal analysis techniques. When one makes a process evolve, for example by refactoring it or by adding new features in it, it is important to be able to check whether, and how, this process has changed, and possibly correct evolution flaws. To reach this objective, we first present a model transformation from the BPMN standard notation to the LNT process algebra and LTS formal models. We then propose a set of relations for comparing business processes at the formal model level. With reference to related work, we propose a richer set of comparison primitives supporting renaming, refinement, property and context-awareness. We also support BPMN processes containing unbalanced structures among gateways. In order to make the checking of evolution convenient for business process designers, we have implemented tool support for our approach as a web application." @default.
- W2900200025 created "2018-11-16" @default.
- W2900200025 creator A5019071560 @default.
- W2900200025 creator A5023688350 @default.
- W2900200025 creator A5059839916 @default.
- W2900200025 date "2019-01-01" @default.
- W2900200025 modified "2023-10-06" @default.
- W2900200025 title "Checking business process evolution" @default.
- W2900200025 cites W1985161650 @default.
- W2900200025 cites W2001613232 @default.
- W2900200025 cites W2025970201 @default.
- W2900200025 cites W2063294547 @default.
- W2900200025 cites W2076719996 @default.
- W2900200025 cites W2085752404 @default.
- W2900200025 cites W2107620109 @default.
- W2900200025 cites W2129466958 @default.
- W2900200025 cites W2129526984 @default.
- W2900200025 cites W2169696634 @default.
- W2900200025 cites W2810491896 @default.
- W2900200025 cites W2911625174 @default.
- W2900200025 doi "https://doi.org/10.1016/j.scico.2018.09.007" @default.
- W2900200025 hasPublicationYear "2019" @default.
- W2900200025 type Work @default.
- W2900200025 sameAs 2900200025 @default.
- W2900200025 citedByCount "20" @default.
- W2900200025 countsByYear W29002000252018 @default.
- W2900200025 countsByYear W29002000252019 @default.
- W2900200025 countsByYear W29002000252020 @default.
- W2900200025 countsByYear W29002000252021 @default.
- W2900200025 countsByYear W29002000252022 @default.
- W2900200025 crossrefType "journal-article" @default.
- W2900200025 hasAuthorship W2900200025A5019071560 @default.
- W2900200025 hasAuthorship W2900200025A5023688350 @default.
- W2900200025 hasAuthorship W2900200025A5059839916 @default.
- W2900200025 hasBestOaLocation W29002000251 @default.
- W2900200025 hasConcept C11066294 @default.
- W2900200025 hasConcept C115903868 @default.
- W2900200025 hasConcept C144133560 @default.
- W2900200025 hasConcept C151730666 @default.
- W2900200025 hasConcept C152752567 @default.
- W2900200025 hasConcept C162754035 @default.
- W2900200025 hasConcept C162853370 @default.
- W2900200025 hasConcept C174998907 @default.
- W2900200025 hasConcept C177212765 @default.
- W2900200025 hasConcept C179299601 @default.
- W2900200025 hasConcept C199360897 @default.
- W2900200025 hasConcept C207505557 @default.
- W2900200025 hasConcept C2777904410 @default.
- W2900200025 hasConcept C2779343474 @default.
- W2900200025 hasConcept C35578498 @default.
- W2900200025 hasConcept C41008148 @default.
- W2900200025 hasConcept C4927394 @default.
- W2900200025 hasConcept C57041688 @default.
- W2900200025 hasConcept C76956256 @default.
- W2900200025 hasConcept C77088390 @default.
- W2900200025 hasConcept C80309976 @default.
- W2900200025 hasConcept C85345410 @default.
- W2900200025 hasConcept C86803240 @default.
- W2900200025 hasConcept C98045186 @default.
- W2900200025 hasConceptScore W2900200025C11066294 @default.
- W2900200025 hasConceptScore W2900200025C115903868 @default.
- W2900200025 hasConceptScore W2900200025C144133560 @default.
- W2900200025 hasConceptScore W2900200025C151730666 @default.
- W2900200025 hasConceptScore W2900200025C152752567 @default.
- W2900200025 hasConceptScore W2900200025C162754035 @default.
- W2900200025 hasConceptScore W2900200025C162853370 @default.
- W2900200025 hasConceptScore W2900200025C174998907 @default.
- W2900200025 hasConceptScore W2900200025C177212765 @default.
- W2900200025 hasConceptScore W2900200025C179299601 @default.
- W2900200025 hasConceptScore W2900200025C199360897 @default.
- W2900200025 hasConceptScore W2900200025C207505557 @default.
- W2900200025 hasConceptScore W2900200025C2777904410 @default.
- W2900200025 hasConceptScore W2900200025C2779343474 @default.
- W2900200025 hasConceptScore W2900200025C35578498 @default.
- W2900200025 hasConceptScore W2900200025C41008148 @default.
- W2900200025 hasConceptScore W2900200025C4927394 @default.
- W2900200025 hasConceptScore W2900200025C57041688 @default.
- W2900200025 hasConceptScore W2900200025C76956256 @default.
- W2900200025 hasConceptScore W2900200025C77088390 @default.
- W2900200025 hasConceptScore W2900200025C80309976 @default.
- W2900200025 hasConceptScore W2900200025C85345410 @default.
- W2900200025 hasConceptScore W2900200025C86803240 @default.
- W2900200025 hasConceptScore W2900200025C98045186 @default.
- W2900200025 hasLocation W29002000251 @default.
- W2900200025 hasLocation W29002000252 @default.
- W2900200025 hasLocation W29002000253 @default.
- W2900200025 hasLocation W29002000254 @default.
- W2900200025 hasLocation W29002000255 @default.
- W2900200025 hasLocation W29002000256 @default.
- W2900200025 hasLocation W29002000257 @default.
- W2900200025 hasLocation W29002000258 @default.
- W2900200025 hasOpenAccess W2900200025 @default.
- W2900200025 hasPrimaryLocation W29002000251 @default.
- W2900200025 hasRelatedWork W142537396 @default.
- W2900200025 hasRelatedWork W2034761836 @default.
- W2900200025 hasRelatedWork W2150476276 @default.
- W2900200025 hasRelatedWork W2156946939 @default.
- W2900200025 hasRelatedWork W2162840089 @default.