A Constructive Approach to Problem Frame Semantics
نویسندگان
چکیده
The Problem Frame approach (PF) is an effective requirements engineering tool for analysing and structuring software development problems. PF has a graphical notation that is easy to use and understand. PF imposes only loose constraints on the features of the language used to describe its components and, with only slight restrictions, Hoare’s CSP can be used. Although not generally applicable, in this paper we show that CSP can provide a constructive way to arrive at a solution to a PF expressed problem. The work is situated in the Problem Frame Semantics for Software Development of Hall, Rapanotti and Jackson.
منابع مشابه
Application of Frame Semantics to Teaching Seeing and Hearing Vocabulary to Iranian EFL Learners
A term in one language rarely has an absolute synonymous meaning in the same language; besides, it rarely has an equivalent meaning in an L2. English synonyms of seeing and hearing are particularly grammatically and semantically different. Frame semantics is a good tool for discovering differences between synonymous words in L2 and differences between supposed L1 and L2 equivalents. Vocabulary ...
متن کاملA general approach to linguistic approximation and its application in frame of fuzzy logic deduction
This paper deals with one problem that needs to be addressed in the emerging field known under the name computing with perceptions. It is the problem of describing, approximately, a given fuzzy set in natural language. This problem has lately been referred to as the problem of retranslation. An approaches to dealing with the retranslation problem is discussed in the paper, that ...
متن کاملOCL and Graph-Transformations - A Symbiotic Alliance to Alleviate the Frame Problem
Many popular methodologies are influenced by Design by Contract. They recommend to specify the intended behavior of operations in an early phase of the software development life cycle. Formal contract specification languages, however, are still rarely used because their semantics often mismatch the needs of software developers. Restrictive specification languages usually suffer from the ”frame ...
متن کاملRules as Actions: A Situation Calculus Semantics for Logic Programs
We propose a novel semantics for logic programs with negation by viewing the application of a clause in a derivation as an action in the situation calculus. Program clauses are then identiied with situation calculus effect axioms as they are understood in axiomatic theories of actions. We then solve the frame problem for these eeect axioms using a recent approach of Reiter 21], and identify the...
متن کاملTranslation and Hybridity in Scenes and Frames Semantics
The present study is a theoretical attempt to illustrate how Fillmore's Scenes and Frames Semantics (SFS) could be employed as a framework to portray the process of understanding and translating hybrid texts. It first reviews the origin of SFS; then it maps SFS onto Nida’s linguistic model of translation process and the Interpretive Theory of Translation; it examines in the next section, withi...
متن کامل