Matches in SemOpenAlex for { <https://semopenalex.org/work/W2752867223> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2752867223 abstract "Context-awareness is an important feature in system design. We argue that in proof systems and conceptual modelling this notion should be precisely highlighted. Since we focus on conceptual modelling, understandability and clarity are provided precedence for reasoning about proofs done. In this paper, we introduce a new definition for proof context in state-based formalisms with an application in the Event-B modelling language. Furthermore, we introduce a dependency relation between two Event-B models. The contextualization of Event-B models is based on knowledge provided from domains that we classified into constraints, hypotheses and dependencies, according to their truthfulness in proofs. The dependency mechanism between two models makes possible to structure the development of systems models, by organizing phases identified in the analyzed process. These ideas are inspired by works based on the modelling of situations in situation theory that emphasize capabilities of type theory with regard to situation modelling to represent knowledge. Our approach is illustrated on small case studies, and have been validated on a development of design patterns for voting protocols." @default.
- W2752867223 created "2017-09-15" @default.
- W2752867223 creator A5018322893 @default.
- W2752867223 creator A5076773814 @default.
- W2752867223 date "2017-01-01" @default.
- W2752867223 modified "2023-10-07" @default.
- W2752867223 title "Contextualization and Dependency in State-Based Modelling - Application to Event-B" @default.
- W2752867223 cites W1579989646 @default.
- W2752867223 cites W1838321713 @default.
- W2752867223 cites W1983275405 @default.
- W2752867223 cites W2040706639 @default.
- W2752867223 cites W2104817109 @default.
- W2752867223 cites W2140437372 @default.
- W2752867223 cites W2197845618 @default.
- W2752867223 cites W2211127184 @default.
- W2752867223 cites W2296193250 @default.
- W2752867223 cites W2618177199 @default.
- W2752867223 cites W2990316322 @default.
- W2752867223 cites W4244819751 @default.
- W2752867223 doi "https://doi.org/10.1007/978-3-319-66854-3_11" @default.
- W2752867223 hasPublicationYear "2017" @default.
- W2752867223 type Work @default.
- W2752867223 sameAs 2752867223 @default.
- W2752867223 citedByCount "1" @default.
- W2752867223 countsByYear W27528672232020 @default.
- W2752867223 crossrefType "book-chapter" @default.
- W2752867223 hasAuthorship W2752867223A5018322893 @default.
- W2752867223 hasAuthorship W2752867223A5076773814 @default.
- W2752867223 hasConcept C11413529 @default.
- W2752867223 hasConcept C121332964 @default.
- W2752867223 hasConcept C154945302 @default.
- W2752867223 hasConcept C19768560 @default.
- W2752867223 hasConcept C199360897 @default.
- W2752867223 hasConcept C2779662365 @default.
- W2752867223 hasConcept C2780712339 @default.
- W2752867223 hasConcept C41008148 @default.
- W2752867223 hasConcept C48103436 @default.
- W2752867223 hasConcept C527412718 @default.
- W2752867223 hasConcept C62520636 @default.
- W2752867223 hasConceptScore W2752867223C11413529 @default.
- W2752867223 hasConceptScore W2752867223C121332964 @default.
- W2752867223 hasConceptScore W2752867223C154945302 @default.
- W2752867223 hasConceptScore W2752867223C19768560 @default.
- W2752867223 hasConceptScore W2752867223C199360897 @default.
- W2752867223 hasConceptScore W2752867223C2779662365 @default.
- W2752867223 hasConceptScore W2752867223C2780712339 @default.
- W2752867223 hasConceptScore W2752867223C41008148 @default.
- W2752867223 hasConceptScore W2752867223C48103436 @default.
- W2752867223 hasConceptScore W2752867223C527412718 @default.
- W2752867223 hasConceptScore W2752867223C62520636 @default.
- W2752867223 hasLocation W27528672231 @default.
- W2752867223 hasLocation W27528672232 @default.
- W2752867223 hasOpenAccess W2752867223 @default.
- W2752867223 hasPrimaryLocation W27528672231 @default.
- W2752867223 hasRelatedWork W1164244638 @default.
- W2752867223 hasRelatedWork W1529400504 @default.
- W2752867223 hasRelatedWork W2351267244 @default.
- W2752867223 hasRelatedWork W2613109121 @default.
- W2752867223 hasRelatedWork W2888625260 @default.
- W2752867223 hasRelatedWork W2913766885 @default.
- W2752867223 hasRelatedWork W63071447 @default.
- W2752867223 hasRelatedWork W65617392 @default.
- W2752867223 hasRelatedWork W83176488 @default.
- W2752867223 hasRelatedWork W2169928498 @default.
- W2752867223 isParatext "false" @default.
- W2752867223 isRetracted "false" @default.
- W2752867223 magId "2752867223" @default.
- W2752867223 workType "book-chapter" @default.