FRINK Linked Data Fragments server

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

• W2111757195 endingPage "1073" @default.
• W2111757195 startingPage "1056" @default.
• W2111757195 abstract "Requirements-related scenarios capture typical examples of system behaviors through sequences of desired interactions between the software-to-be and its environment. Their concrete, narrative style of expression makes them very effective for eliciting software requirements and for validating behavior models. However, scenarios raise coverage problems as they only capture partial histories of interaction among-system component instances. Moreover, they often leave the actual requirements implicit. Numerous efforts have therefore been made recently to synthesize requirements or behavior models inductively from scenarios. Two problems arise from those efforts. On the one hand, the, scenarios must be complemented with additional input such as state assertions along episodes or flowcharts on such episodes. This makes such techniques difficult to use by the nonexpert end-users who provide the scenarios. On the other hand, the generated state machines may be hard to understand as their nodes generally convey no domain- specific properties. Their validation by analysts, complementary to model checking and animation by may therefore be quite difficult. This paper describes tool-supported techniques that overcome those two problems. Our tool generates a labeled transition system (LTS) for each system component from simple forms of message sequence charts (MSC) taken as examples or counterexamples of desired behavior. No additional input is required. A global LTS for the entire system is synthesized first. This LTS covers all scenario examples and excludes all counterexamples. It is inductively generated through an interactive procedure that extends known learning techniques for grammar induction. The procedure is incremental on training examples. It interactively produces additional scenarios that the end-user has to classify as examples or counterexamples of desired behavior. The LTS synthesis procedure may thus also be used independently for requirements elicitation through scenario questions generated by the tool. The synthesized system LTS is then projected on local LTS for each system component. For model validation by analysts, the tool generates state invariants that decorate the nodes of the local LTS." @default.
• W2111757195 created "2016-06-24" @default.
• W2111757195 creator A5030188873 @default.
• W2111757195 creator A5046441603 @default.
• W2111757195 creator A5057695594 @default.
• W2111757195 creator A5059010672 @default.
• W2111757195 date "2005-12-01" @default.
• W2111757195 modified "2023-09-25" @default.
• W2111757195 title "Generating annotated behavior models from end-user scenarios" @default.
• W2111757195 cites W140384553 @default.
• W2111757195 cites W1559171143 @default.
• W2111757195 cites W1574587683 @default.
• W2111757195 cites W1592055490 @default.
• W2111757195 cites W1828299600 @default.
• W2111757195 cites W1969005071 @default.
• W2111757195 cites W1984666354 @default.
• W2111757195 cites W2005001435 @default.
• W2111757195 cites W2017603160 @default.
• W2111757195 cites W2102071894 @default.
• W2111757195 cites W2114575161 @default.
• W2111757195 cites W2121764468 @default.
• W2111757195 cites W2121889562 @default.
• W2111757195 cites W2151451947 @default.
• W2111757195 cites W2162157640 @default.
• W2111757195 cites W2164440547 @default.
• W2111757195 cites W3004362336 @default.
• W2111757195 cites W4232678125 @default.
• W2111757195 cites W4241424999 @default.
• W2111757195 cites W4245777436 @default.
• W2111757195 cites W4248946557 @default.
• W2111757195 doi "https://doi.org/10.1109/tse.2005.138" @default.
• W2111757195 hasPublicationYear "2005" @default.
• W2111757195 type Work @default.
• W2111757195 sameAs 2111757195 @default.
• W2111757195 citedByCount "109" @default.
• W2111757195 countsByYear W21117571952012 @default.
• W2111757195 countsByYear W21117571952013 @default.
• W2111757195 countsByYear W21117571952014 @default.
• W2111757195 countsByYear W21117571952015 @default.
• W2111757195 countsByYear W21117571952016 @default.
• W2111757195 countsByYear W21117571952018 @default.
• W2111757195 countsByYear W21117571952019 @default.
• W2111757195 countsByYear W21117571952020 @default.
• W2111757195 countsByYear W21117571952021 @default.
• W2111757195 countsByYear W21117571952022 @default.
• W2111757195 crossrefType "journal-article" @default.
• W2111757195 hasAuthorship W2111757195A5030188873 @default.
• W2111757195 hasAuthorship W2111757195A5046441603 @default.
• W2111757195 hasAuthorship W2111757195A5057695594 @default.
• W2111757195 hasAuthorship W2111757195A5059010672 @default.
• W2111757195 hasConcept C107457646 @default.
• W2111757195 hasConcept C115903868 @default.
• W2111757195 hasConcept C121332964 @default.
• W2111757195 hasConcept C124101348 @default.
• W2111757195 hasConcept C134306372 @default.
• W2111757195 hasConcept C145644426 @default.
• W2111757195 hasConcept C153185123 @default.
• W2111757195 hasConcept C168167062 @default.
• W2111757195 hasConcept C177212765 @default.
• W2111757195 hasConcept C199360897 @default.
• W2111757195 hasConcept C2777904410 @default.
• W2111757195 hasConcept C33923547 @default.
• W2111757195 hasConcept C36503486 @default.
• W2111757195 hasConcept C41008148 @default.
• W2111757195 hasConcept C77088390 @default.
• W2111757195 hasConcept C97355855 @default.
• W2111757195 hasConceptScore W2111757195C107457646 @default.
• W2111757195 hasConceptScore W2111757195C115903868 @default.
• W2111757195 hasConceptScore W2111757195C121332964 @default.
• W2111757195 hasConceptScore W2111757195C124101348 @default.
• W2111757195 hasConceptScore W2111757195C134306372 @default.
• W2111757195 hasConceptScore W2111757195C145644426 @default.
• W2111757195 hasConceptScore W2111757195C153185123 @default.
• W2111757195 hasConceptScore W2111757195C168167062 @default.
• W2111757195 hasConceptScore W2111757195C177212765 @default.
• W2111757195 hasConceptScore W2111757195C199360897 @default.
• W2111757195 hasConceptScore W2111757195C2777904410 @default.
• W2111757195 hasConceptScore W2111757195C33923547 @default.
• W2111757195 hasConceptScore W2111757195C36503486 @default.
• W2111757195 hasConceptScore W2111757195C41008148 @default.
• W2111757195 hasConceptScore W2111757195C77088390 @default.
• W2111757195 hasConceptScore W2111757195C97355855 @default.
• W2111757195 hasIssue "12" @default.
• W2111757195 hasLocation W21117571951 @default.
• W2111757195 hasOpenAccess W2111757195 @default.
• W2111757195 hasPrimaryLocation W21117571951 @default.
• W2111757195 hasRelatedWork W2081035100 @default.
• W2111757195 hasRelatedWork W2112962394 @default.
• W2111757195 hasRelatedWork W2118300983 @default.
• W2111757195 hasRelatedWork W2166247150 @default.
• W2111757195 hasRelatedWork W2372799935 @default.
• W2111757195 hasRelatedWork W2379533788 @default.
• W2111757195 hasRelatedWork W324311937 @default.
• W2111757195 hasRelatedWork W4226151304 @default.
• W2111757195 hasRelatedWork W4243252198 @default.
• W2111757195 hasRelatedWork W4221142711 @default.
• W2111757195 hasVolume "31" @default.
• W2111757195 isParatext "false" @default.

• next