Matches in SemOpenAlex for { <https://semopenalex.org/work/W2920507130> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W2920507130 endingPage "356" @default.
- W2920507130 startingPage "341" @default.
- W2920507130 abstract "The mathematical nature of Formal Methods make them more amenable for machine assisted analysis. However, the exhaustive model-checking and theorem-proving of the complete specification remains an elusive target due to the state-explosion problem. Simulation or execution of formally specified requirements provides us a less expensive alternate to understand, analyze and validate requirements early in the development phase. In this paper, we present SimTree simulator that carries out requirements analysis. SimTree code is generated from automatically transforming Behavior Trees (BT)—a graphical formal notation—using ATLAS Transformation Language (ATL). During the step-by-step execution of BT, Datalog code is also generated. The Datalog queries are used to further analyze the stored state-space of the executed requirements. These features of the simulator are illustrated using a published case study. The simulator was useful for identifying and rectifying logical defects in the specification." @default.
- W2920507130 created "2019-03-11" @default.
- W2920507130 creator A5009703398 @default.
- W2920507130 creator A5026395202 @default.
- W2920507130 creator A5054832972 @default.
- W2920507130 creator A5086588369 @default.
- W2920507130 date "2019-02-02" @default.
- W2920507130 modified "2023-10-14" @default.
- W2920507130 title "SimTee: An Automated Environment for Simulation and Analysis of Requirements" @default.
- W2920507130 cites W1495470589 @default.
- W2920507130 cites W1562572612 @default.
- W2920507130 cites W1915711346 @default.
- W2920507130 cites W1972301728 @default.
- W2920507130 cites W1998043846 @default.
- W2920507130 cites W2003582341 @default.
- W2920507130 cites W2013567723 @default.
- W2920507130 cites W2026586559 @default.
- W2920507130 cites W2026928447 @default.
- W2920507130 cites W2058949335 @default.
- W2920507130 cites W2130560480 @default.
- W2920507130 cites W2131653381 @default.
- W2920507130 cites W2132257796 @default.
- W2920507130 cites W2142340571 @default.
- W2920507130 cites W2165600364 @default.
- W2920507130 cites W2487507234 @default.
- W2920507130 cites W4252178843 @default.
- W2920507130 cites W49656508 @default.
- W2920507130 doi "https://doi.org/10.1007/978-3-030-12385-7_27" @default.
- W2920507130 hasPublicationYear "2019" @default.
- W2920507130 type Work @default.
- W2920507130 sameAs 2920507130 @default.
- W2920507130 citedByCount "1" @default.
- W2920507130 countsByYear W29205071302020 @default.
- W2920507130 crossrefType "book-chapter" @default.
- W2920507130 hasAuthorship W2920507130A5009703398 @default.
- W2920507130 hasAuthorship W2920507130A5026395202 @default.
- W2920507130 hasAuthorship W2920507130A5054832972 @default.
- W2920507130 hasAuthorship W2920507130A5086588369 @default.
- W2920507130 hasConcept C41008148 @default.
- W2920507130 hasConceptScore W2920507130C41008148 @default.
- W2920507130 hasLocation W29205071301 @default.
- W2920507130 hasOpenAccess W2920507130 @default.
- W2920507130 hasPrimaryLocation W29205071301 @default.
- W2920507130 hasRelatedWork W1596801655 @default.
- W2920507130 hasRelatedWork W2049775471 @default.
- W2920507130 hasRelatedWork W2350741829 @default.
- W2920507130 hasRelatedWork W2358668433 @default.
- W2920507130 hasRelatedWork W2376932109 @default.
- W2920507130 hasRelatedWork W2382290278 @default.
- W2920507130 hasRelatedWork W2390279801 @default.
- W2920507130 hasRelatedWork W2748952813 @default.
- W2920507130 hasRelatedWork W2899084033 @default.
- W2920507130 hasRelatedWork W2530322880 @default.
- W2920507130 isParatext "false" @default.
- W2920507130 isRetracted "false" @default.
- W2920507130 magId "2920507130" @default.
- W2920507130 workType "book-chapter" @default.