Name
Abstract | ||
|---|---|---|
We propose complementing tabular notations used in requirements specifications, such as those used in the SCR method, with a formalism for describing specific, useful, subclasses of computations , i.e., particular combinations of the atomic transitions specified within tables. This provides the specifier with the ability of driving the execution of transitions specified by tables, without the onerous burden of having to introduce modifications into the tabular expressions; thus, it avoids the problem of modifying the object of analysis, which would make the analysis indirect and potentially confusing. This is useful for a number of activities, such as defining test harnesses for tables, and concentrating the analyses on particular, interesting, subsets of computations. Unlike previous approaches, ours allows for the description of a wider class of combinations of the transitions defined by tables, by means of a rich operational language. This language is an extension of the Alloy language, called DynAlloy, whose notation is inspired by that of dynamic logic. The use of DynAlloy enables us to provide an extra mechanism for the analysis of tabular specifications, based on SAT solving. We will illustrate this and the features of our approach via an example based on a known tabular specification of a simple autopilot system. |
Year | DOI | Venue |
|---|---|---|
2009 | 10.1007/978-3-642-00593-0_11 | FASE |
Keywords | Field | DocType |
particular combination,dynamic logic,rich operational language,alloy language,defining test harness,tabular expression,tabular notation,tabular specification,scr method,atomic transition,analyzing behaviours | Notation,Specifier,Programming language,Expression (mathematics),Computer science,Alloy Analyzer,Theoretical computer science,Autopilot,Dynamic logic (digital electronics),Formalism (philosophy),Computation | Conference |
Volume | ISSN | Citations |
5503 | 0302-9743 | 2 |
PageRank | References | Authors |
0.43 | 11 | 5 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Nazareno M. Aguirre | 1 | 119 | 12.03 |
| Marcelo F. Frias | 2 | 295 | 35.57 |
| Mariano M. Moscato | 3 | 20 | 5.04 |
| Thomas S. E. Maibaum | 4 | 39 | 5.58 |
| Alan Wassyng | 5 | 196 | 27.85 |