FRINK Linked Data Fragments server

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

• W1681539088 endingPage "1065" @default.
• W1681539088 startingPage "1040" @default.
• W1681539088 abstract "Purpose – Public services can be modelled, analysed and implemented using notations and tools for the business process (BP) abstraction. Applying such an explicit approach public administrations (PAs) can better react to the undergoing transformation in service provisioning and they can continuously improve service quality in order to satisfy citizens and business requests, while coping with decreasing budgets. The purpose of this paper is to discuss these issues. Design/methodology/approach – The proposed approach relies on using formal methods, in particular unfolding to analyse the correctness of BP. The paper also compares and selects mapping rules from semi-formal to formal modelling languages; these techniques are presented in the context of the BP Modelling Languages and Petri Net (PN). Findings – Main aim of this paper is to raise the need for formal verification of BP governing the interactions among PAs, which more and more need to be supported by ICT mechanisms, and then are not so much tolerant to errors and imperfections in the process specification. The paper illustrates the main motivations of such a work and it introduces a verification technique of a BP using a mapping of a high-level notation (such as BPMN 2.0) to a formal notation (such as PNs) for which formal analysis techniques can be adopted. In particular the verification step is implemented using an unfolding-based technique. Originality/value – The paper answers a call for further development of the body of knowledge on effective analysis of BPs, a rapidly emerging field of interest for large and ultra large scenarios, where a clear gap in literature exists. Than the paper shows that formal techniques are mature enough to be applied on real scenarios." @default.
• W1681539088 created "2016-06-24" @default.
• W1681539088 creator A5016180635 @default.
• W1681539088 creator A5049225289 @default.
• W1681539088 creator A5072737864 @default.
• W1681539088 date "2015-09-07" @default.
• W1681539088 modified "2023-10-14" @default.
• W1681539088 title "Inter-organizational business process verification in public administration" @default.
• W1681539088 cites W1420021490 @default.
• W1681539088 cites W1501566001 @default.
• W1681539088 cites W1530229949 @default.
• W1681539088 cites W1548298587 @default.
• W1681539088 cites W1548365164 @default.
• W1681539088 cites W1607535781 @default.
• W1681539088 cites W1620275631 @default.
• W1681539088 cites W1831630531 @default.
• W1681539088 cites W1965237160 @default.
• W1681539088 cites W1968787770 @default.
• W1681539088 cites W1971478729 @default.
• W1681539088 cites W1976132482 @default.
• W1681539088 cites W1990190960 @default.
• W1681539088 cites W2007842361 @default.
• W1681539088 cites W2020675906 @default.
• W1681539088 cites W2027600959 @default.
• W1681539088 cites W2027658646 @default.
• W1681539088 cites W2041066399 @default.
• W1681539088 cites W2046294989 @default.
• W1681539088 cites W2049248180 @default.
• W1681539088 cites W2062753928 @default.
• W1681539088 cites W2064900519 @default.
• W1681539088 cites W2065651004 @default.
• W1681539088 cites W2072699974 @default.
• W1681539088 cites W2078180912 @default.
• W1681539088 cites W2085993536 @default.
• W1681539088 cites W2092712535 @default.
• W1681539088 cites W2094608307 @default.
• W1681539088 cites W2097810426 @default.
• W1681539088 cites W2116552584 @default.
• W1681539088 cites W2117568741 @default.
• W1681539088 cites W2128932399 @default.
• W1681539088 cites W2129466958 @default.
• W1681539088 cites W2136856357 @default.
• W1681539088 cites W2145391336 @default.
• W1681539088 cites W2158103184 @default.
• W1681539088 cites W2160196038 @default.
• W1681539088 cites W2162707313 @default.
• W1681539088 cites W2167676668 @default.
• W1681539088 cites W2169696634 @default.
• W1681539088 cites W2327667309 @default.
• W1681539088 cites W4211008702 @default.
• W1681539088 cites W43450177 @default.
• W1681539088 doi "https://doi.org/10.1108/bpmj-02-2014-0013" @default.
• W1681539088 hasPublicationYear "2015" @default.
• W1681539088 type Work @default.
• W1681539088 sameAs 1681539088 @default.
• W1681539088 citedByCount "9" @default.
• W1681539088 countsByYear W16815390882016 @default.
• W1681539088 countsByYear W16815390882017 @default.
• W1681539088 countsByYear W16815390882018 @default.
• W1681539088 countsByYear W16815390882020 @default.
• W1681539088 countsByYear W16815390882021 @default.
• W1681539088 countsByYear W16815390882022 @default.
• W1681539088 crossrefType "journal-article" @default.
• W1681539088 hasAuthorship W1681539088A5016180635 @default.
• W1681539088 hasAuthorship W1681539088A5049225289 @default.
• W1681539088 hasAuthorship W1681539088A5072737864 @default.
• W1681539088 hasConcept C111498074 @default.
• W1681539088 hasConcept C115903868 @default.
• W1681539088 hasConcept C116253237 @default.
• W1681539088 hasConcept C144133560 @default.
• W1681539088 hasConcept C162853370 @default.
• W1681539088 hasConcept C174998907 @default.
• W1681539088 hasConcept C179299601 @default.
• W1681539088 hasConcept C195094911 @default.
• W1681539088 hasConcept C199360897 @default.
• W1681539088 hasConcept C207505557 @default.
• W1681539088 hasConcept C33923547 @default.
• W1681539088 hasConcept C35578498 @default.
• W1681539088 hasConcept C38677869 @default.
• W1681539088 hasConcept C41008148 @default.
• W1681539088 hasConcept C45357846 @default.
• W1681539088 hasConcept C4927394 @default.
• W1681539088 hasConcept C55439883 @default.
• W1681539088 hasConcept C57041688 @default.
• W1681539088 hasConcept C75606506 @default.
• W1681539088 hasConcept C76956256 @default.
• W1681539088 hasConcept C85345410 @default.
• W1681539088 hasConcept C94375191 @default.
• W1681539088 hasConceptScore W1681539088C111498074 @default.
• W1681539088 hasConceptScore W1681539088C115903868 @default.
• W1681539088 hasConceptScore W1681539088C116253237 @default.
• W1681539088 hasConceptScore W1681539088C144133560 @default.
• W1681539088 hasConceptScore W1681539088C162853370 @default.
• W1681539088 hasConceptScore W1681539088C174998907 @default.
• W1681539088 hasConceptScore W1681539088C179299601 @default.
• W1681539088 hasConceptScore W1681539088C195094911 @default.
• W1681539088 hasConceptScore W1681539088C199360897 @default.
• W1681539088 hasConceptScore W1681539088C207505557 @default.

• next