Matches in SemOpenAlex for { <https://semopenalex.org/work/W2908286636> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2908286636 abstract "Nowadays, the usefulness of the formal verification and validation of system specifications is well established, at least for critical systems. However, one of the main obstacles to their adoption lies in obtaining the formal specification of the system, and, in the case of refinement-based formal methods such as B System or Event-B, in obtaining the most abstract specification that heads the development of the system. The SysML/KAOS requirements engineering method is proposed to overcome this difficulty. It includes a goal modeling language to model requirements from stakeholders needs. Translation rules from a goal model to a B System specification have already been defined. They allow to obtain a skeleton of the system specification. To complete it, a language has been defined to express the domain model associated to the goal model. Its translation gives the structural part of the B System specification. However, it very often appears that new elements must be added in the B System specification obtained from SysML/KAOS models, discovered for instance when specifying the body of events and/or by using formal validation and/or verification tools. We have therefore defined a set of rules allowing the back propagation, within domain models, of every newly added element. This paper describes these rules and how they are specified in Event-B. Their consistency is proved using the Rodin tool. We show that they are structure preserving: two related elements within the B System specification remain related within the domain model. This is done by proving various isomorphisms between the B System specification and the domain models." @default.
- W2908286636 created "2019-01-11" @default.
- W2908286636 creator A5006698987 @default.
- W2908286636 creator A5007443078 @default.
- W2908286636 creator A5020424258 @default.
- W2908286636 creator A5075846670 @default.
- W2908286636 date "2018-12-01" @default.
- W2908286636 modified "2023-10-13" @default.
- W2908286636 title "Back Propagating B System Updates on SysML/KAOS Domain Models" @default.
- W2908286636 cites W1556900989 @default.
- W2908286636 cites W1559870885 @default.
- W2908286636 cites W156844249 @default.
- W2908286636 cites W1985804037 @default.
- W2908286636 cites W2043752124 @default.
- W2908286636 cites W2082434633 @default.
- W2908286636 cites W2082578089 @default.
- W2908286636 cites W2091443634 @default.
- W2908286636 cites W2121372686 @default.
- W2908286636 cites W2129289644 @default.
- W2908286636 cites W2155919438 @default.
- W2908286636 cites W2169223127 @default.
- W2908286636 cites W233262022 @default.
- W2908286636 cites W2528410472 @default.
- W2908286636 cites W2757310634 @default.
- W2908286636 cites W2759347564 @default.
- W2908286636 cites W2761187327 @default.
- W2908286636 cites W2768897767 @default.
- W2908286636 cites W2802031355 @default.
- W2908286636 cites W2802395783 @default.
- W2908286636 cites W2809915440 @default.
- W2908286636 cites W2886614420 @default.
- W2908286636 doi "https://doi.org/10.1109/iceccs2018.2018.00025" @default.
- W2908286636 hasPublicationYear "2018" @default.
- W2908286636 type Work @default.
- W2908286636 sameAs 2908286636 @default.
- W2908286636 citedByCount "0" @default.
- W2908286636 crossrefType "proceedings-article" @default.
- W2908286636 hasAuthorship W2908286636A5006698987 @default.
- W2908286636 hasAuthorship W2908286636A5007443078 @default.
- W2908286636 hasAuthorship W2908286636A5020424258 @default.
- W2908286636 hasAuthorship W2908286636A5075846670 @default.
- W2908286636 hasConcept C115903868 @default.
- W2908286636 hasConcept C134306372 @default.
- W2908286636 hasConcept C145644426 @default.
- W2908286636 hasConcept C199360897 @default.
- W2908286636 hasConcept C207685749 @default.
- W2908286636 hasConcept C21285288 @default.
- W2908286636 hasConcept C2777904410 @default.
- W2908286636 hasConcept C33923547 @default.
- W2908286636 hasConcept C36503486 @default.
- W2908286636 hasConcept C41008148 @default.
- W2908286636 hasConcept C92548554 @default.
- W2908286636 hasConceptScore W2908286636C115903868 @default.
- W2908286636 hasConceptScore W2908286636C134306372 @default.
- W2908286636 hasConceptScore W2908286636C145644426 @default.
- W2908286636 hasConceptScore W2908286636C199360897 @default.
- W2908286636 hasConceptScore W2908286636C207685749 @default.
- W2908286636 hasConceptScore W2908286636C21285288 @default.
- W2908286636 hasConceptScore W2908286636C2777904410 @default.
- W2908286636 hasConceptScore W2908286636C33923547 @default.
- W2908286636 hasConceptScore W2908286636C36503486 @default.
- W2908286636 hasConceptScore W2908286636C41008148 @default.
- W2908286636 hasConceptScore W2908286636C92548554 @default.
- W2908286636 hasLocation W29082866361 @default.
- W2908286636 hasLocation W29082866362 @default.
- W2908286636 hasLocation W29082866363 @default.
- W2908286636 hasOpenAccess W2908286636 @default.
- W2908286636 hasPrimaryLocation W29082866361 @default.
- W2908286636 hasRelatedWork W1984712372 @default.
- W2908286636 hasRelatedWork W2009258791 @default.
- W2908286636 hasRelatedWork W2062302515 @default.
- W2908286636 hasRelatedWork W2135253840 @default.
- W2908286636 hasRelatedWork W2139959881 @default.
- W2908286636 hasRelatedWork W2141291477 @default.
- W2908286636 hasRelatedWork W2170113317 @default.
- W2908286636 hasRelatedWork W2170871060 @default.
- W2908286636 hasRelatedWork W3149751866 @default.
- W2908286636 hasRelatedWork W4244804067 @default.
- W2908286636 isParatext "false" @default.
- W2908286636 isRetracted "false" @default.
- W2908286636 magId "2908286636" @default.
- W2908286636 workType "article" @default.