Springer.Abstract.state.machines.A.method.for.high.level.system.design.and.analysis.(Springer.2003)

《Springer.Abstract.state.machines.A.method.for.high.level.system.design.and.analysis.(Springer.2003)》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、EgonB¨orgerandRobertSt¨arkAbstractStateMachinesAMethodforHigh-LevelSystemDesignandAnalysisMarch11,2003Springer-VerlagBerlinHeidelbergNewYorkLondonParisTokyoHongKongBarcelonaBudapestPrefaceQuelliches’innamorandipraticasenzascienziasonocome’lnocchierich’entrainnaviliosanzatimoneobussola,c

2、hemaihacertezzadovesivada.1—LeonardodaVinciIchhabeoftbemerkt,dasswirunsdurchallzuvielesSymbolisierendieSprachefur¨dieWirklichkeituntuchtig¨machen.2—ChristianMorgensternThisistheplacetoexpressourthanks.Firstofallwethankallthosewhoovertheyearshaveactivelycontributedtoshapingthenovelsoftwa

3、redesignandanalysismethodexplainedinthisbook.Theyaretoonumeroustobementionedhere.Theyallappearinsomewayortheotheronthefollowingpages,inparticularinthebibliographicalandhistoricalChap.9whichcanbereadindependentlyofthebook.Wethenthankthosewhohavehelpedwithdetailedcriticalcommentsonthedraf

4、tchapterstoshapethewayourargumentsarepresentedinthisbook:M.B¨orger(DironMunster),¨I.Craggs(IBMHursley),G.DelCastillo(SiemensMunc¨hen),U.Gl¨asser(SimonFraserUniversity,Vancouver,Canada),J.Huggins(KetteringUniversity,Michigan,USA),B.Koblinger(IBMHeidelberg),P.P¨appinghaus(SiemensMunc¨hen)

5、,A.Preller(Universit´edeMontpellier,France),M.-L.Potet(INPdeGrenoble,France),W.Reisig(Humboldt-Universit¨atzuBerlin,Germany),H.Rust(Universit¨atCottbus,Germany),G.Schellhorn(Universit¨atAugsburg,Germany),B.Thalheim(Universit¨atCottbus,Germany)andadozenstudentgenerationsatUniversit`adiPi

6、sa.WethankM.Barmet(ETHZuric¨h)forhersolutionsoftheexercisesinChap.8.WealsothankL.Logrippo(UniversityofOttawa,Canada)andD.Beecher(CarletonUniversity,Canada)fortheirhelpwithtranslatingtheaboveobservationbyLeonardo,andF.CapocciandI.MulvanyfromSpringer-Verlagfortheircarefulcopyeditingofthet

7、ypo-script.EgonB¨orger,RobertSt¨arkPisaandZuric¨h,Christmas20021Thosewhofallinlovewithpracticewithoutscientificknowledgeormethodarelikethehelmsmanwhoentersashipwithoutrudderorcompass,whoisnevercertainwhichwayitmightgo.2Ihaveoftenobservedthatbyover-symbolizingwemakethelanguageine