FRINK Linked Data Fragments server

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

• W2980709122 endingPage "569" @default.
• W2980709122 startingPage "548" @default.
• W2980709122 abstract "Purpose Business process (BP) reengineering is defined as reinventing BPs either structurally or technically to achieve dramatic improvements in performance. In any business process reengineering (BPR) project, process modeling is used to reason about problems found in existing (as-is) process and helps to design target (to-be) process. BP model notation is a widely accepted standard for process modeling. “Expressiveness” and “missing formal semantics” are two problems reported to its modeling practices. In existing studies, solutions to these problems are also proposed but still have certain limitations. The paper aims to discuss this issue. Design/methodology/approach In proposed methodology, a meta-model is formally defined that is composed of commonly used modeling elements and their well-formedness rules to check for syntactic and structural correctness of process models. Proposed solution also check semantics of process models and allows to compare as-is and to-be process models for gap identification which is another important aspect of BPR. To achieve the first goal, Z specification is used to provide formal specifications of modeling constructs and their rules and Z3 (an SMT solver) is used for comparisons and verifying properties. Findings Proposed method addresses both “expressiveness” and “missing formal semantics” of BPR models. The results of its evaluation clearly indicate that using formally specified meta-model, BPR model is syntactically and structurally correct. Moreover, formal modeling of BPs in Z3 helped to compare processes and to check control flow properties. Research limitations/implications Although the proposed method is tested on an example that is widely used in BPR literature, the example is only covering modeling elements which are part of the proposed subset and are reported in literature as frequently used modeling elements. A separate detailed study is required to test it on more complex systems. Practical implications Specifying process models using Z specification and Z3 solver requires certain expertise. Originality/value The proposed method adds value to BPR body of knowledge as it proposes a method to ensure structural and syntactic correctness of models, highlighting the importance of verifying run time properties and providing a direction toward comparing process models for gap analysis." @default.
• W2980709122 created "2019-10-25" @default.
• W2980709122 creator A5015596295 @default.
• W2980709122 creator A5027225262 @default.
• W2980709122 creator A5062778007 @default.
• W2980709122 creator A5081150177 @default.
• W2980709122 date "2019-10-16" @default.
• W2980709122 modified "2023-09-27" @default.
• W2980709122 title "Application of formal methods to modelling and analysis aspects of business process reengineering" @default.
• W2980709122 cites W1505966163 @default.
• W2980709122 cites W1527879496 @default.
• W2980709122 cites W1704218983 @default.
• W2980709122 cites W1968218690 @default.
• W2980709122 cites W1972961726 @default.
• W2980709122 cites W2007339546 @default.
• W2980709122 cites W2041431077 @default.
• W2980709122 cites W2046324261 @default.
• W2980709122 cites W2053361021 @default.
• W2980709122 cites W2060440626 @default.
• W2980709122 cites W2094608307 @default.
• W2980709122 cites W2106345431 @default.
• W2980709122 cites W2125966862 @default.
• W2980709122 cites W2134431678 @default.
• W2980709122 cites W2135791720 @default.
• W2980709122 cites W2162707313 @default.
• W2980709122 cites W2164244929 @default.
• W2980709122 cites W2169696634 @default.
• W2980709122 cites W2171275211 @default.
• W2980709122 cites W2270521523 @default.
• W2980709122 cites W2518206303 @default.
• W2980709122 cites W3213463975 @default.
• W2980709122 doi "https://doi.org/10.1108/bpmj-02-2019-0078" @default.
• W2980709122 hasPublicationYear "2019" @default.
• W2980709122 type Work @default.
• W2980709122 sameAs 2980709122 @default.
• W2980709122 citedByCount "4" @default.
• W2980709122 countsByYear W29807091222021 @default.
• W2980709122 countsByYear W29807091222022 @default.
• W2980709122 countsByYear W29807091222023 @default.
• W2980709122 crossrefType "journal-article" @default.
• W2980709122 hasAuthorship W2980709122A5015596295 @default.
• W2980709122 hasAuthorship W2980709122A5027225262 @default.
• W2980709122 hasAuthorship W2980709122A5062778007 @default.
• W2980709122 hasAuthorship W2980709122A5081150177 @default.
• W2980709122 hasConcept C115903868 @default.
• W2980709122 hasConcept C137335462 @default.
• W2980709122 hasConcept C144133560 @default.
• W2980709122 hasConcept C162324750 @default.
• W2980709122 hasConcept C162853370 @default.
• W2980709122 hasConcept C174998907 @default.
• W2980709122 hasConcept C179299601 @default.
• W2980709122 hasConcept C184337299 @default.
• W2980709122 hasConcept C199360897 @default.
• W2980709122 hasConcept C207505557 @default.
• W2980709122 hasConcept C21547014 @default.
• W2980709122 hasConcept C29143872 @default.
• W2980709122 hasConcept C41008148 @default.
• W2980709122 hasConcept C55439883 @default.
• W2980709122 hasConcept C76956256 @default.
• W2980709122 hasConcept C85345410 @default.
• W2980709122 hasConcept C98045186 @default.
• W2980709122 hasConceptScore W2980709122C115903868 @default.
• W2980709122 hasConceptScore W2980709122C137335462 @default.
• W2980709122 hasConceptScore W2980709122C144133560 @default.
• W2980709122 hasConceptScore W2980709122C162324750 @default.
• W2980709122 hasConceptScore W2980709122C162853370 @default.
• W2980709122 hasConceptScore W2980709122C174998907 @default.
• W2980709122 hasConceptScore W2980709122C179299601 @default.
• W2980709122 hasConceptScore W2980709122C184337299 @default.
• W2980709122 hasConceptScore W2980709122C199360897 @default.
• W2980709122 hasConceptScore W2980709122C207505557 @default.
• W2980709122 hasConceptScore W2980709122C21547014 @default.
• W2980709122 hasConceptScore W2980709122C29143872 @default.
• W2980709122 hasConceptScore W2980709122C41008148 @default.
• W2980709122 hasConceptScore W2980709122C55439883 @default.
• W2980709122 hasConceptScore W2980709122C76956256 @default.
• W2980709122 hasConceptScore W2980709122C85345410 @default.
• W2980709122 hasConceptScore W2980709122C98045186 @default.
• W2980709122 hasIssue "2" @default.
• W2980709122 hasLocation W29807091221 @default.
• W2980709122 hasOpenAccess W2980709122 @default.
• W2980709122 hasPrimaryLocation W29807091221 @default.
• W2980709122 hasRelatedWork W1566554986 @default.
• W2980709122 hasRelatedWork W1985694089 @default.
• W2980709122 hasRelatedWork W2094738736 @default.
• W2980709122 hasRelatedWork W2126468365 @default.
• W2980709122 hasRelatedWork W2145639467 @default.
• W2980709122 hasRelatedWork W2163316482 @default.
• W2980709122 hasRelatedWork W2377018610 @default.
• W2980709122 hasRelatedWork W2192956962 @default.
• W2980709122 hasRelatedWork W2416473670 @default.
• W2980709122 hasRelatedWork W2988265340 @default.
• W2980709122 hasVolume "26" @default.
• W2980709122 isParatext "false" @default.
• W2980709122 isRetracted "false" @default.
• W2980709122 magId "2980709122" @default.
• W2980709122 workType "article" @default.