Premium
RESEARCH‐IN‐PROGRESS REPORT:
Author(s) -
Benjamin Finkel
Publication year - 1996
Publication title -
international journal of selection and assessment
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.812
H-Index - 61
eISSN - 1468-2389
pISSN - 0965-075X
DOI - 10.1111/j.1468-2389.1996.tb00065.x
Subject(s) - citation , psychology , library science , unit (ring theory) , work (physics) , industrial and organizational psychology , selection (genetic algorithm) , organizational behavior , sociology , management , social psychology , computer science , artificial intelligence , engineering , mathematics education , mechanical engineering , economics
My PhD research centres on formal refinement notions of CSP-CASL and formal testing based on the specification language CSP-CASL. CSP-CASL [6] is a specification language that combines process algebra (CSP) to describe reactive aspects of a system with an algebraic specification language (CASL) which covers functional requirements. My intention is to explore in depth the field of algebraic specification and process algebra, especially the different notions of refinement in algebraic specification. This study will give me a sound background in order to develop new notions of refinement for CSP-CASL. A first refinement notion for CSP-CASL based on model class inclusion has been defined in [6]; however there is a need to define and investigate formal refinement notions that are capable of describing informal refinement relations as are present in industrial applications. Along with the first topic of my research, I will investigate and develop a formal testing framework from CSP-CASL. The latter topic deals with the question of how to relate formal specification in CSP-CASL with real-world systems. In particular I am interested in relating refinement notions of CSP-CASL, which I am going to define, with formal testing.