Syntaxdefintionen fuer die Dokumente der Anforderungsspezifikation 14.04.98 M. Kronenburg, C. Peper ----------------------------------------------------------------------------- # Requirement Specification Document (RS) Non-Terminals: ReqSpecDoc : Requirement specification document Header : Name and version of document OrgAspects : Organizational aspects Decls : Declaration part FormReqs : Formalized requirements NotFormReqs : Not formalizable requirements DocName : Document name Version : Document version number ProjectName : Name of current project Authors : Name of all involved persons Status : Organizational status Functions : Function declarations FDecl : Declaration of a single function Comment : Text Predicates : Prdicate declaration PDecl : Declaration of a single predicate Text ----------------------------------------------------------------------------- ReqSpecDoc : Header OrgAspects Decls FormReqs NotFormReqs ----------------- Header : "Requirements Specification" DocName Version ":" DocName : Identifier Version : ... ----------------- OrgAspects : "Organizational Aspects:" ProjectName Authors Status ProjectName : "ProjectName:" Identifier Authors : "Authors:" ,-List of Names Status : "Status:" List of StatusAttr StatusAttr : StatusAttrName ":" Value StatusAttrName : Value : ----------------- Decls : "Declarations:" Functions Predicates Functions : "Functions:" ;-List of Function Function : Identifier FDecl Comment FDecl : x-list of Identifier "->" Identifier Comment : Text Predicates : "Predicates:" ;-List of Predicate Predicate: : Identifier PDecl Comment PDecl : x-list of Identifier Comment : Text # includes the predicate definition ----------------- FormReqs : "Formalized Requirements:" ;-list of FormReq FormReq : ReqId ":" FormExpr NatLangExpr Ref Comment InstRef ReqId : Identifier FormExpr : "Formal" ":" LogicalExpr NatLangExpr : "NL" ":" Text Ref : "References" ":" InstRef : "PatternInst" ":" ,-List of (PatternId ParamList) LogicalExpr : ... # Ops: \always \eventually \waitsfor \until \delImpl \and \or \impl \equiv \not \delEquiv \accInv \< \> \[ \] Time Indices: _{TimeExpr} ----------------- NotFormReqs : "Not Formalized Requirements:" ; List of NotFormReq NotFormReq : ReqId Text Ref Comment ----------------------------------------------------------------------------- PatternPoolDoc : Header OrgAspects PatternDefs Header : "Pattern Pool" DocName Version ":" OrgAspects : "OrganizationalAspects:" ProjectName Authors Status ----------------- PatternDefs : "Pattern Definitions:" List of PatternDef PatternDef : "Pattern" Identifier ( ,-list of Identifier ) PatternDefBody PatternDefBody : Intention Example Def Properties Comment Intention : "Intention:" Text Example : "Example:" LogicalExpr NatLangExpr Def : "Definition:" LogicalExpr List of NatLangExpr Properties : "Properties:" List of Property Property : LogicalExpr Comment