资源描述：
《Language H Simple (R) An Action Language for Representing Concurrent Actions and Continuous》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、LanguageH(R):AnActionLanguageforRepresentingSimpleConcurrentActionsandContinuousChangesHisashiHayashiDepartmentofComputerScienceQueenMaryandWest eldCollegeMileEndRoad,LondonE14NS,U.K.email:hisashi@dcs.qmw.ac.ukAbstractcretetimeline(non-negativeintegers),triggeredevents,predicatessuchas`app
2、end',andsoon,itInthispaper,anewhigher-levelactioncannottreatcontinuouschangesusingacontin-languagecalledH(R)isintro-Simpleuoustimeline(non-negativerealnumber),re-duced.LanguageH(R)isbasedSimpleleased
uents,andnon-continuous
uents.Theon(locally)strati edlogicprogramaimofthispaperistoextendL
3、anguageHto[]Aptetal.,1988andcantreatconcur-includethesefeatures,therebytoconstructarentactionsandcontinuouschanges.newactionlanguagenamedH(R)andtoSimpleAlso,itcanhandleimplicationrulesshowthecorrespondinglogicprogramscanstill(rami cation)undertheimplicationbestrati ed.restriction.Thisworki
4、stheextensionToincludecontinuouschanges,continuousac-[]ofLanguageHHayashi,1996whichtionswhicharesimilartocontinuous
uentswillcanhandleonlyadiscretetimeline.beintroduced.Whiletheseactionsarehappen-Attheend,itisshownthatanyac-ing,theycana ect
uents.Forexample,whiletioncanbeexpressedasa
uentb
5、ytheaction llishappening,theheightofthewa-comparingtheminthelogicprogramterincreases(seeexample2.16).Thismethodlevel.willbeprovedlatertobethesameastheideaofatrajectorypredicateinthecontinuousversion1Introduction[]ofeventcalculusShanahan,1990.Alsothisap-[]EvansandSergotEvansandSergot,1995pr
6、e-[proachisdi erentfromthatofHerrmannandsentedageneralandratherabstractframe-]Thielscher,1996inwhichactionsareregardedworkfortreatingpersistenceintemporalrea-aspointsbetweentwoprocesses.soning.Forsimplicity,theyconcentratedonlyToincludereleased
uentsonone
uentortime-varyingproposition.Then
7、andnon-continuous
uents,thestrati edper-[]HayashiHayashi,1996extendedthestrati edsistencerulewillbeextendedslightly.Releasedpersistencerule,oneofthetwopersistencerules[
uentswillbeincludedusingtheideaofKarthaEvansandSergotpresented,includedtheidea]andLifschitz
