A Supporting Toolfor Syntactic Analysis ofSOFL
نویسنده
چکیده
SOFL formal specifications have been proved to be useful and expressive enough in describing functional requirements for software development. Based on SOFL formal specifications, many techniques have been proposed to provide us with effective solutions for software verification and validation. To support these techniques, a tool support for analysis of specifications is necessary. However, such a tool is still not available. In this paper, we present our work on a supporting tool. The tool supplies two fundamental functions: syntactic analysis of SOFL formal specifications and automatic generation of functional scenarios. By syntactic analysis, we can get syntactic information of SOFL specifications. The tool can create an xml file for storing and reusing the syntax information. Functional scenarios are well-structured predicate expressions, which could be derived from formal specifications. Many formal specificationbased techniques require the generation of functional scenarios. Our tool also supports automatic generation of functional scenarios on the basis of the syntactic information. Keywords—SOFL, Formal specifications. Syntactic Analysis, Functional scenarios.
منابع مشابه
Mosel: a Sound and Eecient Toolfor M2l(str)
Mosel [6] is a new system for the analysis and veri cation in Monadic SecondOrder Logic (M2L) based on model construction. The aim is to o er a systemlevel environment supporting several theories of the logic. Mosel is a toolset, which, in its complete realization, will include a exible set of decision procedures for several theories of the logic (e.g., nite and in nite strings, and trees) comp...
متن کاملA syntactic-semantic analysis of \"منصوب به نزع خافض\"based on the Holy Quran
One of important issues in the field of implication and aggression is "منصوب به نزع خافض". It is an idiom related to مفعول به "”. By referring to its definition, a syntactic-semantic analysis will be done in this paper. It tries to indicate what is the relationship between word and meaning and to what extent Arabic syntax focu...
متن کاملVerbs in Applied Linguistics Research Article Introductions: Semantic and syntactic analysis
This study aims to investigate the semantic and syntactic features of verbs used in the introduction section of Applied Linguistics research articles published in Iranian and international journals. A corpus of 20 research article introductions (10 from each journal) was used. The corpus was analysed for the syntactic features (tense, aspect and voice) and semantic meaning of verbs. The finding...
متن کاملVerbs in Applied Linguistics Research Article Introductions: Semantic and syntactic analysis
This study aims to investigate the semantic and syntactic features of verbs used in the introduction section of Applied Linguistics research articles published in Iranian and international journals. A corpus of 20 research article introductions (10 from each journal) was used. The corpus was analysed for the syntactic features (tense, aspect and voice) and semantic meaning of verbs. The finding...
متن کامل