FRINK Linked Data Fragments server

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

• W1994605163 abstract "Equivalence checking is a powerful formal technique to improve the quality of computer and software systems. It is usually employed to verify the correctness in a model-based design. Notwithstanding, a detailed and precise specification is required in order to apply equivalence checking to a given domain. Unfortunately, certain fields of application like business process management lack of such adequate information. We explore the applicability of equivalence checking to validation of Business Processes described by the aid of Workflow Management systems. Due to the state explosion problem, formal methods are not very popular in the business domain. In fact, the state space grows exponentially in the number of concurrent processes leading to an impracticable verification. In this paper we deal with a heuristic-based methodology developed to beat the state explosion problem when checking non-equivalence. Our contribution is two-fold: (i) we show how equivalence checking can successfully operate in the business modelling and analysis context, (ii) we model and use the bank supply process as a real case study to evaluate and test the heuristic-based methodology. We show and debate encouraging experimental results comparing them with a state of the art model checker i.e. CADP. This suggests that the business community, mostly in the banking field, can take advantage from our efficient methodology based on process algebra." @default.
• W1994605163 created "2016-06-24" @default.
• W1994605163 creator A5004599844 @default.
• W1994605163 creator A5066631827 @default.
• W1994605163 creator A5082114024 @default.
• W1994605163 date "2014-06-01" @default.
• W1994605163 modified "2023-09-23" @default.
• W1994605163 title "Powerful Equivalence Checking in the Bank Supply Process" @default.
• W1994605163 cites W1481841467 @default.
• W1994605163 cites W1495780167 @default.
• W1994605163 cites W1499481996 @default.
• W1994605163 cites W1503170978 @default.
• W1994605163 cites W1517157359 @default.
• W1994605163 cites W1525928754 @default.
• W1994605163 cites W1543732613 @default.
• W1994605163 cites W1568729458 @default.
• W1994605163 cites W1593284044 @default.
• W1994605163 cites W1593601264 @default.
• W1994605163 cites W1600296154 @default.
• W1994605163 cites W1799163117 @default.
• W1994605163 cites W1970878496 @default.
• W1994605163 cites W1973642705 @default.
• W1994605163 cites W1987217532 @default.
• W1994605163 cites W2021473546 @default.
• W1994605163 cites W2031247304 @default.
• W1994605163 cites W2034814749 @default.
• W1994605163 cites W2038751850 @default.
• W1994605163 cites W2044354687 @default.
• W1994605163 cites W2049240190 @default.
• W1994605163 cites W2059663374 @default.
• W1994605163 cites W2068361557 @default.
• W1994605163 cites W2071479021 @default.
• W1994605163 cites W2072963448 @default.
• W1994605163 cites W2075597034 @default.
• W1994605163 cites W2076334860 @default.
• W1994605163 cites W2083412625 @default.
• W1994605163 cites W2089892886 @default.
• W1994605163 cites W2093709900 @default.
• W1994605163 cites W2121372686 @default.
• W1994605163 cites W2127532259 @default.
• W1994605163 cites W2159109338 @default.
• W1994605163 cites W2172078515 @default.
• W1994605163 cites W2596984074 @default.
• W1994605163 doi "https://doi.org/10.1109/services.2014.25" @default.
• W1994605163 hasPublicationYear "2014" @default.
• W1994605163 type Work @default.
• W1994605163 sameAs 1994605163 @default.
• W1994605163 citedByCount "0" @default.
• W1994605163 crossrefType "proceedings-article" @default.
• W1994605163 hasAuthorship W1994605163A5004599844 @default.
• W1994605163 hasAuthorship W1994605163A5066631827 @default.
• W1994605163 hasAuthorship W1994605163A5082114024 @default.
• W1994605163 hasConcept C110251889 @default.
• W1994605163 hasConcept C11066294 @default.
• W1994605163 hasConcept C111498074 @default.
• W1994605163 hasConcept C118615104 @default.
• W1994605163 hasConcept C144133560 @default.
• W1994605163 hasConcept C162853370 @default.
• W1994605163 hasConcept C174998907 @default.
• W1994605163 hasConcept C179299601 @default.
• W1994605163 hasConcept C199360897 @default.
• W1994605163 hasConcept C207505557 @default.
• W1994605163 hasConcept C2780069185 @default.
• W1994605163 hasConcept C33923547 @default.
• W1994605163 hasConcept C41008148 @default.
• W1994605163 hasConcept C55439883 @default.
• W1994605163 hasConcept C75606506 @default.
• W1994605163 hasConcept C80309976 @default.
• W1994605163 hasConcept C80444323 @default.
• W1994605163 hasConcept C85345410 @default.
• W1994605163 hasConcept C96654402 @default.
• W1994605163 hasConceptScore W1994605163C110251889 @default.
• W1994605163 hasConceptScore W1994605163C11066294 @default.
• W1994605163 hasConceptScore W1994605163C111498074 @default.
• W1994605163 hasConceptScore W1994605163C118615104 @default.
• W1994605163 hasConceptScore W1994605163C144133560 @default.
• W1994605163 hasConceptScore W1994605163C162853370 @default.
• W1994605163 hasConceptScore W1994605163C174998907 @default.
• W1994605163 hasConceptScore W1994605163C179299601 @default.
• W1994605163 hasConceptScore W1994605163C199360897 @default.
• W1994605163 hasConceptScore W1994605163C207505557 @default.
• W1994605163 hasConceptScore W1994605163C2780069185 @default.
• W1994605163 hasConceptScore W1994605163C33923547 @default.
• W1994605163 hasConceptScore W1994605163C41008148 @default.
• W1994605163 hasConceptScore W1994605163C55439883 @default.
• W1994605163 hasConceptScore W1994605163C75606506 @default.
• W1994605163 hasConceptScore W1994605163C80309976 @default.
• W1994605163 hasConceptScore W1994605163C80444323 @default.
• W1994605163 hasConceptScore W1994605163C85345410 @default.
• W1994605163 hasConceptScore W1994605163C96654402 @default.
• W1994605163 hasLocation W19946051631 @default.
• W1994605163 hasOpenAccess W1994605163 @default.
• W1994605163 hasPrimaryLocation W19946051631 @default.
• W1994605163 hasRelatedWork W146385111 @default.
• W1994605163 hasRelatedWork W1537387651 @default.
• W1994605163 hasRelatedWork W158967112 @default.
• W1994605163 hasRelatedWork W167278060 @default.
• W1994605163 hasRelatedWork W1827990282 @default.
• W1994605163 hasRelatedWork W1998559974 @default.
• W1994605163 hasRelatedWork W2051659107 @default.

• next