Abstract | ||
---|---|---|
Scenario-based specifications are a popular means for describing intended system behaviour. We aim to facilitate early analysis of system behaviour and the development of behaviour models in conjunction with scenarios. In this paper we define a novel scenario-based specification language with an existential semantics and that supports conditional specification of behaviour in the form of prechart and main chart. The language semantics is consistent with existing informal scenario-based and use-case based approaches to requirements engineering. The language provides a good fit with universal live sequence charts as standard existential live sequence charts do not adequately support conditional scenarios. In addition, we define a novel synthesis algorithm that, rather than building arbitrarily one of the many behaviour models that satisfy a scenario, constructs a Modal Transition System (MTS) which characterizes all behaviour models that conform to the scenario. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1145/1368088.1368095 | ICSE |
Keywords | Field | DocType |
existential semantics,system behaviour,novel synthesis algorithm,conditional specification,specification language,standard existential live sequence,behaviour model,scenario-based specification,language semantics,conditional scenario,behaviour,animation,requirement engineering,mts,merging,use case,satisfiability,probability density function,algorithm design and analysis,formal specification,software engineering,requirements engineering,data mining,asynchronous transfer mode | Specification language,Permission,Programming language,Algorithm design,Computer science,Requirements engineering,Formal specification,Theoretical computer science,Animation,Chart,Semantics | Conference |
Citations | PageRank | References |
30 | 1.26 | 13 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
German Sibay | 1 | 36 | 1.71 |
Sebastian Uchitel | 2 | 1662 | 103.25 |
V. Braberman | 3 | 347 | 15.31 |