Towards a Formal Foundation of the Specification and Description Language SDL

《Towards a Formal Foundation of the Specification and Description Language SDL》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、TowardsaFormalFoundationoftheSpecificationandDescriptionLanguageSDLManfredBroyInstitutfürInformatikTechnischeUniversitätMünchenPostfach202420,8München2AbstractFortheCCITTspecificationanddescriptionlanguageSDLwhichprovidesagraphicalconceptforrepresentingdesignsofsystemsinteractingbysignalsafor

2、malmodelisdescribed.Itisbasedonfunctionaldescriptionsofinteractivesystemsbytheconceptofstreamsandstreamprocessingfunctions.Thefoundationsforthisfunctionalmodellingofinteractivesystemsareintroduced.ThegraphicalconstructsofSDLarerelatedtothismodel.InparticularitisshownhowthemeaningofSDLgraphica

3、lformscanberepresentedbyspecificationsintheformofconditionalequationsorbyfunctionalprograms.BasedonthefunctionalformalmodeltheapplicationofspecificationandverificationmethodsforSDLisdemonstrated.Smallexamplesaretreated.Anumberoftoolsarediscussedthatcanbebasedonthatmodel.Note:Thisstudydoesnotd

4、efineasemanticmodelforthespecificationanddesignlanguageSDL,butitgives-anintroductiontothefunctionalmodellingofdistributedsystems,-anexplanationhowtotranslateSDLdesignsintofunctionaldescriptions,-anextendedexampleforthetranslationofanSDLdesign,-exploresthepossibilitiesofsupportingSDLdesignsbys

5、uchasemanticfoundation.ThisstudywascarriedoutincooperationwithSiemensAGZFEF2SOF1.1.IntroductionAfterseveraldecadesofextensiveresearchforsequentialsystemsageneralframeworkfortheirdesignisavailable.Thedesignofsequentialsystemsfollowsclassicalpatternsstartingfromaninformalproblemdescriptiongoing

6、toarequirementanalysisleadingtoarequirementspecification.Afterwardsadesignspecificationisderivedandfromthisdesignspecificationbyanumberofimplementationdecisionsimplementationsforthespecifiedsystemarederived.Inprincipleallthestepsinvolvedcanbedoneinapurelyfunctionalframeworkwithinaformalcalcul

7、usoratleastcanbeformallyverified.Inthedesignofdistributedprogramsquestionsofrequirements,design,correctnessandofbehaviourareevenmoreimportantthanforsequentialprograms.Thereasonisquiteobvious.Communicatingprogramsandsystemsthereofexhibittwopro