资源描述：
《Processing Natural Language Software Requirement Specifications》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、ProcessingNaturalLanguageSoftwareRequirementSpeci cationsyMilesOsborneandCKMacNishDepartmentofComputerScience,UniversityofYork,Heslington,YorkYO15DD,UKfmiles,craigg@minster.york.ac.ukAbstractHowever,SRSsexpressedintermsofformaltechniquessuchas nitestatemachines(forexample[
2、19]),pro-gramdescriptionlanguages([3]),orPAISLey([20])Ambiguityinrequirementspeci cationscausesnu-maybecleartothesystemdesigners,butwillbedi-merousproblems;forexampleinde ningcus-culttocomprehendbynon-computerspecialists.Onetomer/suppliercontracts,ensuringtheintegrityofway
3、tosolvethistrade-o betweentheneedforclaritysafety-criticalsystems,andanalysingtheimplicationsandtheneedforprecisionistouseaformalmethodofsystemchangerequests.Adirectappealtoformalforstructuring,andnaturallanguageaselaborationofspeci cationhasnotsolvedtheseproblems,partlybe-
4、thisstructuring.InthispaperweconcentrateuponcauseoftherestrictivenessandlackofhabitabilityofthenaturallanguageaspectsofaSRSandhavelittleformallanguages.Analternativeapproach,described1tosayaboutformalapproachestoSRSconstruction.inthispaper,istousenaturallanguageprocessingUn
5、fortunately,usingnaturallanguagetoconstruct(NLP)techniquestoaidthedevelopmentofformalSRSsisstillproblematic,evenwhencombinedwithdescriptionsfromrequirementsexpressedincontrolledformaltechniques.Perhapsthemainproblemisthatnaturallanguage.WhilemanyproblemsinNLPre-naturallangu
6、ageisambiguous,withmanypossiblein-mainunsolved,weshowthatsuitableextensionstoterpretations.AnambiguousSRSmayleadtoasys-existingtoolsprovideausefulplatformfordetectingtembeingbuiltthatdoesnotmeetthecustomer'sre-andresolvingambiguities.Oursystemisdemonstratedquirements.Anothe
7、rproblemisthataSRSexpressedthroughacase-studyonasimplerequirementsspeci c-innaturallanguagemaybevague.Byvagueness,weation.meanalackofclarity.Again,vaguenessmayleadtochangesinthedeliveredsystem.Bothoftheseprob-lemscanbedealtwithbyproof-readingthenatural1.Introductionlanguage
8、componentsoftheSRSand,whennecessary,augmentinginformallyexpressedrequirementswitha
