Abstract: Problem frames have been widely recognized and studied in the research domain requirements engineering.Although many research outcomes about problem frames have been obtained,how to transform requirements models (i.e.,problem diagrams) into software design artifacts and implementations smoothly is still a difficult problem to be solved.In this paper,we demonstrated how to transform problem diagrams into user scenarios,which are then used to assist behavior driven design and development of software,and we proposed a software development method which combines problem frames and behavior driven design (PFBDD).The method can help system analysts to move smoothly from requirements analysis to software design and testing,thus avoiding inconsistency problems in software development.In addition,a case study was presented to demonstrate how to apply our method into a queuing problem of a vehicle management system.The Gherkin language and Specflow tool were introduced and applied in the case study.This method plays an important role in driving problem frames into further practical applications.

Key words: Problem frames,Problem diagrams,Behavior driven development,Test driven development