Matches in SemOpenAlex for { <https://semopenalex.org/work/W2614623706> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2614623706 abstract "The Event Refinement Structures (ERS) approach augments the Event-B formal method with hierarchical diagrams, providing explicit support for control fow and refinement relationships. ERS was originally designed to decompose the atomicity of the events in Event-B and later enriched with control flow combinators. Combining graphical workflow approaches with formal methods has been a subject of interest in both industry and academia, resulting in a diversity of approaches. In this thesis, we present an approach for workflow modelling that addresses both control flow and data handling. ERS is used for control flow, while Event-B mathematical notation supports the data handling. This separation simplifies the modelling by avoiding an extensive number of patterns, though separation does not mean the independence of control flow from data handling. The dependency is achieved by the ERS semantics, which are acquired by transforming the diagrams to Event-B. This combination not only benefits from the verification capabilities of Event-B and the graphical nature of ERS, but also supports incremental modelling through refinement and hierarchy. Our studies resulted in extending the ERS approach to support more flexible behaviour like unbounded replication and exception handling. Unbounded replication is needed when the number of instances of a flow to be executed is unknown and additional instances can be initiated during execution. We also enhance some of the existing ERS combinators such as the loop. We validate our approach and extensions by applying them to two complex work flows, the fire dispatch system and the travel agency booking system. Finally, we extend the ERS formal language with new translation rules to support our new ERS extensions. We formally define the new translation rules of ERS to Event-B, using the Augmented Backus-Naur Form (ABNF), to be easily integrated in the ERS plug-in. The ERS plug-in is a tool providing automatic generation of part of the Event-B model representing types and sequencing. We also evaluate the ERS combinators in control flow modelling against already published criteria." @default.
- W2614623706 created "2017-05-26" @default.
- W2614623706 creator A5063388858 @default.
- W2614623706 date "2017-04-01" @default.
- W2614623706 modified "2023-09-23" @default.
- W2614623706 title "Extending the ERS approach for workflow modelling in Event-B" @default.
- W2614623706 doi "https://doi.org/10.5258/soton/t0001" @default.
- W2614623706 hasPublicationYear "2017" @default.
- W2614623706 type Work @default.
- W2614623706 sameAs 2614623706 @default.
- W2614623706 citedByCount "0" @default.
- W2614623706 crossrefType "dissertation" @default.
- W2614623706 hasAuthorship W2614623706A5063388858 @default.
- W2614623706 hasConcept C120314980 @default.
- W2614623706 hasConcept C121332964 @default.
- W2614623706 hasConcept C160191386 @default.
- W2614623706 hasConcept C162324750 @default.
- W2614623706 hasConcept C177212765 @default.
- W2614623706 hasConcept C199360897 @default.
- W2614623706 hasConcept C2777904410 @default.
- W2614623706 hasConcept C2779662365 @default.
- W2614623706 hasConcept C31170391 @default.
- W2614623706 hasConcept C33923547 @default.
- W2614623706 hasConcept C34447519 @default.
- W2614623706 hasConcept C41008148 @default.
- W2614623706 hasConcept C45357846 @default.
- W2614623706 hasConcept C489000 @default.
- W2614623706 hasConcept C62520636 @default.
- W2614623706 hasConcept C76214141 @default.
- W2614623706 hasConcept C77088390 @default.
- W2614623706 hasConcept C80444323 @default.
- W2614623706 hasConcept C94375191 @default.
- W2614623706 hasConceptScore W2614623706C120314980 @default.
- W2614623706 hasConceptScore W2614623706C121332964 @default.
- W2614623706 hasConceptScore W2614623706C160191386 @default.
- W2614623706 hasConceptScore W2614623706C162324750 @default.
- W2614623706 hasConceptScore W2614623706C177212765 @default.
- W2614623706 hasConceptScore W2614623706C199360897 @default.
- W2614623706 hasConceptScore W2614623706C2777904410 @default.
- W2614623706 hasConceptScore W2614623706C2779662365 @default.
- W2614623706 hasConceptScore W2614623706C31170391 @default.
- W2614623706 hasConceptScore W2614623706C33923547 @default.
- W2614623706 hasConceptScore W2614623706C34447519 @default.
- W2614623706 hasConceptScore W2614623706C41008148 @default.
- W2614623706 hasConceptScore W2614623706C45357846 @default.
- W2614623706 hasConceptScore W2614623706C489000 @default.
- W2614623706 hasConceptScore W2614623706C62520636 @default.
- W2614623706 hasConceptScore W2614623706C76214141 @default.
- W2614623706 hasConceptScore W2614623706C77088390 @default.
- W2614623706 hasConceptScore W2614623706C80444323 @default.
- W2614623706 hasConceptScore W2614623706C94375191 @default.
- W2614623706 hasLocation W26146237061 @default.
- W2614623706 hasOpenAccess W2614623706 @default.
- W2614623706 hasPrimaryLocation W26146237061 @default.
- W2614623706 hasRelatedWork W155741815 @default.
- W2614623706 hasRelatedWork W1557453285 @default.
- W2614623706 hasRelatedWork W1575520076 @default.
- W2614623706 hasRelatedWork W1619063973 @default.
- W2614623706 hasRelatedWork W2059816930 @default.
- W2614623706 hasRelatedWork W2087211823 @default.
- W2614623706 hasRelatedWork W2095783673 @default.
- W2614623706 hasRelatedWork W2113015655 @default.
- W2614623706 hasRelatedWork W2259714137 @default.
- W2614623706 hasRelatedWork W2394934717 @default.
- W2614623706 hasRelatedWork W2396683229 @default.
- W2614623706 hasRelatedWork W2750638830 @default.
- W2614623706 hasRelatedWork W2773760202 @default.
- W2614623706 hasRelatedWork W2787824897 @default.
- W2614623706 hasRelatedWork W2895056220 @default.
- W2614623706 hasRelatedWork W2908140959 @default.
- W2614623706 hasRelatedWork W3136676281 @default.
- W2614623706 hasRelatedWork W648946821 @default.
- W2614623706 hasRelatedWork W72832420 @default.
- W2614623706 hasRelatedWork W947349040 @default.
- W2614623706 isParatext "false" @default.
- W2614623706 isRetracted "false" @default.
- W2614623706 magId "2614623706" @default.
- W2614623706 workType "dissertation" @default.