Matches in SemOpenAlex for { <https://semopenalex.org/work/W4386001749> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W4386001749 endingPage "169" @default.
- W4386001749 startingPage "157" @default.
- W4386001749 abstract "Despite the richness of the BPMN language and its advantages for the specification of business processes, it remains a semi-formal language that does not allow rigorous verification of the specifications produced with it, and does not offer any methodological support to cover the verification phase. Therefore, several works have been proposed with the aim of describing the semantics of the BPMN language by a mathematical formalism. In this paper we address the issue of verifying BPMN models with an approach based on model-checking, where we focus on soundness, fairness, and safety properties. Thus by having a business process modeled by BPMN, a formal semantics for BPMN models based on Kripke structure will be provided for a formal verification of correctness. The properties are expressed with CTL (Computation Tree Logic) formulas. At the end, the model checker NuSMV is used for the verification of the formula." @default.
- W4386001749 created "2023-08-20" @default.
- W4386001749 creator A5078785319 @default.
- W4386001749 creator A5081300821 @default.
- W4386001749 creator A5092665472 @default.
- W4386001749 date "2023-08-12" @default.
- W4386001749 modified "2023-10-12" @default.
- W4386001749 title "Business Process Modeled with BPMN and CTL Model Checking" @default.
- W4386001749 doi "https://doi.org/10.5121/ijci.2023.120513" @default.
- W4386001749 hasPublicationYear "2023" @default.
- W4386001749 type Work @default.
- W4386001749 citedByCount "0" @default.
- W4386001749 crossrefType "journal-article" @default.
- W4386001749 hasAuthorship W4386001749A5078785319 @default.
- W4386001749 hasAuthorship W4386001749A5081300821 @default.
- W4386001749 hasAuthorship W4386001749A5092665472 @default.
- W4386001749 hasBestOaLocation W43860017491 @default.
- W4386001749 hasConcept C110251889 @default.
- W4386001749 hasConcept C111498074 @default.
- W4386001749 hasConcept C115903868 @default.
- W4386001749 hasConcept C130536060 @default.
- W4386001749 hasConcept C144133560 @default.
- W4386001749 hasConcept C146499914 @default.
- W4386001749 hasConcept C162853370 @default.
- W4386001749 hasConcept C174998907 @default.
- W4386001749 hasConcept C177212765 @default.
- W4386001749 hasConcept C179299601 @default.
- W4386001749 hasConcept C179603123 @default.
- W4386001749 hasConcept C188220564 @default.
- W4386001749 hasConcept C198008173 @default.
- W4386001749 hasConcept C199360897 @default.
- W4386001749 hasConcept C207505557 @default.
- W4386001749 hasConcept C2777904410 @default.
- W4386001749 hasConcept C39920170 @default.
- W4386001749 hasConcept C41008148 @default.
- W4386001749 hasConcept C55439883 @default.
- W4386001749 hasConcept C77088390 @default.
- W4386001749 hasConcept C80444323 @default.
- W4386001749 hasConcept C85345410 @default.
- W4386001749 hasConceptScore W4386001749C110251889 @default.
- W4386001749 hasConceptScore W4386001749C111498074 @default.
- W4386001749 hasConceptScore W4386001749C115903868 @default.
- W4386001749 hasConceptScore W4386001749C130536060 @default.
- W4386001749 hasConceptScore W4386001749C144133560 @default.
- W4386001749 hasConceptScore W4386001749C146499914 @default.
- W4386001749 hasConceptScore W4386001749C162853370 @default.
- W4386001749 hasConceptScore W4386001749C174998907 @default.
- W4386001749 hasConceptScore W4386001749C177212765 @default.
- W4386001749 hasConceptScore W4386001749C179299601 @default.
- W4386001749 hasConceptScore W4386001749C179603123 @default.
- W4386001749 hasConceptScore W4386001749C188220564 @default.
- W4386001749 hasConceptScore W4386001749C198008173 @default.
- W4386001749 hasConceptScore W4386001749C199360897 @default.
- W4386001749 hasConceptScore W4386001749C207505557 @default.
- W4386001749 hasConceptScore W4386001749C2777904410 @default.
- W4386001749 hasConceptScore W4386001749C39920170 @default.
- W4386001749 hasConceptScore W4386001749C41008148 @default.
- W4386001749 hasConceptScore W4386001749C55439883 @default.
- W4386001749 hasConceptScore W4386001749C77088390 @default.
- W4386001749 hasConceptScore W4386001749C80444323 @default.
- W4386001749 hasConceptScore W4386001749C85345410 @default.
- W4386001749 hasIssue "5" @default.
- W4386001749 hasLocation W43860017491 @default.
- W4386001749 hasOpenAccess W4386001749 @default.
- W4386001749 hasPrimaryLocation W43860017491 @default.
- W4386001749 hasRelatedWork W1537892465 @default.
- W4386001749 hasRelatedWork W1596714316 @default.
- W4386001749 hasRelatedWork W1945376167 @default.
- W4386001749 hasRelatedWork W2055822229 @default.
- W4386001749 hasRelatedWork W2095142108 @default.
- W4386001749 hasRelatedWork W2137506050 @default.
- W4386001749 hasRelatedWork W2159895648 @default.
- W4386001749 hasRelatedWork W2398242299 @default.
- W4386001749 hasRelatedWork W2967202601 @default.
- W4386001749 hasRelatedWork W3129828792 @default.
- W4386001749 hasVolume "12" @default.
- W4386001749 isParatext "false" @default.
- W4386001749 isRetracted "false" @default.
- W4386001749 workType "article" @default.